h1 { font-size: x-large; margin: 0; }

div { font-family: tahoma; }

div.header {
   text-align: left;
   border-bottom: solid #004090 3px;
   width: 100%; height: 100px;
   background-image: url('../img/movingcircles_s.jpg');
   padding: 3ex 0 1ex 7ex;
}
div.nav {
   /*background: white;*/
   border-right: solid #004090 3px;
   width: 18ex; height: 420px;
   padding: 1ex 1ex;
   margin: 0 1ex 1ex 0;
   font-size: x-small;
   float: left;
}
div.body { padding: 0; height: 420px; display: inline }
div.vertspacer { height: 1ex; margin: 0; border: }
div.footer { 
   clear: both; 
   text-align: center;
   font-size: smaller;
   margin: 1ex 0 0 0;
}

li {margin-left: 4ex}

table.header { text-align: center; }
a { color: blue; text-decoration: none; }
a.nav { color: blue; }
a.topnav { font-size: smaller }
span.nav { color: black; };
span.navemph { color: red; font-size: xx-small; vertical-align: super }
img { border: solid #004090 2px; }
img.article { float: right; border: solid #004090 2px; margin: 0 0 1ex 1ex }
img.leftfloat { float: left; border: solid #004090 2px; margin: 0 1ex 1ex 1ex }
img.rightfloat { float: right; border: solid #004090 2px; }

p { margin: 0 0 1em 0; }