a:hover { color: red; text-decoration: underline }
a.id1 {
	text-decoration: none;
}
a.id1:hover { position: relative; top: 1px; left: 1px }
a.name1 {
	text-decoration: none;
	color: #000000;
}
div.id1 { line-height: 1.2em }
td.id1 { line-height: 1.2em }
.super { font-size: smaller; position: relative; top: -1ex }
.sub { font-size: smaller; position: relative; top: 0.5ex }
.hypo { font-size: smaller; vertical-align: sub }