body { background-color: white;
      color: black;
      font-size: 12pt;
      margin: 6px 2px}

p { line-height:150%;
    margin: 6px 8px;
    padding: 3px;
    font-size: 100%}

pre { background-color: #ccffff;
      padding: 4px ;
      margin: 4px 2px;
      border: dashed;
      border-color: #9999ff;
      border-width: 3px}

B { letter-spacing: 4px}

Table{ empty-cells: show;
       margin: 12px}

caption {text-align:left}

h1 {text-align: center;
    font-weight: bold;
    font-size: 160%;
    letter-spacing: 3px;
    margin: 3px}
    
h2 {font-weight: bold;
    font-size: 120%;
    border: solid;
    border-color: #333333;
    border-width: 2px;
    padding: 3px 7px;
    letter-spacing: 4px;
    background-color: #ccffcc;
    color: black;
    margin : 12px 0px}

h3 {font-weight: bold;
    font-size: 105%;
    letter-spacing: 6px;
    border-style: none none double none;
    border-color: #333333;
    border-width: 3px;
    margin : 10px 0px;
    padding: 0px 5px}

h4 { font-weight: bold;
     font-size: 105%;
     margin: 0px;
     padding: 2px}
    
img { margin: 6px 2px }

ol {
 line-height:130%;
letter-spacing 2px;
}
 
ol.roma {list-style-type: upper-roman}

ol.alpha {list-style-type: upper-alpha}

ol.malpha {list-style-type: lower-alpha}

li {margin: 1px}

ul{list-style-type: square}

p.at {border: double;
      padding: 3px}

hr {width: 20%}