@import url(syntax.css);
body {
  font-family: HelveticaNeue-Light, 'Helvetica Neue Light', 'Helvetica Neue', Helvetica, Arial, sans-serif;
  font-weight: 300;
  font-size: 1em;
  background-color: #e7e2da;
  color: #474143; }

div#container {
  width: 600px;
  margin: 0 auto; }

nav {
  padding-bottom: 24px; }
  nav ul {
    padding-left: 0; }
  nav li {
    display: inline;
    padding-right: 0.5em; }

h1 {
  font-size: 1.3em; }

h2 {
  font-size: 1.2em; }

h3 {
  font-size: 1.1em; }

h1, h2, h3 {
  font-weight: normal;
  text-shadow: lightgrey 1px 1px 1px; }

a {
  color: #8f8887;
  text-decoration: none; }
  a:hover {
    text-decoration: underline; }
  a:visited {
    color: #8f8887; }

pre code {
  font-family: Menlo, Monaco, monospace;
  font-size: 0.9em; }

footer {
  font-family: Menlo, Monaco, monospace;
  font-size: 0.7em;
  color: #8f8887;
  padding-top: 24px; }