body {
  background-color: #000;
  background-image: url('bg.png');
  background-position: -50px -30px;
  margin: 0;
  font-family: Verdana, "DejaVu Sans", Arial, Helvetica, "Liberation Sans", sans-serif;
  font-size: 76%;
}

#navtitle {
  position: fixed;
  top: 10px;
  left: 28px;
  z-index: 2;
}

#navbox {
  position: fixed;
  width: 200px;
  top: 61px;
  left: 20px;
  z-index: 1;
}

#navbox ul {
  padding-left: 1.5em;
  margin: 0;
}

#navbox li {
  padding-top: 1px;
  padding-bottom: 1px;
}

#navbox .selected {
  font-weight: bold;
}

#navbox .boxbody a {
  color: #fff;
  text-decoration: none;
}
#navbox .boxbody a:active {
  text-decoration: underline;
}
#navbox .boxbody a:hover {
  text-decoration: underline;
}

div.contentbox {
  position: relative;
  min-width: 390px;
  max-width: 750px;
  margin-left: 240px;
  margin-top: 20px;
  margin-bottom: 20px;
  z-index: 3;
}

div.boxtop {
  height: 10px;
  padding: 0;
}

div.boxtop div {
  height: 10px;
  float: left;
}

div.boxtop div.left {
  -webkit-border-top-left-radius: 8px;
  -moz-border-radius-topleft: 8px;
  border-top-left-radius: 8px;
}

div.boxtop div.right {
  -webkit-border-top-right-radius: 8px;
  -moz-border-radius-topright: 8px;
  border-top-right-radius: 8px;
}

div.boxtitle {
  color: #fff;
  background-color: #444;
  text-align: left;
  padding: 5px;
  font-weight: bold;
  opacity: 0.85;
}

div.boxbody {
  color: #fff;
  background-color: #222;
  padding: 8px;
  padding-right: 1em;
  opacity: 0.75;
  -webkit-border-bottom-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -moz-border-radius-bottomleft: 8px;
  -moz-border-radius-bottomright: 8px;
  border-bottom-left-radius: 8px;
  border-bottom-right-radius: 8px;
  line-height: 1.4;
}

div.contentbox .boxbody h3 {
  font-size: 100%;
  font-weight: bold;
  margin-top: 0;
  margin-bottom: 0.2em;
}

div.contentbox .boxbody pre {
  margin-left: 1em;
  background-color: #111;
}

div.contentbox .boxbody code {
  font-family: "Andale Mono", "DejaVu Sans Mono", fixed;
  font-size: 110%;
  background-color: #111;
}

div.contentbox .boxbody ul {
  padding-left: 2em;
  margin-top: 0;
}

div.contentbox .boxbody img {
  padding: 5px;
  border: 0;
}

div.contentbox .boxbody p {
  margin-top: 0;
}
div.contentbox .boxbody p:last-child {
  margin-bottom: 0;
}

div.contentbox .boxbody a {
  color: #fff;
  text-decoration: underline;
}
div.contentbox .boxbody a:visited {
  color: #aaa;
}