html {
  overflow-y: scroll;
}

body {
  font-family: sans-serif;
  font-size: 18px;
  font-weight: 300;
  margin: 0;
  padding: 0.5em;
  word-break: break-word;
}

a {
  color: #15c;
  font-weight: 300;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a#viewSource {
  border-top: 1px solid #999;
  display: block;
  margin: 1.3em 0 0 0;
  padding: 1em 0 0 0;
}

div#links a {
  display: block;
  line-height: 1.3em;
  margin: 0 0 1.5em 0;
}

a.selected {
  text-decoration: underline;
}

h1 a {
  font-weight: 300;
  white-space: nowrap;
}

div#container {
  margin: 0 auto 0 auto;
  max-width: 42em;
  padding: 1em 1.5em 1.3em 1.5em;
}

div#highlight {
  background-color: #eee;
  font-size: 1.2em;
  margin: 0 0 50px 0;
  padding: 0.5em 2em;
}

div#links {
  padding: 0.5em 0 0 0;
}

h1 {
  border-bottom: 1px solid #ccc;
  font-family: sans-serif;
  font-size: 20px;
  font-weight: 500;
  margin: 0 0 0.8em 0;
  padding: 0 0 0.2em 0;
}

h2 {
  color: #444;
  font-size: 1em;
  font-weight: 500;
  line-height: 1.2em;
  margin: 0 0 0.8em 0;
}

h3 {
  border-top: 1px solid #eee;
  color: #666;
  font-size: 0.9em;
  font-weight: 500;
  margin: 20px 0 10px 0;
  padding: 10px 0 0 0;
  white-space: nowrap;
}