html, body {
  background: white;
  color: black;
  font-family: sans-serif;
  width: 770px;
  margin: 0;
}

html {
  padding: 0;
  border-top: #00f solid 3px;
  border-left: #00f solid 2px;
}

body {
  border-top: #88f solid 2px;
}


div#headline, div#footerline {
  text-align: right;
  font-style: italic;
  font-size: 90%;
  font-family: monospace;
}

div#footerline {
  text-align: center;
}

/*
div#footerline a {
  color: white;
}
*/

div#navigation {
  float: left;
  position: absolute;
  position: fixed;
  width: 120px;
  top: 0px;
  left: 2px;
/*  padding-bottom: 5px; */
  border-top: #00f solid 3px;
  border-bottom: #88f solid 5px;
  background: #ddf;
  color: black;
}

div#navigation span.title {
  border-top: #00f solid 3px;
  font-weight: bolder;
  text-align: center;
}

div#navigation span.menuentry {
  border-top: 1px solid white;
}

div#navigation span {
  display: block;
  border-right: #88f solid 5px;
  width: 110px;
  padding-right: 3px;
}

div#navigation span a {
  text-decoration: none;
  width: 100%;
  display: block;
  color: black;
}

div#navigation span a:hover {
  background: white;
  color: black;
}

div#navigation span:hover {
  border-right: #ccf solid 5px;
  background: white;
  padding-left: 3px;
  padding-right: 0;
}

div.clear {
  clear: right;
}

div#body {
  padding: 10px 5px 5px 125px;
}

h1 em, a em {
  font-style: normal;
  color: #88f;
}

h1:hover em, a:hover em {
  padding-top: -2px;
  padding-bottom: -2px;
  border-top: 2px dashed #88f;
  border-bottom: 2px dashed #88f;
  color: black;
}

h1 {
  margin: 0;
}

div#subtitle {
/*  font-style: italic; */
  font-family: monospace;
  color: #00f;
  font-size: 80%;
  margin-bottom: 20px;
  padding-left: 3em;
}

abbr, acronym {
  border-bottom: dotted 1px #6282b0;
  cursor: help;
}

a:link {
  color: #00c;
}

a:visited {
  color: #44f;
}

a:hover, a:active, a:focus {
  color: black;
  background: #ddf;
  text-decoration: none;
}

ul {
  list-style-type: none;
  list-style-position: inside;
  margin: 2px;
  margin-left: 1em;
  padding: 0;  
}

ul ul {
  margin-left: 2em;
}

#badboy {
	display: none;
}

@media screen {
  .print-only {
    display: none;
  }
}