* {font-family: "lucida grande", sans-serif;}
div {margin-top: .2em}
#validator { float: right; margin-left: 1em; margin-right: 0px}
.footer {font-size: small;}
a:link.int    { color: #00BB00 }
a:visited.int { color: #006600 }