body {
font-family: arial, helvetica, sans-serif;
background-color: #00458D;
color: #CCFFFF;
}

a:link { color: #CCCCFF; }
a:visited { color: #CCCCCC; }
a:hover { color: #9999FF; }

#all {
background-color: #161630;
position: absolute;
width: 756px;
left: 50%;
margin-left: -378px;
}

#top {
background: url('ui/ui_03.jpg'); 
height: 61px;
width: 756px;
padding: 0;
margin: 0;
}

#menu {
font-size: 12px;
background-image: url('ui/ui_07b.jpg');
width: 111px;
float: left;
padding: 0;
margin-top: -2px;
}

#menubottom1 {
background-image: url('ui/ui_12.jpg');
width: 111px;
height: 170px;
float: left;
}

#left {
background-image: url('ui/ui_14.jpg');
background-repeat: repeat-y;
padding: 1px 0px 0px 0px;
margin: 0px;
top: 0px;
}

#right {
background: url('ui/ui_11.jpg'); 
background-repeat: repeat-y;
background-position: right;
padding: 1px 0px 0px 0px;
margin: 0px;
top: 0px;
}

#rightcap {
background-image: url('ui/ui_10.jpg');
width: 35px;
height: 23px;
padding: 0;
margin-top: -2px;
float: right;
}

#bottom {
clear: both;
background: url('ui/ui_16.jpg'); 
width: 756px;
height: 66px;
}

#menu ul {
list-style: none;
padding: 0;
margin: 0;
padding-left: 25px;
margin-left: 0;
}

#menu ul ul {
list-style: none;
padding: 0;
margin: 0;
padding-left: 10px;
margin-left: 0;
}

#menu a { font-variant: small-caps; text-decoration: none; color: #CCCCFF; }
#menu a:hover { text-decoration: underline; color: white; }

#content {
margin: 0 35px 0 111px;
padding: 0px 10px 0px 10px;
}

table.formula { border: none; color: white; padding: 0; }
p.formula { color: white; }

table.nice { border-collapse: collapse; border: 2px solid black; margin: 0px; }
table.nice td { border: 2px solid black; padding: 0.3em; }
table.nice th { text-align: left; font-weight: normal; background-image: url('pics/menu1.png'); color: white; border: 2px solid black; padding: 0.3em; }
table.nice tr { background-image: url('pics/menu2.png'); }

table.normal { border-collapse: collapse; border: 2px solid black; margin: 0px; }
table.normal td { border: 2px solid black; padding: 0.3em; }
table.normal th { background-color: #353573; color: white; border: 2px solid black; padding: 0.3em;  }
table.normal tr { background-color: #28284F; }

pre.code {
  background-color: #28284F; color: #CCCCFF;
  border: 2px solid black;
  padding: 4px;
}

pre.code span.comment { color: #CCCCCC; }
div.article { margin-bottom: 2em; }
span.topic { color: white; font-weight: bold; }
span.topic a:link { color: white; }

h1 { text-align: center; font-size: 140%; color: #CCFFCC; }
h2 { text-align: left; padding-left: 1em; font-size: 115%; color: white; }
h2.special { text-align: left; padding-left: 1em; padding-top: 0.2em; padding-bottom: 0.2em; font-size: 115%; color: white; background-color: #353573 }