BODY
{
}

span.hide
{
	display: none;
}

/***** Menu formatting *****/

div.menu
{
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	background-color: #D0E9E9;
	text-align: right;
	margin: 2ex 0 0 0;
	padding: 0 0 0 0;
}

div.menu a
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 1ex;
	color: black;
	background-color: #cccccc;
	text-decoration: none;
}

div.menu span.selected
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 1ex;
	color: black;
	background-color: #eeeeee;
	text-decoration: none;
}

div.menu a:hover
{
	background-color: #ccddff;
}

div.menu a.selected
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 1ex;
	color: black;
	background-color: #eeeeee;
	text-decoration: none;
}

div.menu a.selected:hover
{
	background-color: #ccddff;
}

div.submenu
{
	margin: 0 0 0 0;
	padding: 1ex 0 0 0;
	text-align: right;
}

div.submenu span.region
{
	padding: 2ex 2ex 0 0;
	border-right: 1px solid black;
	border-bottom: 1px solid black;
}

div.submenu a
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 0;
	color: black;
	background-color: #cccccc;
	text-decoration: none;
}

div.submenu span.selected
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 0;
	color: black;
	background-color: #eeeeee;
	text-decoration: none;
}

div.submenu a:hover
{
	background-color: #ccddff;
}

div.submenu a.selected
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 1ex;
	color: black;
	background-color: #eeeeee;
	text-decoration: none;
}

div.submenu a.selected:hover
{
	background-color: #eeeeee;
}

/***** General page format *****/

#content
{
	padding: 1em 1em 3em 1em;
	border-left: 1ex solid #ccddff;
}

#footnotes
{
	border-top: 1px solid black;
	text-align: center;
}

#footnotes span.revision
{
	padding-top: 1em;
	font-size: smaller;
}

/***** Heading and box format *****/

div.heading
{
	border-bottom: 1px solid black;
	margin: 1em 1em 0 0;
}

span.box
{
	border: 1px solid black;
	padding: 3px 1ex;
	margin: 0 0 0 1ex;
	background-color: #99ccff;
	text-decoration: none;
}

div.info
{
	border-left: 1px solid black;
	padding: 1ex 0 0 1ex;
	margin: 0 0 2em 1em;
	background-color: #f0f5ff;
}

h3.box
{
	border: 1px solid black;
	padding: 3px;
	margin: 3ex 0 1ex 0;
	background-color: #99ccff;
	text-decoration: none;
	font-size: 1em;
	width: 5em;
}

h2.box
{
	text-align: center;
	border-top: 2px solid black;
	padding: 3px;
	margin: 2em auto 1em auto;
	background-color: #eeeeee;
	text-decoration: none;
	font-size: 1.5em;
	width: 20em;
	position: center;
}