@font-face {
  font-family: "DejaVu Sans Mono";
  src: url('DejaVuSansMono.ttf') format('truetype');
}

body {
  background-color: #f6f6f6;
  color: #090909;
  font-size: 10pt;
  font-family: "DejaVu Sans Mono", monospace;
  line-height: 1.5em;
  margin: 0;
  padding: 1.5em;
  word-wrap: break-word;
}

main {
  margin: auto;
  max-width: 45em;
}

.bigimage {
  margin: auto;
}

p, nav, li {
  margin: 0 0 1.2em 0;
}

h1 {
  font-size: 20pt;
  font-weight: bold;
  line-height: 1.2em;
  margin: 0 0 0.6em 0;
}

h2 {
  font-size: 15pt;
  font-weight: bold;
  line-height: 1.2em;
  margin: 0 0 0.8em 0;
}

menu, ul {
  list-style-type: "• ";
  margin: 0 0 1.2em 0;
  padding-left: 1.2em;
}

menu li, .narrowl li, li menu, .narrowl ul, .sublist {
  margin: 0 0 0.2em 0;
}

.indent {
  padding-left: 2.4em;
}

table {
  border-spacing: 0;
  border-collapse: collapse;
  padding: 0;
  margin: 0 0 1.2em 0;
}

td {
  border-spacing: 0;
  border-collapse: collapse;
  padding: 0 0.6em 0 0;
}

th {
  border-spacing: 0;
  border-collapse: collapse;
  text-align: left;
  vertical-align: top;
  padding: 0 0 1.2em 0;
}

img {
  max-width: 100%;
}

footer {
  font-style: italic;
}