body {
  background-color: white;
  color: black;
  margin: 5em 15% 5em 15%;
  font-family: sans-serif;
}
a {
  text-decoration: none;
}
a:link {
  color: #0000ee;
}
a:visited {
  color: #551a8b;
}
a:active {
  color: #ff0000;
}
.addr {
  font-family: "courier new", courier, mono, monospace;
}
.statement {
  cursor:pointer;
}
.statement:hover {
  color: #0000ee;
}
.addrblock {
  font-family: monospace;
  margin: 0px 0px 0px 4em;
  //padding: .5em .5em 0px .5em;
}
#title {
  font-size: xx-large;
  font-weight: bold;
}
#subtitle {
  font-size: large;
  font-variant: small-caps;
}