html, body {
	height:100%;
	font-family:sans-serif;
	font-size:1em;
}
body {
	margin:0;
}
header {padding:2px;}
a {text-decoration:none;}
a:hover,a:focus {text-decoration: underline;}
.nav1 {
	background-color:firebrick;
	color:white;
	font-family:monospace;
	font-size:1.4em;
}
.nav1 a {
	color:white;
}
.nav2 {
	background-color:wheat;
	color:black;
	font-family:monospace;
	font-size:1em;
}
table {
	margin-top:1em;
}
tr td:first-child{text-align:right;width:2em;}
ul {list-style-type: none;}