/* Main set up */

/* MENU */

div#menu {
	position:absolute;
	top:0px;
	left:0px;
	width: 100px;
	color: white;
	background-color: #1111aa;
	border-top: 1px solid black;
	border-right: 1px solid black;
	margin:0px;
	padding:0px;
}


body>div#menu {position: fixed;}
/* This fixes the menu in place in browsers which understand the child selector (IE6 doesn't!) */ 

ul.menulist {
	list-style-type:none;
	padding:0em;
	margin:0px;
	background-color: #1111aa;
}

ul.menulist li {
	padding:0px;
	margin:0px;
	border-bottom: 1px solid gray;
	background-color: #aaaacc;
}

ul.menulist li a {
	display: block;
	color: white;
/*	background-color: blue;*/
	font-weight: bold;
	padding:5px;
	margin: 0px;
	text-decoration: none;

}

div#menu a:hover {
	display: block; 
	color: white;
	background-color: #111188;
}



/* GENERAL STYLES */

body {
	margin: 0; 
	padding: 0;
	color: black;
	background-color: #eeeeff; 
	font-family: "Palatino Linotype", Palatino, Arial, Helvetica, sans-serif;

}

h1 {	margin: 0 0 0 80px;
	padding: 0.5em 100px 0.5em 1.5em;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	color: white;
	background-color: #aaaacc;
	text-align:center;

}

h2, h3, h4, h5, h6 {
	margin: 0 0 0 80px;
	padding: 0.5em 100px 0.5em 1.5em;
	color:white;
	background-color: #aaaacc; 
	text-align:center;
}

p, .align, .pic, ul, pre {
	margin: 0.5em 100px 1em 80px;
	padding: 0.5em 0 0 2em;
	font-size: larger;
	color: #000044;
	
}



table	{
	padding: 5px 5px 5px 5px;
	text-align:center;
	font-size:small;
	font-family: Arial, Helvetica, sans-serif;
	}

a { color: #aa44FF;}
/* SPECIFIC STYLES */

div.centered {text-align: center;}  
div.centered table {margin: 0 auto; text-align: center; margin-left:110px; margin-right:110px;} 

.navigation {
	margin-top:1em;
	border-top:1px dashed #0099ff;
	font-size:smaller;
	line-height:150%;
	text-align: center;
}


.box {float:right; 
border: 1px dashed black;
margin:1em;
}

.footnote	{
font-size: smaller;
font-style: italic;
}