body {
    margin: 0.5in 10% 1in 10%;
    color: black;
    background-color: white;
}

body, td, p {
    font-family: verdana, sans-serif;
    font-size: 12px;
}

a {
    color: #A93333;
}

a:visited {
    color: #3333A9;
}

h1 {
    font-family: verdana, sans-serif;
    color: #FF6633;
}

h2 {
    font-family: verdana, sans-serif;
    font-size: 21px;
    color: #3333A9;
}

h3 {
    font-family: verdana, sans-serif;
    color: black;
}

h4 {
    font-family: verdana, sans-serif;
    color: black;
}

pre {
    font-size: 8pt;
}

th {
    font-family: verdana, arial, helvetica, sans-serif;
    text-align: left;
}

.header {
    font-family: verdana, arial, helvetica, sans-serif;
    font-weight: bold;
    text-align: left;
}

.past {
    font-size: 85%;
}

.intro {
    font-size: 105%;
}

strike {
    color: orange;
}