body {
  font-family: Helvetica, sans-serif;
  margin: 5ex 10ex;
}

#content {
  float: left;
  max-width: 65ex;
  margin-right: 5ex;
  line-height: 1.5;
}

#sidebar {
  float: left;
  max-width: 20ex;
}

a {
  text-decoration: none;
  font-weight: bold;
  font-size: 95%;
}

h1 {
  font-weight: normal;
  margin-bottom: 1ex;
}
h2 {
  font-size: 120%;
  margin-bottom: 0;
}
h3 {
  font-size: 100%;
  margin-bottom: 0;
}

pre, code {
    font-family: x, monospace;
}
pre {
    padding: 1ex;
    background: #eee;
    border: solid 1px #ddd;
    min-width: 0;
    font-size: 90%;
}
code {
    color: #007;
}