body {
margin-left: 5%;
margin-right: 5%;
background-color: white;
color: #000000;
padding: 0px;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 100%
}

li { padding-bottom: 10px }

h1 { font-size: 125% }

h2 { font-size: 110% }

h3 { font-size: 110% }

hr { color : navy } /* was MidnightBlue rgb(25,25,112) */

A:hover { color: white; background: navy }

code { font-size: 100% }

pre { font-size: 100% }

tr:nth-child(even) {
    background-color: #E0E0E0;
}