html, body, h2, h3, h4, div, p, ul, li, input {
  font-family: sans-serif;
}

a:link {text-decoration: none; color: #0a1f80; }
a:visited {text-decoration: none; color: #0d3fa0; }
a:active {text-decoration: none}
a:hover {text-decoration: none; color: white; background-color: #0a1f80;}

html {
  background: #f0f0f0;
}

h1 {
  font-family: "Vera serif", serif;
  font-weight: 500;
  text-align: center;
  letter-spacing: 0.1em;
  border-bottom: solid 2px #1111aa;
  padding-bottom: 12px;
  padding-top: 8px;
  margin-bottom: 30px;
  background: white;
  color: #0a1f80;
}

h2, h3 {
  padding: 0.4em;
  padding-left: 1em;
  margin-top: 0em;
  margin-bottom: 12px;
  border-bottom: solid 1px #1111aa;
  border-left: solid 3px #1111aa;
  background: #ffffff;
  color: #0c2f85;
  letter-spacing: 0.25em;
}

body {
  font: sans-serif;
  margin: 8px;
  border: 1px solid black;
  padding: 8px;
  vertical-align: middle;
  background: #f5f5ff;
}

div.section, div.menu {
  font: 1em/1.5em sans-serif;
  margin-left: 40px;
  margin-right: 40px;
  margin-bottom: 10px;
  margin-top: 0px;
  padding-left: 2em;
  padding-right: 2em;
  padding-bottom: 0.4em;
  padding-top: 0.4em;
  background: #ffffff;
  border: 1px solid;
  border-color: #1111aa;
}

div.section {
  text-align: justify;
}

div.menu {
  color: #0c2f85;
  text-align: center;
  font-weight: 600;
  font-size: 1em;
  letter-spacing: 0.1em;
}

tt {
  font-family: "Vera sans mono", "lucida console", monospace;
}