BODY {
	font-famiry:			sans-serif;
	background-color:		#D9D9D9;
	color:				black;
}

A:link {
	color:				blue;
}

A:visited {
	color:				purple;
}

A:hover {
	color:				orange;
}

A:active {
	color:				orangered;
}

P.jump-other {
	text-align:			center;
	font-size:			small;
	font-weight:			bold;
}

P.jump-top {
	text-align:			right;
	font-size:			small;
	font-weight:			bold;
}

UL.top {
	font-size:			1.5em;
}

UL.index {
	margin:				20pt auto;
	width:				70%;
	padding:			10pt 40pt;
	list-style-type:		square;
	background-color:		beige;
}

CODE {
	font-size:			1.0em;
}