body, p, th, td, dt, dd, li, h1, h2, h3, h4, h5, h6 {
 font-family: Times New Roman, Times Roman, Times, serif;
 font-size: 100%;
 color: #800000;
 margin: 0;
 padding: 0;
}

body {
 background-color: ;
 text-align: center;
}

a {
 color: blue;
}

a:visited {
 color: purple;
}

a: hover {
 color: red;
}

table#splash {
 height: 100%;
 width: 100%;
}

table#splash tr {
 vertical-align: middle;
}

table#splash tr td {
 text-align: center;
}

table#splash tr td div#top {
 font-size: 130%;
 margin: 1.5ex;
}

table#splash tr td div#middle img {
 vertical-align: middle;
 border: none;
}

table#splash tr td div#bottom {
 font-size: 115%;
 margin: 1.5ex;
}

table#splash tr td div#bottom div#footnote {
 margin: 5em auto 0;
 max-width: 400px;
 font-size: 70%;
}