body {
  margin-left: 3%; margin-right: 3%;
  margin-top: 3%; margin-bottom: 4em;
  color: black;
  background: white;
}
div.heading {
  background: rgb(204,204,255);
  padding: 0.5em;
  border: solid;
  border-width: thin;
}
div.footer {
  font-family: sans-serif;
  margin-left: 1%;
  margin-right: 1%;
  background: rgb(240,240,255);
  padding: 0.1em;
  border: solid;
  border-width: thin;
  position: fixed;
  bottom: 1em;
  left: 0em;
}
a.plain {
  text-decoration: none;
  color: black;
}
h1,h2,h3,h4,h5 { font-family: sans-serif; }
a.mailto { font-family: monospace; }