body {
        	background-color: #DDE7FF;
		margin: 0;
                padding: 0;
                z-index: 1;
        }
	div#realnav {
                position: fixed;
                z-index: 3;
        	background-color: transparent;
        	background-color: #DDE7FF;
        }
	div#navspacer {
                position: relative;
		
                z-index: 2;
        }
	div.nav {
                margin: 0;
                padding: .1em 2em .2em 2em;
		padding: 0;
                bottom: 0;
		left: 0;
                right: 0;
		text-align: center;
        }
	table.nav {
                padding: 0;
		width: 100%;
        }
	h1.navtitle {
		font-size: 110%;
		color: #660000;
        	margin: 1px;
		text-align: center;
		font-weight: bold;
        }
	tr.navmenu {
		width: 100%;
		text-align: center;
        }
	tr.navmenu {
        	list-style: none;
		margin: 0;
        }
	tr.navmenu td {
        	margin: 3px;
                border-left: 2px solid #CC0000;
                border-top: 2px solid #CC0000;
                border-right: 2px solid #660000;
                border-bottom: 2px solid #660000;
                background-color: #AA0000;
                padding: .0em .5em;
                font-weight: bold;
		font-size: 75%;
		font-style: italic;
		line-height: 1em;
		padding: .1em .5em .2em .5em;
        }
	tr.navmenu a {
        	text-decoration: none;
		color: white;
        }
	tr.navmenu td.clickable:hover, tr.navmenu td.clickable:hover a {
		background-color: #BB0000;
		color: #FFCC66;
        }
	tr.navmenu a:hover {
		color: #FFCC66;
        }
	tr.navmenu form {
		margin: 0;
		padding: 0;
	}
	div#body {
                margin: 1em 1em 1em 2em;
		padding: 0 0 4em 0;
		clear: both;
                position: relative;
                top: 0;
        }
/*table, .nav, .navmenu { border: thin solid green; }*/


a.subsec {
	font-size: .83em;
	vertical-align: super;
	font-weight: bold;
	color: #8888FF;
	margin-left: -1.7em;
	/* A lot of browsers don't recognize "run-in",
	   so we do "block" first */
	display: block;
/* It turns out that IE 6.0 on Windows reverts to
   the default value when it sees this:
	display: run-in;*/
}