body {
 font-family: Verdana, Arial, Helvetica, sans-serif;
 font-size: 87%;
 background: #e9e9ff;
}
input, textarea { font-family: Verdana, Arial, Helvetica, sans-serif; color: #000099; font-size: 100%; }

h1 { font-size: 180%; color: #000099; margin: 0px; margin-bottom: 0.5em; padding: 0px; }
h2 { font-size: 150%; color: #000099; }
h3 { font-size: 125%; color: #000099; background: #f0f0ff; padding: 0.25em 1em 0.25em 0.4em; margin: 2em -0.4em 0em -0.4em;}
h4 { font-size: 100%; color: #000000; }

/*----- Links -----*/
a,
a:link,
a:visited,
a:active {
 color: #000099;
 text-decoration: none;
 border-bottom: 1px solid #ccccff;
}
a:hover {
 color: black;
 background: #ffff00;
}

/*----- Page layout -----*/

div.main {
 margin-left: 9em;
 margin-right: 2em;
 border-left: 0.5em solid #000099;
 background: #ffffff;
 padding: 2em;
}

div.menu {
 position: fixed;
 top: 4em;
 left: 0;
}

div.menu ul {
 list-style-type: none;
 margin: 0px;
 padding: 0px;
 text-align: center;
}

div.menu ul li {
 width: 7em;
 margin: 1em;
 padding: 0px;
}

div.menu ul li a {
 display: block;
 font-weight: bold;
 background: #e0e0f0;
 border-top: 1px solid #f9f9ff;
 border-left: 1px solid #f0f0ff;
 border-right: 1px solid #cccce0;
 border-bottom: 1px solid #cccce0;
 padding: 0.25em;
}
div.menu ul li a:hover {
 background: #ffff00;
}

div.footer {
 text-align: right;
 font-size: 80%;
}

/*----- Printable -----*/

@media print {

 body {
  font-size: 9pt;
 }
 
 h1 { font-size: 12pt; }
 h2 { font-size: 11pt; }
 h3 { font-size: 10pt; border-bottom: 0.15em solid #000099; }
 h4 { font-size: 9pt; }
 
 a, a:link, a:visited, a:active { border: none; }
 
 div.main {
  margin: 0px;
  border: none;
  padding: 0px;
 }
 
 div.menu {
  display: none;
 }
 
}