body
{
   font-size: 100%;
   background: #8080F0;
   padding: 1%;
}

div
{
/*   border: solid 2px yellow; */
}

#head h1
{
   font-size: 200%;
   background: #FFF;
   color: #003;
   border-top: double 8px;
   border-bottom: double 8px;
   border-left: double #FFF;
   border-right: double #FFF;
   margin-left: 110px;
   margin-top: 10px;
   margin-bottom: 10px;
   width: 440px;
   text-align: center;
   padding-top: 5px;
   padding-bottom: 5px;
}

#logo
{
   float: left;
}

#logo img
{
   border: 0;
}

#nav
{
   margin-left: 110px;
   width: 400px;
   padding: 0.2em;
   margin-bottom: 10px;
}

#nav a
{
   color: #FFF;
   background: #003;
   text-decoration: none;
   border-top: 1px solid #FFF;
   border-bottom: 1px solid #FFF;
   padding: 0.1em;
   padding-left: .2em;
   padding-right: .2em;
   margin-top: 0;
}

#nav a:hover
{
   color: #003;
   background: #FFF;
   border-top: 1px solid #003;
   border-bottom: 1px solid #003;
}

#nav ul
{
   text-align: center;
   margin-top: 0;
   margin-bottom: 0;
}

#nav li
{
   list-style: none;
   display: inline;
   font: large serif;
}

.current
{
   color: #003;
   background: #FFF;
   border-top: 3px double #003;
   border-bottom: 3px double #003;
   padding-left: .2em;
   padding-right: .2em;
   margin-right: 0.3em;
}

#content
{
   font-size: 125%;
   padding-left: 1em;
   padding-right: 1em;
   background: #FFF;
   color: #003;
   border: 4px double #003;
   margin-top: 0.5em;
}

#content h1
{
   font-variant: small-caps;
   font-size: 115%;
   background: #8080F0;
   border-top: double 8px;
   border-bottom: double 8px;
   border-left: double #FFF;
   border-right: double #FFF;
   padding-left: 0.5em;
   margin: 0;
}

#foot
{
   font-size: 70%;
   text-align: right;
   margin-top: 1em;
}

#footnote
{
   font-size: 80%;
}