/*
body {
  font-family: Verdana, Arial, sans-serif;
  width: 700px;
  margin: 1em auto;
}
*/

#main h1 {
  font-size: 150%;
  text-align: center;
}

#main h2 {
  font-size: 130%;
}

#main p {
  text-align: justify;
}

#main p.author {
  font-family: Georgia, Times, serif;
  text-align: center;
  font-style: italic;
  color: #666;
}

#main p.code {
  background-color: #eee;
  border: dashed 2px #bbb;
  white-space: pre;
  margin: auto 4em;
  padding: 1em 2em;
  font-family: monospace;
  font-size: 100%;
  color: #222;

  width: 80%;
  margin: auto;
}

#main p.code b {
  color: #369;
}

#main div.note {
  background-color: #def;
  color: #444;
  padding: 0.2em 1em;
}

ul.references {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

ul.references a.title {
  font-weight: bold;
}

ul.references p {
  margin: 0.2em 0 1em 1em;
}