body {
  padding: 1em;
  margin: 0;
}

#content {
  padding: 1em 6em;
  max-width: 50em;
}

h1 {
  font-size: 22pt;
  border-bottom: 2px solid #36C;
}

h2 {
  font-size: 14pt;
}

code {
  font-family: courier, monospace;
  font-size: 90%;
  color: #144;
}

pre {
  margin: 1.1em 12px;
  border: 1px solid #CCCCCC;
  padding: .4em;
  font-size: 120%;
}

p.head {
  font-size: 80%;
  font-style: italic;
  font-family: tahoma, sans-serif;
  text-align: right;
}

a {
  text-decoration: none;
}