/* ---------------------------------------------------- General stuff ---------------------------------------------------- */
body {
position: relative;
margin: 0;
padding: 0;
background: #CCCCCC;
scrollbar-face-color: #0E2162;
scrollbar-highlight-color: #4F98E1;
scrollbar-shadow-color: #000000;
scollbar-3dlight-color: #F0E9DE;
scrollbar-arrow-color: #F0E9DE;
scrollbar-track-color: #EEEEDD;
scrollbar-darkshadow-color: #000000;
}

code, pre {
color: #EEDDCC;
font: 110% monospace;
}

td,th,caption {
color: #EEEEDD;
}
/* ---------------------------------------------------- Header stuff ----------------------------------------------------- */

div#header {
position: absolute;
top: 5px;
left: 5px;
right: 67px;
padding: 5px;
height: 25px;
color: #0E2162;
font: 24px Verdana, sans-serif;
border: thin solid #000000;
background: #999999;
text-align: center;
vertical-align: middle;
}

/* ---------------------------------------------------- Button stuff ----------------------------------------------------- */

div#button {
position: absolute;
top: 5px;
right: 5px;
height: 25px;
width: 42px;
padding: 5px;
background: #CCCCCC;
}

/* ---------------------------------------------------- Content stuff ---------------------------------------------------- */
div#content {
position: absolute;
top: 60px;
left: 161px;
right: 20px;
padding: 10px;
color: #EEEEDD;
font: 13px Verdana, sans-serif;
border: thin solid #0000FF;
background: #0E2162;
}

div#content h1 {
margin: -9px -9px 0.5em;
padding: 10px 15px 5px;
text-align: left;
background: #AACCEE;
color: #002244;
letter-spacing: 0.25em;
font: bold 25px sans-serif;
height: 28px;
vertical-align: middle;
white-space: nowrap;
}

div#content p {
margin: 0 1em 1em;
}

div#content h3 {
margin-bottom: 0.5em;
}

div#content a:link {color: #BBBBBB;}           /* unvisited link */
div#content a:visited {color: #BBBBBB;}        /* visited link */
div#content a:link:hover {color: #3D44C6;}     /* mouse over unvisited link */
div#content a:visited:hover {color: #686EE8;}  /* mouse over visited link */
div#content a:active {color: #666666;}         /* selected link */
div#content a {text-decoration: none;}

/* -------------------------------------------------- Links related stuff -------------------------------------------------- */

/* position and font */
div#links {
position: absolute;
padding-bottom: 15px;
top: 60px;
left: 3px;
width: 150px;
font: 16px Verdana, sans-serif;
text-align: center;
color: #AACCEE;
border: thin solid #0000FF;
background: #002244;
}

/* WITHOUT mouse over */
div#links a {
display: block;
text-align: center;
font: bold 1em sans-serif;
padding: 5px 10px;
margin: 0px 0px 8px;
color: #AAAAAA;
background: #433339;
/* background: #202043; */
text-decoration: none;
}

/* WITH mouse over */
div#links a:hover {
color: #FFFFFF;
background: #0F2251;
text-decoration: none;
}

div#links p {
font: 18px sans-serif;
}

div#links h3 {
margin: 5px 5px 25px;
padding: 5px 5px 5px; 
text-align: center;
background: #AACCEE;
color: #002244;
letter-spacing: 0.25em;
vertical-align: middle;
white-space: nowrap;
}