h1 { font-family: Georgia, Times, serif; }
h2 { font-family: Helvetica, Arial, sans-serif; }
h3, h4, h5 { font-family: Verdana, sans-serif; }
h2.blueheader { font-family: Helvetica, Arial, sans-serif; 
                color: rgb(65,130,183); 
                margin-top: 1.0em;  
                margin-bottom: 0.0em; }
h2.greenheader { font-family: Helvetica, Arial, sans-serif; 
                color: rgb(65,150,65); 
                margin-top: 1.0em;  
                margin-bottom: 0.0em; }
h4.rightheader { font-family: Helvetica, Arial, sans-serif; 
                 font-style: italic;
                 text-align: right; 
                 color: rgb(65,130,183); 
                 margin-top: 0.0em; } 
/* all text containers */
p, dl { font-family: Georgia, Verdana, sans-serif; margin-left: 3%; }
ul, ol { font-family: Georgia, Verdana, sans-serif; }
p.caption { font-family: Times, serif; 
            margin-top: 0.0em; 
            font-style: italic; }
p.timestamp { font-family: Times, serif;
              font-style: italic; 
              margin-left: 0.0em; 
              margin-top: 0.0em; }
pre { font-family: monospace; }
hr.blueline { color: rgb(65,130,183); }
hr.greenline { color: rgb(65,150,65); }
table { border-style: none; }
table.home { border-style     : ridge;    /* double outset inset ridge groove */
             border-color     : green ; 
             border-width     : 1; 
             background-color : rgb(220,255,220) ;}
td { font-family: Verdana, sans-serif; }
/* for the teaching page, table of courses */
td.greycell { font-weight: normal;
              font-family: Verdana, sans-serif;
              font-style: normal;
	      border-style: none; 
              background: rgb(230,230,230); }
td.navcell { font-weight: bold; 
             font-family: Arial Narrow, sans-serif; 
             font-style: normal; }
td.contact { font-weight: normal; 
             font-family: Arial Narrow, sans-serif; 
             font-style: normal; }
a.navlink { text-decoration: none; }
a.navlink:link { color: rgb(65,150,65) }
a.navlink:visited { color: rgb(65,150,65) }
a.navlink:active { color: rgb(65,150,65) }
a.navlink:hover { color: rgb(65,150,65);
                  background-color : rgb(130,255,183) }
a.navsublink { text-decoration: none; margin-left: 10%; }
a.navsublink:link { color: black }
a.navsublink:visited { color: black }
a.navsublink:active { color: black }
a.navsublink:hover { color: green }
b.comp { color: rgb(65,150,65) }
td.comp { color: rgb(0,0,0);
          background-color : rgb(130,255,183) }