p, h1, h2, h3, pre, table, div, hr, dl {
  margin: 10px 10px 10px 10px;
}

h1 {
  font-family: "Arial Black", "Helvetica Bold", sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  font-stretch: normal;
  font-size: xx-large;
  color: #005000;
  letter-spacing: .2em;
  text-align: center;
}

p.mtime {
  color: #505050;
  font-family: monospace;
  font-weight: italic;
}

a.internal:link {color:#00ad00}
a.internal:visited {color:#005000}
a.internal:hover {color: #003000}

a:link {color:#0000ad}
a:visited {color:#000050}
a:hover {color: #000030}

pre.code {
  overflow: auto;
  padding: 10px;
  background: #beee8a;
  border: 1px solid #7aa15d;
}

#menu a {
  margin: 0px;
  padding: 2px 2px;
  display: block;
}

#menu a:hover {
  background-color: #a0a0a0;
}

#sidebar {
  float: right;
  width: 200px;
  background: white url("circuit.png");
  background-repeat: repeat;
  background-position: top left;
  border: solid 1px #a0a0a0;
}

table.reltable { 
border-collapse: collapse; 
border: 2px solid #000000; 
border-spacing: 0px; 
}
th.reltitle {
background-color: #00c000;
}
th.relformat { 
border-left: 1px solid #000000; 
border-top: 1px solid #000000; 
border-bottom: 1px solid #6a9d6a; 
border-right: 1px solid #6a9d6a; 
text-align: left;
}
td.relsize { 
border-left: 1px solid #000000; 
border-top: 1px solid #6a9d6a; 
border-bottom: 1px solid #000000; 
border-right: 1px solid #6a9d6a; 
}
td.relurl { 
border-left: 1px solid #6a9d6a; 
border-top: 1px solid #000000; 
border-bottom: 1px solid #6a9d6a; 
border-right: 1px solid #000000; 
}
td.relhash { 
border-left: 1px solid #6a9d6a; 
border-top: 1px solid #6a9d6a; 
border-bottom: 1px solid #000000; 
border-right: 1px solid #000000; 
}