body
  {
   padding: 0.25em;
   margin: 0.5em 0.5em 0.5em 0.5em;
   font-family: Georgia, Palatino, Times, Times-Roman, Times New Roman, serif;
   color: #000000;
   background: rgb(100%,100%,100%);
  }
a:link
  {
   text-decoration: underline;
   font-weight: bold;
   color: #4169e1;
   background-color: white;
  }
a:visited
  {
   text-decoration: underline;
   font-weight: bold;
   color: #4169e1;
   background-color: white;
  }
a:hover
  {
   text-decoration: underline;
  }
div#banner
  {
   background-color: #ffffff;
   border-color: blue;
   color: blue;
   float: left;
  }
div#footer
  {
   background-color: #ddddee; 
   border-color: #000088;
  }
div#header
  {
   display: none;
  }
div.h1
  {
   background-color: #ffffff;
   border-color: #aaaaff;
  }
div.h2
  {
   border-left: solid;
   border-left-width: 0.1em;
   border-right: solid;
   border-right-width: 0.1em;
   border-top: solid;
   border-top-width: 0.1em;
   border-bottom: solid;
   border-bottom-width: 0.1em;
   padding-left: 3px;
   padding-right: 3px;
   padding-bottom: 3px;
   color: #efefff;
   background-color: #5555cc;
   border-color: #000088;
   font-family: Tahoma, Verdana, Lucida, Helvetica, Arial, sans-serif;
   font-weight: normal;
   text-size: normal;
  }
div.notice
  {
   width: 75%;
   border-left: solid;
   border-left-width: 1px;
   border-right: solid;
   border-right-width: 1px;
   border-top: solid;
   border-top-width: 1px;
   border-bottom: solid;
   border-bottom-width: 1px;
   padding-left: 3px;
   padding-right: 3px;
   padding-bottom: 3px;
   color: #000088;
   background-color: #ffdddd;
   border-color: #aa8888;
   font-weight: normal;
   text-size: normal;
   text-align: left;
  }
a.notice
  {
   background-color: #eebbbb;
  }
a:visited.notice
  {
   background-color: #eebbbb;
  }
a:hover.notice
  {
   background-color: yellow;
  }
span.attrib
  {
   color: #66aaff;
  }
span.note
  {
   color: #66aaff;
  }
span.date
  {
   font-weight: normal;
   text-size: small;
   color: #8888aa;
  }
strong.warning
  {
   color: #ff0000;
  }
tr.lightbg
  {
   background-color: #eeeeee;
  }
td.heading
  {
   color: black;
   background-color: white;
   font-weight: bold;
   text-align: center;
  }
p.toplink
  {
   display: none;
  }