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

}
body {
  background-color: #FFF;
}

.top { 
  border: 2px solid black;
  padding: 4px;
  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;

}

.nav {
  border-bottom: 1px solid #000;
  border-left: 1px solid #000; 
  border-right: 1px solid #000;
  padding:7px;
  background-color:#eee;
}

.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;
  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;
}

.grey { background-color:#ddd }
.ok { background-color:#0f0 }
.not_ok { background-color:#f00 }
.not_ok_light { background-color:#f99 }
.opt_not_ok { background-color:#f80 }
.opt_not_ok_light { background-color:#fd8 }
.exp_not_ok { background-color:#fa5 }
.exp_not_ok_light { background-color:#fd8 }


ul#indicators li {
 display: inline;
}
ul#indicators li:before {
 content: ' | ';
}
ul#indicators li:first-child:before {
 content: '';
}

a.dragon, a:link.dragon, a:visited.dragon       {
text-decoration:none;
color:#f00;
}