website/styles/main.css

body {
    max-width: 45em;
    line-height: 1.333;
    font-size: 12pt;
    font-family: "PT Serif", serif;
    text-rendering: optimizeLegibility;
    margin: 0 auto;
    padding: 20px 60px;
}

#banner h1 {
    font-family: "Open Sans","Deja Vu Sans", Georgia, sans;
    font-size: 200%;
    line-height: .2;
}

h1 a, h2 a, h3 a {
    color: #585858;
    text-decoration: none;
}

#banner div {
    font-size: 115%;
    font-family: "Open Sans","Deja Vu Sans", Georgia, sans;
    font-weight: 600;
    padding-bottom: 30px;
    text-align: center;
}

#banner ul {
    list-style: none;
    margin: 0 auto;
}

#banner p {
    margin: 0;
}

#navit a, #navit a:visited {
    float: right;
    color: #585858;
    display: inline-block;
    height: 30px;
    text-decoration: none;
    padding: 0 .5em;
}

a:hover, #navit a:active, #navit .active a:link, #navit .active a:visited {
    text-decoration:none;
	  border-top: 1px solid #000000;
	  border-left: 1px solid #000000;
	  border-bottom: 1px solid #000000;
	  border-right: 1px solid #000000;
}

#footer {
  text-align: center;
}

.footdef sup {
  float: left;
  margin-right: 10px;
}

.footnotes {
  font-size: 20px;
  margin-top: 50px;
}