body {
  font-family: Verdana, Arial, sans-serif;
  font-size: small;
  background-color: white;
  color: black;
}

a {
  color: rgb(0, 43, 184);
  background-color: inherit;
}

a:hover {
  color: green;
  background-color: inherit;
}

em {
  font-weight: bold;
}

p {
  margin-top: 1.5em;
  line-height: 1.5em;
}

div, pre {
  line-height: 1.5em;
}
 
/* Shell commands. */
pre {
  padding: 0.5em;
  margin-left: 3em;
  font-family: monospace;
  color: #000000;
  background-color: #f9f9f9;
  border: 1px solid #aaaaaa;
  display: table;
}

.center {
  display: block;
  text-align: center;
}

div.date {
  color: gray;
  background-color: inherit;
  font-style: italic;
  font-weight: bold;
  margin-top: 1.5em;
}

div.content {
  margin-top: 0.3em;
  margin-left: 2em;
}

div.footer {
  margin-top: 60px;
}

/* Main title. */
h1 {
  text-align: center;
  color: #4a5389;
  background-color: inherit;
  font-size: xx-large;
  font-weight: bold;
  margin-bottom: 3em;
}

/* Subtitles. */
h2 {
  font-size: large;
  text-align: left;
  color: #4a5389;
  background-color: inherit;
  margin-top: 2em;
  border-bottom: 1px solid #000000;
}

/* Footnotes. */
address {
  margin-top: 1em;
  border-top: 1px solid #000000;
  font-size: x-small;
  text-align: center;
}