.section {
  font-family: serif;
  margin-top: 15px;
  margin-bottom: 15px;
  padding: 10px;
}

.title  {
  font-weight: bold;
  padding: 5px;
  font-size: larger;
}

.authors  {
  font-style: italic;
  padding: 5px;
  border-bottom: 1px solid black;
  font-size: larger;
}

pre {
 background-color: #ccccff;
  font-family: monospace;
  padding: 2px;
}

code {
  font-family: monospace;
}

body {
  max-width: 600px;
}