body {
  margin: 40px auto;
  max-width: 41em;
  padding: 0 10px;
}

code {
  font-size: 15px;
}

pre {
  font-size: 15px;
  padding: 1em;
  background-color: #337;
  color: #3FF;
  font-weight: bold;
}

a {
  text-decoration: none;
}

.bottom_menu {
  display: block;
  margin-top: 1em;
}

.last_edit {
  font-style: italic;
}

body {
  font-size: 1rem;
  font-family: Ubuntu,"Trebuchet MS","Droid Sans","Liberation Sans",sans-serif;
  line-height: 1.4;
}
h1,h2,h3,h4,h5,h6 {
  font-family: sans-serif;
  letter-spacing: -2px;
}
h1 {
  margin-bottom: 0em;
  font-size: 3rem;
}
h2 {
  margin-top: 0;
  font-size: 2rem;
}
a {
  color: #AA7E2B;
}
a:visited {
  color: #865800;
}
div.header, header.header {
  font-size: 2em;
}