H1 {font-size=200%: bold: text-align= center;}
H2 {font-size =125%; }
dl dt a { font-weight: bold; }
dl dt { font-weight: bold; }
dl dt { margin-top: 5px; }
dl {margin-top: 0px; }

td.menu { padding-left:  5px;
          padding-top:   5px;
          padding-right: 0px; }

.menu ul { margin-left: 10px;
             padding-left: 10px; }

.thisone { border-left: 2px solid rgb(0,0,204);
           border-bottom: 2px solid rgb(0,0,204);
           padding-bottom: 2px; }

td.menu a:hover   { background-color: white; color: blue;
text-decoration: none;}
td.menu a:hover b { background-color: white; color: blue;
text-decoration: none;}
td.menu a:hover i { background-color: white; color: blue;
text-decoration: none;}

td.main-text { padding-left: 5px;
               padding-right:5px; }

.kludge {padding-right: 3px; }

p img {padding-right: 5px; }
dl dd img {padding-right: 5px; }

.hilite { background-color: rgb(204,204,204); color: black;
          padding-left: 2px; margin-top: 2px;}
.top-lite { background-color: rgb(0,0,204); color: rgb(204,204,204);
            padding-left: 5px; margin-top: 2px;}
.menu-title { background-color: rgb(0,0,204); color: rgb(204,204,204);
              padding-right: 5px; margin-right: 5px; }