/* CSS Stylesheet */

body {margin: 0; padding: 5em 1em 1em 9em;
	color: #000;
	background: #fff;
	font-size: 1em;
	}
  
div#header {position:absolute; left:0px; overflow: hidden;
	top: 0;
	z-index: 2;
	width: 100%;
	height: 5em;
	border-bottom: 1px solid #000;
	text-align: Center; 
	line-height: 1.3em;
	color: white; 
	background-color: #0000cc; 
	}
.headLarge {font-family:Cursive; font-size:1.5em; font-weight:bold; 
font-style:italic; text-align:Center;}

div#sidebar {position:absolute; left:0px; overflow: auto;
	top: 4.9em;
	bottom: 0;
	width: 8em;
	margin: 1px 0 0 0;
	border-right: 1px solid #000;
	color: #000;
	background-color: #0000cc; 
	}
.indexText {font-family:Cursive; font-weight:bold; font-style:italic; 
color:White; padding-left:6px; }

div#sidebar a {display: block; padding-left: 1.2em; }
div#sidebar a.level2 {display: block; padding-left: 2.5em; }
div#sidebar a, #linkIndex a:link {text-decoration:underline; color:White; }
div#sidebar a:visited {text-decoration:none}
div#sidebar a:hover {background-color:rgb(0, 150, 255);}

/* div#contentsBox {position:normal;
	width:90%;
	padding:40px; 
	height: 80%;
	overflow: auto;
	}
*/

h2 {margin-bottom: 0.5em;}
h3 {margin-bottom: 0.5em;}
h4 {margin-bottom: 0.5em;}
p {margin-top: 0em;}

@media screen {body>div#header,	body>div#sidebar
		{position: fixed;
		}
	/* Ugly fix for page anchors */
	ol>li#dog3 {
		margin-top: -2.1em;
		padding-top: 2.1em;
		}
	}