body
  {
   padding: 0.25em;
   margin: 0.5em 160px 0.5em 160px;
   font-family: Georgia, Palatino, Times, Times-Roman, Times New Roman, serif;
   color: #191970;
   background: rgb(100%,100%,100%) url(../images/css-logo.png) 0 0 no-repeat fixed;
  }

/* Nav */
ul#mainNav
  {
   margin: 0;
   padding: 0;
   background: #000088;
   color: #ffffff;
   list-style-type: none;
  }
ul#mainNav li
  {
   margin: 0;
   padding: 0;
   float: left;
   width: 12.5%;
   font-size: x-small;
  }
ul#mainNav li a
  {
   display: block;
   margin: 0;
   padding: 0;
   text-align: center;
   text-decoration: none;
   white-space: nowrap;
   background: #000088;
   color: #ddddff;
  }
ul#mainNav li a#navServe
  {
   width: 12.5%;
  }
ul#mainNav li a:link, ul#mainNav li a:visited
  {
   color: #ddddff;
  }
ul#mainNav li a:focus, ul#mainNav li a:active
  {
   background: #000088;
   color: gold;
  }
ul#mainNav li a:hover
  {
   color: #ff0000;
  }

.hidden, .alt
  {
   display: none;
  }

table.notice
  {
   width: 80%;
   margin-left: 10%;
   border: solid;
   border-width: 3px;
   border-color: #cc0000;
   background-color: #ffdddd;
   color: #000088;
   font-weight: normal;
   font-size: normal;
   text-align: center;   
  }
table.subnotice
  {
   width: 60%;
   margin-left: 19%;
   margin-top: 0px;
   border: solid;
   border-width: 1px;
   border-color: #ddaaaa;
   background-color: #ffdddd;
   color: #000088;
   font-weight: normal;
   font-size: normal;
   text-align: center;   
  }

a:link
  {
   text-decoration: none;
   font-weight: bold;
   color: #1133bb; /* #4169e1; */
  }
a:visited
  {
   text-decoration: none;
   font-weight: bold;
   color: #5500aa;
  }
a:hover
  {
   text-decoration: none;
   font-style: normal;
   color: white;
   background-color: blue;
  }
p
  {
   text-indent: 0em;
   padding-top: 0em;
   padding-bottom: 0em;
  }
p.noindent
  {
   text-indent: 0em;
   padding-top: 0em;
   padding-bottom: 0em;
  }
span.name
  {
   font-variant: small-caps;
  }
li.spaced
{
 padding-top: 0.75em;
}
span.lidef
{
 font-weight: bold;
}
ul.entrylist
{
 margin-left: 1em;
 list-style-type: none;
}
div
  {
   padding-top: 1ex;
   padding-bottom: 1ex;
  }
div#Header
  {
   width: 100%;
   margin: 0;
   padding: 0;
   color: white;
   background-color: #000088;
   border-color: #000088;
   border: solid;
   border-width: 1px;
   letter-spacing: 2;
  }
div#Footer
  {
   width: 100%;
   border: solid;
   border-left-width: 0px;
   border-right-width: 0px;
   border-top-width: 2px;
   border-bottom-width: 1px;
   padding-left: 3px;
   padding-right: 3px;
   padding-bottom: 3px;
   background-color: #ccccff; 
   border-color: #8888aa;
   font-family: sans-serif;
   font-weight: normal;
   font-size: x-small;
  }
span.notice
  {
   width: 75%;
   border-left: solid;
   border-left-width: 3px;
   border-right: solid;
   border-right-width: 3px;
   border-top: solid;
   border-top-width: 3px;
   border-bottom: solid;
   border-bottom-width: 3px;
   padding-left: 1ex;
   padding-right: 1ex;
   padding-bottom: 1ex;
   padding-top: 1ex;
   color: #000088;
   background-color: #ffdddd;
   border-color: #cc0000;
   font-weight: normal;
   font-size: normal;
   text-align: left;
  }
a.notice
  {
   background-color: #ffdddd; */ #eebbbb */
   font-weight: bold;
   text-decoration: none;
  }
a:visited.notice
  {
   background-color: #ffdddd; */ #eebbbb */
   font-weight: bold;
   text-decoration: none;
  }
a:hover.notice
  {
   background-color: blue;
  }
span.attrib
  {
   color: #66aaff;
  }
span.note
  {
   color: #66aaff;
  }
span.date
  {
   font-weight: normal;
   font-size: small;
   color: #8888aa;
  }
strong.warning
  {
   color: #ff0000;
  }
tr.lightbg
  {
   background-color: #eeeeee;
  }
td.heading
  {
   color: #ffffff;
   background-color: #000088;
   font-weight: bold;
   text-align: center;
  }
p.toplink
  {
   margin: 0;
   margin-bottom: 3em;
   padding: 0;
   text-align: center;
   text-indent: 0;
  }

h3
  {
   width: 100%;
   border: solid;
   border-color: #cc0000;
   border-width: 2px;
   background-color: #fff0f0;
   margin: 0;
   padding: 0;
   text-align: center;
  }
