body {
  font-family: monospace;
  color: #bfbfbf;
  background-color: #3f3f3f;
  margin: 5%;
}

#content {
  font-size: large;
}

#postamble {
  font-size: small;
}

#org-div-home-and-up {
  font-size: small;
}

a {
  color: #bfbf00;
}

a:link, a:visited {
  text-decoration: none;
}

a:hover, a:active {
  text-decoration: underline;
}