h1 {
font-size: 250%;
}

h2 {
font-size: 150%;
}

h3 {
font-size: 125%;
}

body {
margin: 0em;
padding: 0em;
color: rgb(0,0,0); /* black */
font-family: times, serif;
font-size: 85%; /* Ensure we use the parent html element's size (browser default). */
/* background-color: #99ccff; light blue */
background-color: white; /* light blue */
}

div.pageHeader{
margin:0em;
padding: 0em;
font-weight: bolder;
background-color: #99ccff;
background-color: #80c0c0
}

h1.headerTitle{
margin:0em;
padding: 0em;
}

h2.headerSubTitle{
margin:0em;
padding: 0em;
}

.sideColumnA, .sideColumnB {
width: 23ex; /* should match centerColumn margin-left */
background-color: #80bbff; /* was 80c0c0 */
background-color: #80c0c0
}

.sideColumnA {
float: left;
padding-bottom: 1em;
border-right: solid rgb(0, 0, 153);
border-bottom: solid rgb(0, 0, 153);
}

.sideColumnB {
float: right;
padding-bottom: 1em;
}

.centerColumn {
width: auto;
margin-left:  27.5ex; /* side column width - if left column used */
/* margin-right: 23ex; */ /* side column width - if right column used */
}

.sideColumnHeader, .centerColumnHeader {
background-color: #80bbff; /* lite blue */
background-color: #80c0c0
}

.sideColumnHeader {
/* background-color: rgb(0, 0, 153); */ /* dark blue */
}

.sideColumnContent, .sideColumnContent, .centerColumnContent {
text-align: left;
padding: 0em 1em 0em 1em; /* problem: center column pads beside margin, not beside the side columns */
}

.footer {
clear: both;
border-top: solid thick black;
text-align: center;
background-color: #80bbff; /* lite blue */
background-color: #80c0c0
}


.logoTable, .headerTable {
border: solid thin white;
border: solid thin rgb(0, 0, 153);
font-family: "luxi mono", sans-serif;
font-style: italic;
color: white;
background-color: #80bbff; /* lite blue */
background-color: #80c0c0
}

.headerTable {
border: none;
}

.logoTop {
vertical-align: middle;
font-size: 250%;
font-weight: bolder;
padding: .2ex;
background-color: rgb(0, 0, 153); /* dark blue */
}

.logoBottom, .headerBottom {
vertical-align: middle;
font-size: 90%;
font-weight: bolder;
background-color: rgb(0, 0, 153);
}

li.pad_top {
 padding-top: 1em;
}

.v_menu {
list-style-type: none;
margin-left: 0em;
padding-left: 0em;
text-indent: 0.5em;
color: rgb(0, 0, 153); /* dark blue */
}

.v_menu_1 {
list-style-type: none;
margin-left: 0em;
padding-left: 0em;
text-indent: 1.0em;
}

a:link {
text-decoration: underline;
color: #357; 
}

a:visited {
text-decoration: underline;
color: #357; 
}

a:hover {
text-decoration: underline;
color: #900;
color: red;
}

a:active {
text-decoration: underline;
color: #900; 
}

.ax_list {
}

.css_validation {
float: right;
}

ul.v_menu {
font-weight: bolder;
}