html,
body {
  margin: 0;
  padding: 0;
}

div#box {
  font-size: 1.2em;
  font-family: 'EB Garamond', times, serif;
  margin: 5% auto;
  max-width: 34em;
}

#content {
  margin: 1% auto;
  max-width: 30em
}

#content a {
  text-decoration: none;
  padding: 6px;
  display: block;
}

#content a:hover {
  color: white;
  background-color: #777;
}

#content dd {
  margin-bottom: 14px
}

code {
  white-space: pre;
}


h1 {
  margin: 2em 0em 1em 0em;
  text-align: center;
  font-size: 1.8em;
  font-family: 'Oswald', helvetica, sans-serif;
}

p {
  margin: 8px 20px;
  line-height: 120%;
}

div#footer {
  color: #666;
  float: right;
  font-size: 85%;
}

#footer a {
  padding: 0;
  display: inline;
}

#footer a:hover {
  background-color: white;
  color: red;
  padding: 0;
}

div#menu {
  padding: 6px;
  font-size: 14px;
  margin-bottom: 40px;
  background-color: #004;
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  font-family: helvetica, arial, sans-serif;
  color: white;
}

#menu span {
  font-weight: 300;
}

#menu span.current a {
  background-color: #777;
  padding: 6px;
}

#menu a {
  text-decoration: none;
  padding: 6px;
  line-height: 21px;
  color: white;
}

#menu a:hover {
  background-color: #777;
  text-decoration: none;
  padding: 6px;
}

hr {
  color: #e9e9e9;
}

p.intro {
  font-size: 0.9em;
  font-family: helvetica, sans-serif;
  margin: 20px 0px;
  padding: 14px;
  border: 1px solid black;
}

p.c {
  margin: 0;
  text-align: right;
}