body {
    font-family: Times, "Times New Roman", serif;
    background: #e0f0ff;
    margin: 1em;
    color: black;
}

h1,h2,h3,h4,h5,h6 {
    color: #001050;
    font-family: serif;
    padding: 0em 0.5em;
}

h1,h2 {
    border-bottom: 2px dotted;
}

h1.title {
    text-align: right;
}

table,p,pre,img {
    padding: 0em 1em;
}

img {
    border: 0px;
}

a {
    background: transparent;
    font-style: normal;
    text-decoration: none; 
}

a:link {
    color: #306090;
}

a:visited {
    color: #001050;
}

a:active {
    color: red;
}

/* This rule has to be below the others since they all have the same specificity
 * and we want to make sure the hover background-color only applies on a hover
 */
a:hover {
    background-color: #e0f0ff;
}

div.mainbody {
    background: white;
    border: 1px solid #001050;
}

/*
 * Footer details
 */
div.footer{
    background: #e0f0ff;
    color: #001050;
    font-size: 60%;
    font-family: sans-serif;
}

/*
 * Header details
 */
div.header, span.headertitle, span.headerlinks, span.headerend{
    background: #001050;
    border: 1px solid #001050;
    color: white;
    font-family: sans-serif;
    font-weight: bold;
    font-size: 90%;
}

span.headertitle {
    text-align: left;
    color: white;
    font-family: sans-serif;
    font-weight: bold;
    font-size: 90%;
}

span.headerlinks, span.headerlinksend{
    text-align: right;
    color: white;
    font-family: sans-serif;
    font-weight: bold;
    font-size: 90%;
}

span.headerlinks{
    border-right: 1px dotted white;
}

a.header:link, a.header:visited, a.header:active {
    color: white;
    padding: 0px 5px;
}

a.header:hover {
    background-color: #306090;
    padding: 0px 5px;
}