html {
  margin: 0;
  padding: 0;
  border: 0;
}
body {
  font-family: "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
  font-size:  0.86em;
  background-color: #222222;
  color: #9999b4;
  padding: 0;
  margin: 0;
}
table {
    margin-left: 12px;
}
th { 
    font-weight: bold; 
    padding-right: 14px; 
    padding-bottom: 3px;
}
td {
    padding-right: 14px;
}

th.t {
    text-align: left;
}

td.s, th.s {
    text-align: right;
}

pre.header {
    padding: 20px;
}

div.list { 
    color: #55555;
    font-size: 14px;
    background-color: #232323;
    border: 1px dashed #646464; 
    padding-top: 10px; 
    padding-bottom: 10px;
    margin-left: 4em;
    margin-right: 4em;
} 

div.foot { 
    font: 90% monospace; 
    color: #787878; 
    padding-top: 5px;
    text-decoration: underline;
}
img {
  border: 1px dashed #555555; 
  padding: 5px;
  margin: 5px;
}
a {
  background-color: inherit; 
/*  color: #0066ff; */
  color: #5555EE;
  text-decoration: none;
}
hr {
  color: #333333;
}
#container {
  background-color: #222222;
  border: 0;
  margin: 5px auto 1em auto;
  padding: 0;
  color: inherit;
  min-width: 600px;
  max-width: 1600px;
  width: 99%;
}
.edit {
  font-size: .7em;
  color: #666666;
}
#main {
  margin: 0;
  padding: 0;
  background-color: #222222;
  /* stretch up main div to accomodate the floats */
  overflow: auto;
  width: 100%;
}
#menu {
  /* hack for fixing doubled float-margin in IE5/6 */
  display: inline;
  float: left;
  width: 281px;
  color: inherit;
  text-align: left;
  margin: 10px 10px 10px 0;
  font-size: 0.94em;
}
#menu ul {
  margin: 0 1px;
  padding: 0;
  border-left: 2px solid #444;
  border-bottom: 2px solid #444;
}
#menu li {
  padding: .1em .5em .1em .5em;
  list-style: none;
}
#menu li.path {
  text-align: left;
  color: inherit;
  background-color: #444444;
  font-weight: bold;
}
#menu li.current {
  color: #080869;
  background-color: #333333;
  border: 1px solid #111;
  font-weight: bold;
}
#menu li.current a {
background-color: inherit;
color: #2a2abe;
}
#menu li.current a:hover {
color: #020253;
}
#content {
  padding: 10px 10px 10px 45px;
  margin: 10px 10px 10px 280px;
  background-color: #333333;
  border: 2px solid #444444;
  text-align: justify;
}
#content p {
  margin: .5em 0;
}
h3 > a {
  color: #7777EE;
}
.now img {
  height: 74px;
  margin-top: -24px;
  margin-left: 8px;
  float: right;
  height: 42px;
  border: 0px;
}
.ilike ul, .ilike li {
  display: inline;
}
.ilike ul li {
  margin-left: 25px;
}
.now {
  border-left: 3px solid #363655;
  margin-left: -30px;
  padding-left: 30px;
}
body > .now p, body > .now ul {
  margin-left: 54px;
}
.now ul p {
  margin-left: 0px;
}
.now h3 {
  margin-left: 22px;
}
body > p, body > ul {
  margin-left: 110px;
}
body > .ilike {
  margin-left: 85px;
}
body > * {
  margin-right: 24px;
}
em {
  font-size: 0.85em;
  color: #8888BB;
}
#content h1 {
  background-color: inherit;
  font-size: 1.5em;
  margin-left: 64px;
  font-weight: bold;
  color: #5555EE;
}
#content h2 {
  margin: 1em 0 0 0;
  font-size: 1.25em;
  font-weight: normal;
  color: #5555EE;
  border-bottom: 2px solid #AAAACC;
  margin-left: -24px;
}
#content h3 {
  font-weight: normal;
  border-bottom: 1px #777777 dashed;
  margin-left: -14px;
  font-size: 1.1em;
}
#content h4 {
  font-weight: normal;
  color: #AAAFFF;
  margin-left: -20px;
  font-size: 0.90em;
}
#footer {
  clear: both;
  padding: 10px 10px 10px 10px;
  margin-bottom: 0px;
  font-size: small;
  background-color: #222222;
  color: #666666;
  text-align: center;
}
#footer a {
  color: #666666;
  text-decoration: underline;
}
.code {
  color: #FFFFFF;
  background-color: #000000;
  font-family: monospace;
  border: 1 px dashed #222222;
}
.Comment {
  color: #949494;
}
.PreProc {
   color: #d7875f;
}
.Type {
   color: #d7d787;
}
.String {
   color: #afff00;
}
.Special {
  color: #c0c0c0;
}
.Number {
  color: #d7d75f;
}
.Constant {
   color: #d7d75f;
}
.Statement {
  color: #5fd7ff;
  font-weight: bold;
}
.Todo {
   color: #8a8a8a;
   background-color: #ffff00;
}
.code {
  color: #ffffd7;
  background-color: #262626;
  font-family: monospace;
}
.lnr {
  color: #87875f;
  background-color: #000000;
}
blockquote {
  border-left: 3px solid #212121;
  padding-left: 6px;
  padding-right: 3px;
  color: #8888b4;
}
blockquote blockquote {
  border: 0px;
  border-left: 2px solid #2B2B2B;
  padding-left: 8px;
  padding-right: 8px;
  color: #9090ac;
}
.note {
  color: #4455b4;
  font-style: italic;
}
code, pre.header {
  margin-left: 2em;
  font-family: monospace;
  color: #ffffd7;
  background-color: #262626;
  display: block; 
  border: 1px solid #000000;
}
.filename {
  color: #7ab200;
  font-style: italic;
}
#glider {
  height: 175px;
  margin-left: 27px;
  background:url(/site/glider.png) no-repeat left bottom;
}
#footlinks {
  margin-top: 50px;
}