body {
  font-family: sans-serif, "Trebuchet MS", verdana;
  color: black;
  background: white;
  margin-left: 5%;
  margin-right: 5%;
}

hr {
 border-width: 1pt;
}

a {
  font-weight: bold;
}

a:link {
 color: #005d51;
 text-decoration: none;
}

a:visited {
 color: #009d91;
 text-decoration: none;
}

a:hover {
 color: #005d51;
 text-decoration: underline;
}

a:active {
 background-color: #ffc;
 text-decoration: underline;
}

h1, #footer {
  border: 1px solid #990066;
  border-left: none;
  border-right: none;
}

h1 {
  color: #906;
  text-align: center;
  padding: 0.5ex;
}

span.subtitle {
  font-weight: normal;
  font-size: 80%;
}

h2 {
  color: #005A9C;
  text-align: left;
}

pre {
  background: #ffc;
  border: dashed 1px #8aa;
  margin-left: 3em;
  margin-right: 3em;
  padding: 0.5em;
}

#footer {
  margin-top: 10px;
  margin-bottom: 10px;
  font-size: 80%;
}

#footer:after {
  content: ".";
  display: block;
  height: 0;
  clear: both;
  visibility: hidden;
}

.left, .right {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

.left {
  text-align: left;
  float: left;
}

.right {
  float: right;
  text-align: right;
}

.ballot {
  font-family: monospace;
  background: #ffc;
  border: solid 1px #8aa;
}

.back {
  font-size: 80%;
}

a img {
  border-width: 0pt;
}

img.figure {
  display: block;
  margin-left: auto;
  margin-right: auto;
  padding: 20px;
  border: dashed 1px #88aaaa;
}

.code {
  font-family: monospace;
}

dl.factors dt {
  margin-top: 1ex;
  font-weight: bold;
}

dl.factors dd {
  margin-top: 1ex;
}