body {
    margin: .5in;
    width: 80%;
    font-family: Times;
}
a {
    text-decoration: none;
    color: blue;
}
pre {
    font-family: Courier New;
}
body, pre, td {
    font-size: 18pt;
}
hr {
    margin-top: .2in;
    margin-bottom: .2in;
}
li {
    margin-bottom: 3mm;
}
h2 {
    margin-bottom: 3mm;
}
.red {
    color: red;
}