body {
  padding-left: 11em;
  font-family: Georgia, "Times New Roman",
        Times, serif;
  color: black;
  background-color: #fffff0 }

a:link {
  color: blue }

a:visited {
  color: purple }

div {
  margin-top: 1.2em;
  margin-bottom: .3em;
  font-size: 14pt;
}