/*
 * color1: #333399
 *
 */

.aside {
	color: #333399;
	font-weight: bold;
	float: left;
	margin-left: 0px;
	width: 100px;
	font-size: 100%;
}
.head {
	background: #9090d0;
	color: white;
 	border: 1px solid #000; 
	font-family: Impact, sans-serif;
	font-size: 200%;
	height: 40px;
	padding: 4px;
}
.head a {
	color: white;
	text-decoration: none;
}
body {
	font-family: Georgia, "Trebuchet MS", "Verdana", sans-serif;
	background: #fffff8;
}
p {
	margin-top: 5px;
	margin-left: 0;
	margin-right: 25%;
	line-height: 135%;
}
h1 {
	font-family: Impact, sans-serif;
	font-weight: normal;
	font-size: 144%;
	clear: left;
}
.buttons {
	font-family: Verdana, sans-serif;
	font-weight: bold;
	font-size: 120%;
	padding-top: 3px;
	padding-bottom: 10px;
}
.button {
 	border: 1px solid #000; 
	padding-left: 6px;
	padding-right: 6px;
	background: #99cccc;
}
h2 {
	float: left;
	width: 25%;

	padding: 10px;
	margin-right: 10px;
	margin-bottom: 0px;
	margin-top: 5px;

 	border: 1px solid #000; 
	background: #eeeeff;

	color: #333399;
	font-weight: bold;
	font-family: Verdana, sans-serif;
	font-size: 120%;
}

.floatRight {
	float: right;
	width: 25%;
}
.note {
 	border: 1px solid #000; 
	margin-left: 10px;
	margin-right: 0px;
	margin-bottom: 5px;
	margin-top: 5px;
}
.noteContent {
	padding: 10px;
	background: #eeeeff;
	color: #000033;
	font-family: Verdana, sans-serif;
	font-size: 80%;
}
.noteHead {
	font-family: Verdana, sans-serif;
	font-weight: bold;
	font-size: 90%;
	padding: 5px 5px 5px 10px;
	background: #ccccee;
}
.start {
	font-weight: bold;
	font-variant: small-caps;
	 font-size: 90%;
}
.note pre {
	width: 25%;
	font-family: Courier, sans-serif;
	font-size: 110%;
}
.source {
	text-align: right;
}
.smallish {
	font-size: 90%;
}
.smallish b {
	font-size: 90%;
}