body, td   { background-color : #F4F4FF;
             color : black;
             font-family : Verdana, Arial, sans-serif;
           }

td, th { padding: 0.075in; text-align: left; }

td     { vertical-align: top; }

th     { vertical-align: bottom; }

td     { border-style: solid;
         border-width: 0.02in;
         border-color: silver;
         border-collapse: collapse; }

table  { border-color: gray;
         border-collapse: collapse;
       }

h1     { color : #000090;
         font-size : 150%;
       }

h2     { color : #000090;
         font-size : 150%;
       }

h3     { color : #000090;
         font-size : 125%;
       }

pre    {
         font-size : 110%;
         font-weight : bold; 
       }

.tt    { font-family : Lucida Console;
         font-weight : bold;
       }

.blue  { color :#000080;
         font-weight : bold;
       }

.ov    { text-decoration : overline; }