body { 	padding-left: 3em; 
	width: 80%;
	font-family: Arial, sans-serif;
}

pre {	font-family: Arial, sans-serif;
}

h1, h2, h3 { 
	color: black;
}

h1 { 
	font-size: 150%; 
}
h2 { 
	font-size: 120%; 
}
h3 { 	
	font-size: 100%; 
}

.box { 	
	text-align: left; 
	border: solid thin gray;
	padding: 2%;
}

code {
	white-space: pre;
	display: block;
	background-color: #EEEEEE;
	border: solid thin gray;
}

samp {
	white-space: pre;
	display: block;
	background-color: #EEEEEE;
	border: solid thin gray;
}

table {
	border: solid thin gray;
}

a:link, a:visited {
    text-decoration: none;

}

a:hover, a:active {
    text-decoration: underline;
}


#banner {
	font-family: Arial, sans-serif;
     	sans-serif; 
     	font-size: 250%; 
	font-weight: bold;
     	text-align: center;
	padding: 1%;
}

#menu {
	background-color: blue;
	margin: 0;
	padding: 0;
	padding-top:3px;
	padding-bottom: 3px;
	line-height: 140%;
	vertical-align: bottom;
	font-size: 0.9em;
	font-weight: bold;
	list-style-type: none;
	text-align: center;
}

#menu { padding-left: 1em; padding-right: 1em}
#menu li {
  display: inline;
}

#menu li a {
  padding-right: 1.2em;
  padding-left: 1.2em;
  color: white;
}