body   { background-color : rgb(244,244,255);
         color : black;
         font-family : Verdana, Arial, sans-serif; }

h1     { color : rgb(0,0,144);
         font-size : 170%; }

h2     { color : rgb(0,0,144);
         font-size : 150%; }

h3     { color : rgb(0,0,144);
         font-size : 115%; }

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

.blue  { color : rgb(0,0,128);
         font-weight : bold; }