body  {
       background: #ffffff;
       color: #004400;
       /*color: #412700;*/


       font-size: 14pt;
       font-family: "times";
 /*  for background see Castro 182-183 */
}


dl{color: #004400;
   padding-left: 8px;}

dt{color: #800000;
   //font-weight:bold;      
   //padding-top: 30px;}

dd{color: #004400;
   padding:4px;}

pre{margin-left: 15px;
    margin-top:  5px;
    margin-bottom: 15px;
     color: #004400;            /* purple   */
}
h2{text-align: center}
h3{text-align: left}

ol li{margin-bottom: 10px;}
ol ol li{margin-bottom: 3px;
        list-style-type:lower-alpha;}
ul ul li{margin-bottom: 0px;}


.yellow{
   font-weight:bold;      
   background-color: #ffffaa;
   color: #004400
}


.green{color: #008800;}         /* dot signifies a class */
#red{color: #990000;}           /* sharp sign signifies an id */
#redb{color: #990000; font-weight: bold;}