body { font-family: Arial,sans-serif; 
       color: black; 
       font-size: 100%;
       margin-top: 25pt; margin-bottom: 25pt; 
       margin-left: 50pt; margin-right: 50pt;
     }
code { font-family: Courier New, Courier; }
pre  { font-family: Courier New, Courier; }
td   { font-family: Arial,sans-serif; 
       color: black; 
       font-size: 100%;
     }
h1 { 
     font-size: 200%;
     font-weight: bold; 
   }
h2 { 
     font-size: 125%;
     font-weight: bold; 
   }
h3 { 
     font-size: 100%;
     font-weight: bold; 
   }
em { font-weight: bold;
     font-style: normal;
     color: red;
   }
.small { font-size: 80%; }
.smalllatin { font-family: Georgia, Verdana;
         font-size: 80%; }
.tinylatin { font-family: Georgia, Verdana;
             font-size: 70%; }
.anchorcell { background-color: #ffb004; font-weight: bold; }