div.main {
	position: absolute;
	padding-left: 2em;
	padding-right: 2em;
	margin-top: 1em;
	padding-bottom: 1em;
}

div.main a:hover {
	color: yellow;
}


div.menu {
	font-size: small;
}


div.menu table {
	background-color: lightslategray;
	border-top-color: lightslategray;
	border-left-color: lightslategray;
}

div.menu td {
	border-color: lightsteelblue;
}

div.menu a {
	display: block;
	font-family: sans-serif;	
	text-decoration: none;
	color: lavender;
}

div.menu a:hover {
	color: yellow;
}

div.non-link {
	padding-bottom: 0.2em;
}

p.bottom {
	margin-top: 2.5em;
	padding-bottom: 0.5em;
	padding-top: 0.5em;
	border-top: solid silver 1px;
}

h1 {
	display: block;
	font-family: serif;
	margin: 0;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	color: lavender;
	background-color: lightslategray;
}

h2 {
	font-family: serif;
	font-size: medium;
	margin-bottom: 0;
	margin-top: -0.5em;
	padding-bottom: 1em;
	color: black;
	background-color: lightslategray;
}

h3 {
	font-family: sans-serif;
	margin-bottom: -0em;
	font-weight: bold;
}

p {
	margin-top: 1em;
	margin-bottom: 1.5em;
}


ul {
	margin: 0;
	padding-left: 1em;
	padding-bottom: 1em;
}

a {
  color: mediumblue;
  hover: color: yellow;
}

body { 	
	font-family: serif;
	font-size: 12pt;
	background-color: lightsteelblue;
	clip:   rect(   );
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px
 }