body {
    margin: .5in;
    font-size: 18pt;
    width: 80%;
}
a {
    text-decoration: none;
    color: blue;
}
.over {
    text-decoration: overline;
}
.red {
    color: red;
}
.blue {
    color: blue;
}
hr {
    width: 50mm;
    margin-top: 5mm;
    margin-bottom: 5mm;
}