body {background: white; color: black; margin: 0; font-family: lucida sans, verdana, sans-serif;}

p {margin: 0 15% 1em 16%; line-height: 1.3em; }
p.lead {font-size: 110%; color: #0029AD;}
p.important {color: #0029AD;}
p.excerpt {padding: 0 1em; font-size: 80%; border: 1px solid #FFAD08; border-width: 0 1px 0 1px; }
p.aside {font-size: 80%;}


ul, ol, dl {margin: 0 15% 1em 16%; line-height: 1.3em;}
dt {font-size: 100%; color: #0029AD; margin: 0.5em 0 0 0;} 
dl.notes {font-size: 80%;}


h1 {font-weight: bold; color: #0029AD; font-size: 150%; margin: 30px 15% 10px 16%;}  
h2 {font-weight: bold; font-size: 110%; color: #0029AD; margin: 20px 15% 8px 16%;}
h3 {font-weight: normal; font-size: 100%; text-transform: uppercase; color: #0029AD; margin: 20px 15% 0 16%;} 

div#logo {float: top; margin: 0 0 0 0; padding: 0 0 10px 0;} 

div#menu {float: left; margin: 0 30px 50px 0; padding: 0;}
div#menu p {margin: 30px 10px 30px 10px; font-size: 80%; line-height: 2em;}

div.picleft {float: left; padding: 10px;}
div.picright {float: right; padding: 10px;}

div#whatsnew {margin: 10px 25% 10px 10%; padding: 10px 10px 10px 10px; border: 2px solid #FFAD08; border-width: 2px 2px 2px 2px;}
div#whatsnew h2 {color: #0029AD; font-weight: normal; margin: 0;}
div#whatsnew p {margin: 0;}
div#whatsnew dl {margin: 0;}
div#whatsnew dt {font-size: 80%; color: #000000;}
div#whatsnew dd {font-size: 80%;}



span.term {font-weight: bold; color: #0029AD;}
span.aside {font-size: 80%;}

a:link, a:visited {font-weight: normal; text-decoration: none;}
a:link {color: #FF0829;}
a:visited:hover {text-decoration: underline;}
a:link:hover {text-decoration: underline;}
a:visited {color: #FFAD08;}

div#footer {margin: 0; padding: 5px; border: 1px solid gray; border-width: 1px 0 0 0; text-align: left; font: bold 80% times new roman, serif; color: gray;}

caption {font-size: 80%; font-weight: bold; color: #000000; padding: 1em 0 0.5em 0;}
table {margin: 0 15% 1em 16%;}
th#left {font-size: 100%; font-weight: normal; color: #0029AD; padding: 0 0.5em 0 0; text-align: left;} 
th#right {font-size: 100%; font-weight: normal; color: #0029AD; padding: 0 0 0 0.5em; text-align: left;}
td#left {font-size: 80%; padding: 0; text-align: left;}
td#right {font-size: 80%; padding: 0 0 0 0.5em; text-align: left;}