body { 
 margin: 0;
 background-color: white;
 font-family: sans-serif;
 }
div.banner {
 text-align: center;
 background-color: black;
 color: white;
 }
div.navbar {
 background-color: black;
 text-align: center;
 font-size: smaller;
 }
div.navbar a {
 padding-left: 2em;
 padding-right: 2em;
 color: white;
 }
div.navbar a:hover {
 background-color: #333333;
 }
 
h2 {
 margin-left: .5em;
 }

div.body {
 margin: 0 2em;
 }

div.mininav {
 margin: -1em 0 1em 2em;
 }
div.mininav a {
 font-size: smaller;
 }

div.footer {
 padding-top: 1em;
 font-size: small;
 text-align: center; 
 }

span#copyright {
 color: #CCCCCC;
 }