body {
	background: white;
	color: black;
	padding: 0em 12em 0em 3em;
	margin: 0
}
H1 {
	font-size: 150%;
	margin-left: -1.33em
}
H2 {
	font-size: 125%;
	font-weight: bold;
	margin-left: -.8em
}
H3 {
	font-size: 100%;
	font-weight: bold;
	margin-left: -.5em }
H4 {
	font-size: 100%;
	margin-left: 0em
}
H1, H2, H3, H4, H5, H6 {
	font-family: sans-serif;
	color: blue
}
html {
	margin: 0
}
code {
	font-family: sans-serif
}

a:link {
	color: blue;
        text-decoration: none;
}
a:visited {
	color: gray;
	text-decoration: none;
}
a:active {
	color: black;
	text-decoration: none;
}
a:hover {
        text-decoration: underline
}

div.menu {
	margin: 0;
	font-size: 80%;
	font-weight: bold;
	line-height: 1.1;
	text-align: center;
	position: absolute;
	top: 2em;
	left: auto;
	width: 8.5em;
	right: 2em;
}
div.menu p, span.menuitem {
	display: block;
	margin: 0;
	padding: 0.3em 0.4em;
	font-family: Arial, sans-serif;
	background: #ddd;
	border: thin outset #000;
	color: #000;
	text-indent: 0em;
}
IMG.menuimg {
	width: 50%;
	height: auto;
	border-width: 0
}

div.menu a, div.menu em {
	display: block;
	margin: 0 0.5em
}
div.menu a, div.menu em {
	border-top: 2px groove #000
}
div.menu a:first-child {
	border-top: none
}
div.menu em {
	color: #fff
}

div.menu a:link {
	text-decoration: none;
	color: blue
}
div.menu a:visited {
	text-decoration: none;
	color: gray
}
div.menu a:hover {
	background: blue;
	color: white
}

div.menu span.menugap + span.menuitem {
	display: block;
	margin-top: 1em
}

span.hide {
	display: none
}

body>div.menu {
	position: fixed
}

address {
	font-size: 90%;
	font-style: normal
}