html {
  background-color: #ACF;
}

body {
  margin: auto;
  background-color: #FFF;
  padding-top: 0px;
  padding-bottom: 0.5em;
  padding-right: 1em;
  padding-left: 1em;
  border-right: 3px solid #8AC;
  border-left: 3px solid #8AC;
  border-bottom: 1px solid #89A;
  max-width: 56em;
  font-family: verdana, sans-serif;
  font-size: 85%;
  line-height: 140%;
  color: #222;
}

pre {
  border: 1px solid #CCC;
  border-left: 3px solid gray;
  background-color: #ececec;
  color: #1111111;
  padding: 0.5em;
  white-space: pre-wrap;
}

code {
  font-family: monospace;
  white-space: pre-wrap;
}

h1 a {
  font-family: verdana, sans-serif;
  font-weight: bold;
  color: #FFF;
}

h2 a, h3 a, h4 a, h5 a {
  text-decoration: none;
  color: #26C;
}

h2, h3, h4, h5 {
  font-family: verdana, sans-serif;
  font-weight: bold;
  color: #26C;
  border-bottom: 1px dotted #BBB;
}

h1 {
  font-family: verdana, sans-serif;
  font-weight: bold;
  color: #FFF;
  font-size: 130%;
  border: 1px solid #353;
  border-bottom: 1px solid #353;
  border-right: 1px solid #353;
  background-color: #487;
  margin-top: 1.5em;
  padding: 0.2em;
}

h2 {
  font-size: 110%;
}

h3 {
  font-size: 95%;
  margin-left: 2em;
}

h4 {
  font-size: 90%;
  font-style: italic;
  margin-left: 3em;
}

h5 {
  font-size: 85%;
  font-style: italic;
  margin-left: 4em;
}

h1.title {
  font-family: verdana, sans-serif;
  font-weight: bold;
  color: #26C;
  font-size: 170%;
  font-weight: bold;
  padding-top: 0.2em;
  padding-bottom: 0.7em;
  text-align: center;
  border: none;
  background: none;
}

h2.author {
  text-align: center;
  border-bottom: none;
}

h3.date {
  text-align: center;
  border-bottom: none;
  margin-left: 0px;
}

dt code {
  font-weight: bold;
}

dd p {
  margin-top: 0;
}

.bookshelf-meta {
  background-color: #DDD;
  color: #1111111;
  font-size: 85%;
}

#footer {
  padding-top: 1em;
  font-size: 70%;
  color: gray;
  text-align: center;
}

a {
  text-decoration: none;
  color: #33F;
}

a:hover {
  background-color: #ccc;
}
