body.heading {
     background:  #FFCC33;
     font-size:   75%;
     }

body {
     color:       navy;
     background:  #FFFFF0;
     font-size:   100%;
     margin:      0;
     padding:     0px 3px 0px 0px;
     }

h1,h2,h3 {
     color:       #0000FF;
     background:  #FFFF99;
   }
h1 {
     text-align:  center;
     font-style:  oblique;
     font-size:   200%;
   }
h1 sup {
     font-size:   50%;
   }
h2,h3 {
     text-align:  left;
     text-indent: 2em;
     font-style:  oblique;
   }
h2 {
     font-size:   150%;
   }
h2 sup {
     font-size:   50%;
   }
h3 {
     font-size:   125%;
   }

p  {
     margin:      1em 3px 0 3px;
   }
br {
     clear:       both;
   }

b.counter  {
     font-family: Utopia, cursive;
     font-size:   130%;
   }

pre {
     font-family: courier, monospace;
     font-weigth: bold;
   }

a:hover {
     color:       red;
     background:  yellow;
   }
a.highlight {
     color:       darkblue;
     background:  lightblue;
     font-weight: bold;
   }

ul {
     margin:       0;
   }

table.mailinglists {
     width:        100%;
     border:       0;
   }
table {
     border:       solid navy 2px;
     margin:       2px 2px 2px 2px;
     padding:      2px;
     border-collapse: collapse;
   }
th {
     padding:      5px 5px 5px 5px;
     border:       solid gray 1px;
     border-spacing: 3px;
   }
td.mailinglists {
     width:        50%;
     align:        center;
     border:       0;
   }
td {
     padding:      3px 3px 3px 3px;
     border:       solid gray 1px;
     border-spacing: 3px;
   }

img {
     border:       solid 0px;
     margin:       0px;
     padding:      2px;
   }

#navcol {
     list-style:   none;
     margin:       0;
     padding:      0;
     border:       0;
     width:        100%;
   }

#navcol li {
     color:        navy;
     border-style: solid 0 solid 0;
     border-width: 0px;
     padding:      2px 2px 2px 2px;
   }

#navbar {
     list-style:   none;
     margin:       0;
     padding:      0;
     border:       0;
     width:        100%;
   }

#navbar li {
    color:        navy;
    background:   #FFCC33;
    border-style: solid 0 solid 0;
    border-width: 0px;
    padding:      2px 2px 2px 2px;
    text-align:   center;
    width:        12%;
    float:        left;
   }