BODY {
	margin: 0; padding: 0;
	font-family: Georgia, "Times New Roman", serif;
	font-size: 14pt;
/*	background-image: url(monkey.png);
	background-repeat: no-repeat; background-attachment: scroll; background-position: 0 6ex;*/
}

DIV.location {
	height: 6ex;
	margin: 0 0 0 auto;
	padding: .25em;
	padding-right: 11em;
	text-align: center;
	background-color: rgb(32, 32, 128);
	color: rgb(160, 160, 255);
}

DIV.location > H2, DIV.location > H5 {
	margin-top: 0; margin-bottom: 0;
}

DIV.navigation {
	position: fixed; right: .5em; top: 4ex;			/*Why doesn't IE support this?  It's CSS1!
										  Can also fix size with bottom: <length>
										  What about content larger than vertical spacing?
										*/
	float: right;
	padding: 0;
	width: 10.5em;
	border: 1px dotted rgb(65, 134, 219);
	background-color: rgb(168, 207, 255);
	color: black;
	font-size: 12pt;
}


/* Clean up this navigation stuff */
DIV.navigation > UL {
	margin: 0; margin-left: 1em; padding: .25em;
}

DIV.navigation > UL > LI{
	margin-bottom: 1em;
}

DIV.addy {
	margin-top: 1em;
	padding: 1px;
	background-color: rgb(176, 215, 255);
	font-size: 8pt;
	text-align: center;
}

DIV.navigation LI > UL {
	margin: 0; margin-left: 1em; padding: 0;
	font-size: 10pt;
}

LI {
	margin: 3px;	/*Not sure if this is quite right - maybe just top and bottom?*/
}

DIV.content, DIV.remark { /*Border spec only, as they should be the same*/
	border: 1px dotted rgb(65, 134, 219);
}

DIV.content {
	margin-right: 11.5em; margin-left: 2em; margin-top: 2em;
	padding: .5em;
	text-align: justify;
	margin-bottom: 2em;
}

DIV.content + P {
	margin-top: -2.5em;
	text-indent: 3em;
	font-size: 10pt; color: gray
}

HR.hide {			/*When formatted with CSS, we don't need these HRs*/
	display: none;
}

HR.halfline {
	width: 50%;
	margin-top: 1.5em; margin-bottom: 1.5em;
}

DIV.remark {
	float: left;
	width: 7em;
	padding: .5em; margin-top: -1.5em; margin-right: 1em; margin-bottom: .5em; margin-left: -2em;
	font-size: 16pt;
	text-align: center;
}

DIV.corner {
	padding: .5em; margin-top: -2em; margin-left: -2em; margin-right: 1em; margin-bottom: 1em;
	font-size: 16pt; text-align: center;
	width: 7em; float: left;
	border: 1px dotted rgb(65, 134, 219);			/*Same as DIV.content border*/
	background-color: rgb(240, 240, 255);			/*Same as BODY background*/
}

DIV.photoleft {
	float: left;
	padding: .5em; margin-right: 1em; margin-top: .5em; margin-bottom: .5em;
	font-size: 10pt;
	text-align: center;
}

DIV.photoright {
	float: right;
	padding: .5em; margin-left: 1em; margin-top: .5em; margin-bottom: .5em;
	font-size: 10pt;
	text-align: center;
}

DIV.code {
	width: 80%; margin: .5em auto;
	padding: 1em;
	background-color: #DDD;
	font-family: "Courier New", Courier, sans-serif;
	font-size: 80%;
}

DIV.note {
	margin: .5em auto;
	padding: 1em;
	background-color: #FF4;
	font-size: 80%;
	-moz-border-radius: 20px;
}
DIV.note:before {
	content: "Note: ";
	font-weight: bold;
	font-size: 150%;
}

DIV.warn {
	margin: .5em auto;
	padding: 1em;
	background-color: #ff2020;
	font-size: 80%;
	-moz-border-radius: 20px;
}

DIV.warn:first-line {
	font-weight: bold;
	font-size: 120%;
}

/* Tables with a decent number font, borders, sane padding */
TABLE {
	font-family: "Courier New", Courier, sans-serif;
	font-size: 80%;
	padding: 0;
	border-spacing: 0;
	border-collapse: collapse;
}

TABLE, TH, TD {
	border: 1px solid gray;
	margin: 0;
}

TH, TD {
	padding: 0 .5em;
}

P {
	text-indent: 2em;
	margin: 1em 0;
}

.title {
	text-decoration: underline;
}

/* No bullets for news items */
UL.news LI {list-style-type: none; margin-left: 0; margin-bottom: .5em}


/* Random formatting */
.strikeout	{text-decoration: line-through;}