body {
	background-color: #ffffff;
	color: #000000;
	margin-left: 2em;
	margin-top: 2em;
	margin-right: 2em;
	margin-bottom: 2em;
}

a:link {color: #0000ff; text-decoration: underline;}
a:visited {color: #0000ff; text-decoration: underline;}
a:hover {color: #009900; text-decoration: underline;}
a:active {color: #999900; text-decoration: underline;}

h1 {font-size: 200%;}
h2 {font-size: 150%;}

.green {color: #009900;}
.red {color: #990000;}
.blue {color: #000099;}

.mid {text-align: center;}
.small {font-size: 67%;}

.indent {margin-left: 2em;}

dt {font-weight: bold;}

pre {
	background-color: #f9f9f9;
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
	border-style: dashed;
	border-color: #2f6fab;
	border-width: 1px;
}

.notop {margin-top: 0;}
.nobottom {margin-bottom: 0;}

.mt2 {margin-top: 2em;}

div.box {
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
	border-style: dashed;
	border-color: #000099;
	border-width: 1px;
}

div.quote {
	background-color: #ffffcc;
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
	border-style: dashed;
	border-color: #ff0000;
	border-width: 1px;
}

div.quote2 {
	background-color: #eeeeff;
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
	border-style: dashed;
	border-color: #0000ff;
	border-width: 1px;
}

div.quote3 {
	background-color: #f9f9f9;
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
	border-style: dashed;
	border-color: #2f6fab;
	border-width: 1px;
}