/* Layout */
html, body {
  color: white;
  background: black;
  height: 100%;
  min-height: 100%; }

#top {
  color: black;
  background: white;
  min-width: 100%;
  min-height: 400px; }
  #top #top-container {
    padding: 150px 0 100px 0; }

#bottom #bottom-container {
  padding: 30px 0 60px 0;
  line-height: 125%; }

/* Typography */
body {
  font-family: "Lucida Grande", "Lucida Sans Unicode", "Verdana", "Helvetica", "Arial", sans-serif;
  font-size: 83%; }

#top {
  line-height: 1.6em;
  color: #333; }
  #top a {
    text-decoration: none;
    border-bottom: 1px dotted #666;
    color: inherit; }
  #top #markdown {
    text-align: justify; }
    #top #markdown h1 {
      font-family: "Verdana";
      font-size: 13px;
      font-weight: bold;
      padding-bottom: 1em; }
    #top #markdown h2 {
      font-family: "Verdana";
      font-size: 12px;
      font-weight: bold; }
    #top #markdown hr {
      height: 1px;
      margin: 2em 1em 4em 2em;
      text-align: center;
      border: 0 dotted #777; }
      #top #markdown hr:after {
        content: "···";
        letter-spacing: 2em; }
    #top #markdown .halmos {
      text-align: right;
      margin: -10px 0 150px 0; }
      #top #markdown .halmos hr.solid {
        margin: .5em 0 2em 0; }
        #top #markdown .halmos hr.solid:after {
          content: ""; }

#bottom {
  font-size: 11px;
  color: #787878; }
  #bottom a {
    color: white;
    text-decoration: none; }
  #bottom .title {
    font-size: 13px;
    color: white; }

/* Misc additions */
ul {
  list-style-type: square; }
  ul ul {
    list-style-type: square; }
    ul ul ul {
      list-style-type: square; }

.right {
  text-align: right; }