a {
    text-decoration: none;
}

a:link, a:visited {
    color: #600000;
}

a:active, a:hover {
    color: #C00000;
}

p {
    font-family: arial;
}

.readout {
    font-family: courier;
}
