body
  {
   margin: 0.5em 0.5em 0.5em 0.5em;
   padding: 0em;
   font-family: Verdana, Helvetica, Ariel, sans-serif;
   color: #191970;
   background-color: #efefff;
  }
a:link
  {
   text-decoration: underline;
   font-weight: bold;
   font-style: italic;
   color: #4169e1;
  }
a:visited
  {
   text-decoration: underline;
   font-weight: bold;
   font-style: italic;
   color: #5500aa;
  }
a:hover
  {
   text-decoration: none;
   font-style: normal;
   color: red;
   background-color: yellow;
  }
p
  {
   text-indent: 1em;
   padding-top: 0em;
   padding-bottom: 0em;
  }
p.noindent
  {
   text-indent: 0em;
   padding-top: 0em;
   padding-bottom: 0em;
  }
span.name
  {
   font-variant: small-caps;
  }
div.banner
  {
   width: 100%;
   border-left: solid;
   border-left-width: thick;
   border-right: solid;
   border-right-width: thick;
   border-top: solid;
   border-top-width: thick;
   border-bottom: solid;
   border-bottom-width: thick;
   padding-left: 3px;
   padding-right: 3px;
   padding-bottom: 5px;
   padding-top: 5px;
   font-size: x-large;
   font-style: normal;
   text-decoration: none;
   text-align: center;
   background-color: #cdcdee; 
   border-color: #000088;
   float: left;
  }
div.footer
  {
   width: 100%;
   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;
   background-color: #cdcdee; 
   border-color: #000088;
  }
div.h1
  {
   width: 100%;
   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;
   background-color: #cdcdee; 
   border-color: #000088;
   font-weight: bold;
   text-size: Large;
   text-align: center;
  }
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-weight: normal;
   text-size: normal;
  }
div.header
  {
   width: 100%;
   border-left: solid;
   border-left-width: thin;
   border-right: solid;
   border-right-width: thin;
   border-top: solid;
   border-top-width: thin;
   border-bottom: solid;
   border-bottom-width: thin;
   padding-left: 1px;
   padding-right: 1px;
   padding-bottom: 3px;
   font-size: x-small;
   text-decoration: none;
   font-style: normal;
  }
div.notice
  {
   width: 75%;
   border-left: solid;
   border-left-width: 0.2em;
   border-right: solid;
   border-right-width: 0.2em;
   border-top: solid;
   border-top-width: 0.2em;
   border-bottom: solid;
   border-bottom-width: 0.2em;
   padding-left: 3px;
   padding-right: 3px;
   padding-bottom: 3px;
   color: #000088;
   background-color: #ffdddd;
   border-color: #000088;
   font-weight: normal;
   text-size: normal;
   text-align: left;
  }
span.attrib
  {
   color: #66aaff;
  }
span.note
  {
   color: #66aaff;
  }
span.date
  {
   font-weight: normal;
   text-size: small;
   color: #8888aa;
  }
strong.warning
  {
   color: #ff0000;
  }