body {
  padding: 20px;
  line-height: 1.3;
  font-family: Helvetica, Arial, sans-serif;
}

h1, h2, h3, h4, h5, h6 {
  font-family: Helvetica, Arial, sans-serif;
}

img#fork {
  position: fixed;
  right: 0px;
  top: 0px;
  border: none;
}

div#nav ul {
  margin: 0px;
  padding: 0px;
  margin-left: 10px;
  padding-left: 10px;
}

div#nav ol {
  margin: 0px;
  margin-left: 20px;
  padding-left: 20px;
}

div#nav {
  position: fixed;
  left: 50%;
  margin-left: -480;
  width: 250px;
  top: 50px;
}

div#main {
  position: relative;
  left: 50%;
  top: 10px;
  margin-left: -225px;
  width: 705px;
  padding-left: 5px;
}

code {
  background-color: #FCFCFC;
  border: 1px solid #DDDDDD;
  padding-left: 2px;
  padding-right: 2px;
}

code.CodeRay {
  background-color: none;
  border: none;
}