/* ----- fonts and colors ----- */
body {
	background-color: white;
	color: black;
	font-family: Tahoma, Verdana, Helvetica, Geneva, sans-serif;
}

#headerLayout, #footerLayout,  #sectionNavigation, #news {
	background-color: #d0e0ff;
	color: #3040a5; 
}

#tagline {
	background-color: #d0e0ff;
	color: black;
}

.subHeaderLayout {
	background-color: #3040a5;
	color: white;
}

.areaMenu .item, .areaMenu .item a:link, .areaMenu .item a:active, .areaMenu .item a:visited {
	background-color: #d0e0ff;
	color: blue;
	text-decoration: none;
}

.areaMenu .selected {
        background-color: #b0c0ef;
        color: #3040a5;
}

.contents h2, .contents h3, .contents h4, .contents h5, .figure p {
	background-color: white;
        color: #3040a5;
}

h1 {
	font-weight: normal;
	font-size: 175%;
}

#tagline {
	font-style: italic;
	font-size: 80%;
}

.areaMenu .item, .areaMenu .selected, .searchContainer {
	font-size: 80%;
}


#prev, #next {
	font-size: 90%;
}

.NavigationArrow {
	font-size: 80%;
}

#updated, address, #valid {
	font-size: 80%;
}

#sectionNavigation h2, #news h2 {
	font-size: 100%;
/*	border-color: #3040a5; */
}

#sectionNavigation .selected {
	font-weight: bold;
}


#news dl {
        font-size: 90%;
}

#news dt {
        font-style: italic;
}

.figure p {
        font-size: 90%;
}

/* ----- positioning ----- */
#headerLayout, .subheaderLayout, #mainLayout, #footerLayout, #subsecNavContainer {
	width: 100%;
}

#logoContainer, #titleContainer, #istContainer {
	vertical-align: middle;
}
#istContainer, .searchContainer, #validContainer, #next {
	text-align: right;
}

#contentsContainer, #sidebarContainer, #footerContainer, #validContainer {
	vertical-align: top;
}

#logoContainer {
	width: 80px;
}

#contentsContainer {
	width: 70ex;
}

#sidebarContainer {
	width: 30ex;
}

#updownContainer {
	width: 100%;
}

#down {
	text-align: right;
}


/* ----- spacing ----- */

h1 {
	margin-bottom: 0;
}

.areaMenu .separator {
	width: 1em;
}

.areaMenu .item, .areaMenu .selected {
	text-align: center;
	width: 14ex;
}

.contents {
        margin: 1em 0ex 1em 0ex;
}

.contents h2 {
        margin-top: 0;
}

.contents ul {
        margin-bottom: 1ex;
}

#news h2, #sectionNavigation h2 {
        margin-top: 0;
        margin-bottom: 1ex;
}

.figure {
        text-align: center;
}

#sidebarContainer {
	padding-top: 1ex;
}

#sectionNavigation, #news {
	padding: 1ex 1.5ex;
}


#news dt {
        text-align: right;
}

#news dd {
        margin-left: 0em;
}

div.equation {
        text-align: center;
}


ul.links li {
	margin-bottom: 1em;
}

/* ----- borders ----- */
img {
	border-style: none;
}

.areaMenu .item {
        border-width: 1px 2px 2px 1px;
        border-style: solid;
        border-color: gray black black gray;
}

.areaMenu .selected {
        border-width: 2px 1px 1px 2px;
        border-style: solid;
        border-color: black gray gray black;
}

#sectionNavigation, #news {
	border-color: black;
	border-style: solid;
	border-width: 1px;
}

#sectionNavigation h2, #news h2 {
	border-style: solid;
	border-width: 0px 0px 1px 0px;
}

.figure img {
        border-width: 1px 2px 2px 1px;
        border-style: solid;
        border-color: gray black black gray;
}

/* ----- miscellaneous ----- */

ul.seclist {
        list-style-type: none;
        margin: 0;
        padding-left: 0;
}

ul.subseclist {
        font-size: 85%;
        list-style-type: square;
}

ul.eqnlist {
        list-style-type: none;
}

/* ----- borders for layout debugging ----- */
/*
#headerLayout, #logoContainer, #titleContainer, #istContainer, .subHeaderLayout, .areaMenuContainer, .searchContainer, #mainLayout, #contentsContainer, #subsecNavContainer, #sidebarContainer, #footerLayout, #footerContainer, #validContainer {
	border-style: solid;
	border-color: silver;
	border-width: 1px;
}
*/
/* outline block elements */
/*
p, dl, noscript, blockquote, form, hr, table, fieldset, address, h1, h2, h3, h4, h5, h6, ul, ol, pre {
	border-style: dashed;
	border-color: green;
	border-width: 1px;
}

div {
	border-style: dashed;
	border-color: red;
	border-width: 1px;
}
*/