body { background: #7d9fb4; }

/* the whole page is in one div */
div#page { width: 800px; margin-left: auto; margin-right: auto; }
* { font-family: sans-serif; }

/* the header */
div#head { width: 790px; border: 0px dotted white; padding: 5px; margin-bottom: 20px; overflow: auto; }
div#title { float: left; vertical-align: bottom; }
div#title-spacer { float: left; height: auto; }
div#logo { float: right; }
div#title h1 { margin: 0px; padding: 0px; line-height: 48px; }

/* definitions for the navigation box */
div#nav { float: left; width: 149px; border: 1px solid black; border-right: 0px; background: #5c7585}
div#nav ul { margin: 0px; padding-left: 10px; padding-top: 7px; padding-bottom: 7px; }
div#nav ul li { list-style: none; padding-top: 3px; padding-bottom: 3px}
div#nav a { font-family: sans-serif; font-weight: bold; text-decoration: none; color: black;}
div#nav a:hover { color: white; }

/* definitions for the main content box */
div#main { float: right; width: 628px; padding-left: 10px; padding-right: 10px; padding-top: 5px; background: #7ebade; border: 1px solid black }
div#main p { text-align: left; }

/* whatever comes first, omit the top margin */
div#main *:first-child { margin-top: 0px; }

a { font-weight: bold; text-decoration: none;  color: black; }
a:hover { color: #707070; }
a:visited { color: #404040; }
a:hover:visited { color: #707070; }
a.out { background-image: url(../images/out.gif); background-position: left center; background-repeat: no-repeat; padding-left: 14px; }

/* definitions for the footer */
div#foot { float: right; width: 650px; margin-top: 50px; padding: 3px; text-align: center; font-size: 65%; right:0px}

/* yep, this stuff is valid! */
div#valid { float: right; width: 650px; margin-top: 50px; text-align: right; }

h1 { font-size: 150%; font-family: serif; font-style: italic; font-weight: bold; }
h2 { font-size: 100%; font-family: serif; font-style: italic; font-weight: bold; margin-top: 2em; }

dl.news dt:first-child { margin-top: 0px; }
dl.news dt { margin-top: 1em; }

a img { border: 0px; padding: 0px; margin: 0px; }
/*a.out:before { content: "gjlkds"; }*/

pre.code { border: 1px; border-style: solid; border-color: black; background: white; padding: 5px; font-family: monospace; }