#header { background: lightgray; overflow: hidden; white-space: nowrap }
#header * { font-family: monospace; white-space: nowrap }
#header h1 { font-size: 350% }

.floatleft { float: left; margin: 10px }

.badge { width: 30px; opacity: 0.75 }
.badge:hover { opacity: 1 }

.nav { font-size: large; font-weight: bold; opacity: 0.75; display: inline; padding: 7px }
.nav:hover { opacity: 1 }
.nav a { color: white; text-decoration: none }
.nav a:hover { text-decoration: underline }

a h1 { text-decoration: underline }
a h1:hover { text-decoration: none }

td { padding: 5px; vertical-align: top }