/* Colors */
a {
  color: #8e1d0e;
  text-decoration: none; }
  a:hover, a:focus {
    color: #8e1d0e;
    text-decoration: underline; }
  a:visited {
    color: #8e1d0e; }

header {
  border-bottom: solid black 1px; }
  header h1.logo {
    float: left;
    display: inline;
    margin-bottom: 0;
    margin-right: 0.3em; }
    header h1.logo a {
      color: #333; }
  header ul.nav {
    float: right;
    margin-bottom: 0;
    margin-top: 25px; }
    header ul.nav li {
      display: inline;
      margin-right: 0.7em; }
    header ul.nav a {
      font-size: 1.3em; }

i {
  font-style: italic; }

#content {
  font-size: 1.3em; }
  #content p, #content li {
    line-height: 1.4em;
    font-family: "adobe-caslon-pro", serif; }
    #content p small, #content li small {
      display: inline;
      line-height: 1.68em; }
    #content p sup, #content li sup {
      vertical-align: text-bottom;
      font-size: 75%;
      padding-left: 1px; }
  #content code {
    font-family: monospace; }
  #content .row {
    margin-bottom: 10px; }