/* CSS */
body {
  color: #FFFFFF;
  background: #000000;
  font-size: 18px;
  font-family: "Serif"
}
pre {
  font-size: 16;
  font-family: Courier New;
  border: 1px solid #333333;
  background: #141414;
  padding: 10px;
}
a {
  color: #00FFFF;
}
a.nav {
  text-decoration: none;
  color: #DDDDDD;
  background-color: #111111;
  border: 1px solid #DDDDDD;
  padding: 5;
}
a.nav:hover {
  color: #FFFFFF;
  background-color: #888888;
  border: 1px solid #EDEDED;
}
tt {
  margin-top: 45px;
  margin-bottom: 20px;
  margin-left: 13px;
  color: #FFFF00;
  font-weight: bold;
  font-size: 18px;
  font-family: "Serif";
  display: block;
}
tt.a {
  margin-left : 0;
  margin-right : 0;
  background: #003377;
  color: #FFFFFF;
  padding: 5px;
  padding-left: 13px;
  border: 1px solid #006677;
  border-right: 1px solid #001155;
  border-bottom: 1px solid #001155;
}
st {
  margin-top: 45px;
  margin-bottom: 20px;
  margin-left: 13px;
  color: #FFFF00;
  font-style: italic;
  display: block;
}
img.border {
  margin: 20 0 20 12;
  display: block;
  border: 1px solid #444444;
  padding: 2px;
}
table.doc {
  margin: 20 0 20 12;
  width: 800px;
}
table.doc th {
  border: 1px solid #666666;
  padding: 4px;
  color: #FFFFFF;
  background-color: #444444;
}
table.doc td {
  border: 1px solid #666666;
  padding: 4px;
  color: #FFFFFF;
  background-color: #222222;
  padding-left: 8px;
  text-align: center;
}
hvm {
  color: #FF0000;
}
hvd {
  color: #00FF00;
}
path {
  display: block;
  margin: 0 0 25 15;
  font-family: Arial;
  font-size: 16px;
  font-style: italic;
}