/* Lanedo Green = #3ee63c, Red = #f6524d, Blue = #3e76e4, Dark Blue = #000080, Orange = #f60, Dark Grey = #2e3436;
 */
body {
    background : white;
    color : black;
    width : 45em;
    font-family : Bitstream Vera Sans, Arial, Helvetica, Verdana, sans-serif;
}

a {
    text-decoration : none;
    color : #3e76e4;
}

a:hover {
    border-bottom : 1px dotted;
}

a img, a:hover img {
    border : 0 none;
}

img {
    vertical-align : middle;
}

a {
    color : #3e76e4;
}

h2, h2 a {
    color : #797b76;
    // color : white;
    margin-top : 1em;
    margin-bottom : 0.1em;
}

h3 {
    margin-top : 1em;
    margin-bottom : 0.1em;
}

h4 {
    margin-bottom : 0.1em;
}

h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover {
    border-bottom : none;
}

q {
    font-style : italic;
    color : gray;
}

p {
    margin-top : 0em;
    margin-bottom : 0.7em;
    vertical-align : middle;
}

/* This is the only non-compliance, but it is needed */
p:last-child {
    margin-bottom : 0em;
}

pre {
    background : white;
    color : black;
    padding : 0.5em;
    margin-bottom : 1em;
}

ul > li {
    list-style-image : url(images/bullet.gif);
    list-style-type : circle;
}

ul > li:hover {
    list-style-image : url(images/bullet.gif);
}

#header {
    background : #0042c8 url(../images/header-background.png);
    height : 145px;     /* fixed height */
    text-align: left;
}

#header table, h1 {
    color : white;
}

#header h1 {
    padding-top : 0.2em;
    padding-left : 0.3em;
    margin-bottom : 0.2em;
}

#header a {
    color : #f60;
}

#header img {
    vertical-align : middle; 
    position : fixed;
    left : 37.6em;
    top : 1.7em;
    padding : 1px;
    border : 1px solid #021a40;
    background-color : white;
}

#container {
    margin : 1em;
    background : white;
}

hr {
    margin-top : 1em;
    margin-bottom : 1em;
    color : white;
    background-color : gray;
    height : 1px;
    border : 0px;
}

tr td {
    padding-left : 0.6em;
}