.cursor {
	text-decoration:	blink;
}
h1.title {
	font-weight:	400;
	font-size-adjust:	1.4;
	padding:		.5em 0 0 0;
	margin:			-1px 0 -2% 0;
	text-decoration:	underline;
}

h3.title {
	font-weight:	600;
	padding:		0 0 0 0;
	margin:			0 9% 0 20%;
	border-width:		0;
}

a:link {
	color:			#00EE00;
	text-decoration:	none;
	font-style:		italic;
	font-weight:		800;
}
a:visited {
	color:			#00CC00;
	text-decoration:	none;
	font-style:		italic;
	font-weight:		800;
}
a:hover {
	color:			#00FF00;
	text-decoration:	underline;
}
a:active {
	color:			#00FF00;
	text-decoration:	none;
} 

body {
	margin:			0 0 0 0;
	padding:		0 0 0 0;
	background-color:	black;
	color:			#22AA22;
	font-family:		"New Century Schoolbook",Century,seriff;
}

#backfill {
	z-index:	-10;
	position:	fixed;
	top:		0;
	left:		0;
}

#backfill pre {
	color:		#001800;
}

p {
	text-indent: 5%;
}

#pageheader {
	/* Top margin used to be -4%, but internet explorer
	 * likes to float the header above the page border
	 * if we do that. */
	margin:		0 10% 2% 2%;
	width:		auto;
/*	clear:		left; */
	float:		right;
	border-width:	thin;
	border-style:	solid;
}

#mainbody {
	margin:		10% 10% 0 10%;
}

#foot {
	position:		relative;
	font-style:		italic;
	font-size-adjust:	0.48;
	max-width:		80%;
	margin:			0 0 10% 5%;
}

/* Menu stuff from here... */

ul.menu, ul.menu li {	/* Pretty much everything */
	list-style-type:	none;
	text-decoration:	none;
	float:			left;
	padding-left:		0;
	margin-left:		.5em;
	padding-bottom:		0;
	padding-right:		0;
	margin-bottom:		1px;
	margin-right:		.5em;
	position:		relative;
}

/* Only the list items that appear in submenus */
ul.menu ul li {
	width:90%;
	border-top:	none;
	border-left:	none;
	border-bottom:	1px solid green;
	border-right:	1px solid green;
}
ul.menu ul li:hover {
	border-bottom:	none;
	border-right:	none;
	border-top:	1px solid green;
	border-left:	1px solid green;
}

/* The following is completely unneeded in opera and firefox,
 * 	but internet exploder bases the size of the containing
 * 	box for the submenu on the size of the menu option that
 * 	spawns it, so unless this is set more or less correctly,
 * 	you end up with internet exploder making the menu options
 * 	a number of various different sizes. */
ul.menu ul {
	width:160%;
	overflow:visible;
}

/* This should be position:relative with no coordinates required,
 * 	but that breaks opera.  With position:absolute and a right:,
 * 	it is at least able to use the menus reasonably well, even
 * 	if they don't appear where they should. */
#top { /* "top" is the ID of the toplevel list */ 
	position:	absolute;
	margin:		0 0 0 0;
	padding:	0 0 0 0;
	float:		right;
	right:		10%;
	border-bottom:	1px solid green;
	border-right:	1px solid green;
}

#top ul { /* This gets us next-level sub-lists */
	position:		absolute;
	margin:			0 0 0 0;
	padding:		0 0 0 0;
	background-color:	black;
	/* Firefox (and probably opera) will be just fine
	 * without top and right values for this, but internet
	 * exploder will do it wrong, so we hard-wire them here,
	 * hoping that the text size will usually work out so
	 * that they're rendered right anyway: */
	top:			1en;
	left:			0;

}

#top ul ul { /* ... and so on */
	position:		absolute;
	left:			100%;
	top:			0;
}

ul.menu ul { /* any sub-menu */
	display:		none;
}

/* Modify the properties of a subordinate UL, when we mouse over
 * 	an LI containing it. */

ul.menu li:hover > ul {
	display:		block;
}