/* line 1 */
body {
  background: white;
  border-top: 2em solid #95c3f0;
  color: #30303c;
  font: 300 18px/1.4 Open Sans, FreeSans, Helvetica, Arial, sans-serif;
  margin: 0;
  padding: 0;
}

/* line 9 */
.nav {
  float: left;
  margin: 2em;
}
/* line 13 */
.nav h1 {
  font-size: 2em;
  font-weight: 400;
  margin: 0;
}
/* line 18 */
.nav h1 a {
  color: #30303c;
}
/* line 21 */
.nav h4, .nav li {
  font-size: 90%;
}

/* line 24 */
.content {
  margin: 2em 0 3em 20em;
  width: 40em;
}

/* line 28 */
h2 {
  font-size: 1.8em;
  font-weight: 300;
  margin: 0 0 1em;
}

/* line 33 */
h3 {
  font-size: 1em;
  font-weight: bold;
  margin: 2.8em 0 1.4em;
}

/* line 38 */
p, ul, pre {
  margin: 1.4em 0;
}

/* line 41 */
ul {
  margin: 1em 0 0 2em;
  padding: 0;
  list-style: circle outside;
}

/* line 46 */
ul ul {
  font-size: 0.9em;
  margin-top: 0;
}

/* line 50 */
a {
  color: #3094c0;
  text-decoration: none;
}

/* line 54 */
a:hover {
  text-decoration: underline;
}

/* line 57 */
pre, code {
  font-family: Inconsolata, Monaco, Lucida Console, Courier New, monospace;
}

/* line 60 */
pre, blockquote {
  border-left: 1em solid #f0f0f0;
  font-size: 0.9em;
  margin-left: 0;
  padding-left: 2em;
}

/* line 66 */
.footer {
  border-top: 1px solid #d0d0d0;
  clear: both;
  margin: 2em 0 0 2em;
  padding: 1em 0 2em 18em;
  width: 40em;
}