body,table,tr,td {
  font-family:helvetica,sans-serif;
  font-size:14px;
  font-weight:normal;
}

body {
  background-color: #FFF;
}

#top { 
  border: 2px solid black;
  color: #fff;
  font-weight: bold;
  background-color: #191970;
  border-bottom: 4px solid #39f;
  border-top: 4px solid #39f; 
  font-size:18px;
  letter-spacing: 2px;
  padding-top: .5em;
  padding-left:.5em;
  padding-bottom:.5em;
  margin:0px;
}

#menubox {
  border-bottom: 1px solid #000;
  border-left: 1px solid #000; 
  border-right: 1px solid #000;
  padding:7px;
  background-color:#eee;
  margin:0px;
}

ul.menu li {
 display: inline;
}
ul.menu li:before {
 content: ' | ';
}
ul.menu li:first-child:before {
 content: '';
}

.content {
	width: 500px;
	margin-left: 30px;
}


.headers { 
  padding: 2px;
  color: black;
  background-color: #dddddd;
}

.warning {
  border-bottom: 1px solid #000;
  border-left: 1px solid #000; 
  border-right: 1px solid #000;
  padding:7px;
  background-color:#f00;
  font-weight: bold;
}


.content {
  margin-top:1em;
  margin-left:1em;
  //width: 800px;
}

.footer {
  margin-top:3em;
  border-top: 1px solid #000;
  font-size: 75%;
  text-align: right;
}

dt {
  font-weight: bold;

}

dd {
    margin-bottom: 1em;
}

li {
    margin-bottom: 0.5em;

}
A {
  color: #003399;
  text-decoration: none;
}

pre {
    margin-left: 20px;
    background-color:#ddd;
    padding: 5px;
}

.distsubnav {
	margin-bottom: 1em;
}

.top A {
color: #fff;
}




