/* hvr */

html, body {
   background: #eee;
   color: #000;
}

td.nav {
   background: #fea;
   color: #000;
}

h3.navhead {
   margin-top: 0.2em;
   margin-bottom: 0em;
   font-size: small;
   font-family: Verdana, Geneva, Arial, sans-serif; 
}

.navlink {
   font-size: small;
   font-family: Verdana, Geneva, Arial, sans-serif; 
}

td.content {
   background: #fff;
   color: #000;
}

div.content {
   margin-left: 5px;
   margin-right: 5px;
   padding: 0.1em 0.3em;
}

td.head {
   background: #037;
   color: #fff;
}

h1.head {
   margin: 0.05em 0.3em;
   font-family: arial, helvetica, sans-serif;
}

div.border { border: solid thin; margin: 1em 0; background: #ddd }
pre { padding: 0 1em; color: #255 }

/*
      body { color: black; background: white }
      h1, h2 { font-family: arial, helvetica, sans-serif }
      h1 { color: white; background: black }
      div.border { border: solid thin; margin: 1em 0; background: #ddd }
      pre { padding: 0 1em; color: #255 }
*/