body { font-family: Georgia, Southern, Times, "Times New Roman", serif;
       background: #ffffcc;
       margin-left: 10%; margin-right: 10% }
h4 { font-family: Verdana, Arial, Helvetica, sans-serif }
.nav { font-family: "MS Sans Serif", sans-serif;
       font-size: 70% }
.section { color: white; background: black }
.indented { margin-left: 3em }
.note1 { font-size: 90% }
.vern { }