body, h1, h2, h3, h4, li, ol, ul, tr, td, pre, code {
  margin: 0;
  padding: 0; }

body {
  background: white url("background.gif") repeat-y top left;
  color: #333333; }

h1 {
  font: normal 36px Georgia, serif;
  margin: 0 0 30px 0; }

a {
  color: #cc0088;
  text-decoration: none;
  outline: none; }

a:hover {
  color: #ff33bb; }

.nav {
  position: absolute;
  width: 160px;
  /* 240 - 80 pad */
  top: 0;
  bottom: 0;
  padding: 40px 40px 40px 80px;
  color: #aaa; }
  .nav a {
    color: #666; }
  .nav a:hover {
    color: #cc0088; }
  .nav h1 {
    font-style: italic; }
  .nav h2 {
    font: bold 14px "Lucida Sans Unicode", "Lucida Grande", sans-serif;
    margin: 20px 0 5px;
    padding: 0; }
  .nav ul {
    margin: 0;
    padding: 0; }
  .nav li {
    font: normal 13px "Lucida Sans Unicode", "Lucida Grande", sans-serif;
    margin: 0;
    padding: 2px 0;
    list-style-type: none; }
  .nav li:before {
    content: "\0203a\00a0"; }

.content {
  max-width: 640px;
  margin: 40px 40px 40px 320px; }
  .content h2 {
    font: normal 24px Georgia, serif;
    margin: 30px 0 20px 0;
    border-top: solid 1px #ddd;
    padding-top: 20px; }
    .content h2 code {
      color: #555555;
      font: 24px Courier, monospace; }
    .content h2 a {
      color: #333333; }
  .content h3 {
    font: italic 18px Georgia, serif;
    margin: 30px 0 10px 0; }
    .content h3 a {
      color: #333333; }
  .content p {
    font: 15px/25px Georgia, serif;
    margin: 0 0 10px 0; }
    .content p a {
      color: #333333; }
  .content p + p {
    margin-top: 20px; }
  .content ul, .content ol {
    padding-left: 40px;
    margin: 10px 0; }
  .content li {
    font: 15px/25px Georgia, serif; }
  .content li + li {
    margin-top: 10px; }
  .content pre, .content code, .content tt {
    color: #555555;
    background: #f4f4f4;
    font: 14px/20px Courier, monospace; }
  .content code {
    -moz-border-radius: 5px;
    border-radius: 5px;
    white-space: nowrap;
    font-size: 15px;
    padding: 0 2px; }
  .content pre {
    -moz-border-radius: 5px;
    border-radius: 5px;
    margin: 0 0 10px 0;
    padding: 10px; }
  .content hr {
    margin: 20px 0;
    border: none;
    border-bottom: solid 1px #4b81ab; }

.content:hover p a {
  color: #cc0088; }
.content:hover p a:hover {
  color: #ff33bb; }

.footer {
  font: italic 15px Georgia, serif;
  color: #aaa;
  padding: 20px;
  white-space: nowrap;
  margin: 30px 0 0 0;
  text-align: center;
  border-top: solid 1px #ddd; }

p.future {
  -moz-border-radius: 5px;
  border-radius: 5px;
  background-color: #ffeae5;
  color: #c27e70;
  font: italic 14px/20px Georgia, serif;
  margin: 0 0 10px 0;
  padding: 10px; }

pre .k {
  color: #cc0088; }
pre .o {
  color: #1b9898; }
pre .s {
  color: #0077b3; }
pre .se {
  color: #0077b3; }
pre .sc {
  color: #0077b3; }
pre .c1 {
  color: #888888; }
pre .cm {
  color: #888888; }
pre .nb {
  color: #0077b3; }
pre .mi {
  color: #0077b3; }
pre .mf {
  color: #0077b3; }
pre .bp {
  color: #0095b3; }
pre .p {
  color: #888888; }