.80-150 {  font-size: 80%; line-height: 150%}
a {  text-decoration: none}
.top {
	font-size: 8pt;
	line-height: 12pt;
}
h1 {
	font-size: 10px;
	line-height: 1em;
	padding: 3px;
	margin: 3px;
}