body {font-family:sans-serif; font-size:16px}
li {margin:1ex 0}
a {color:#000040}
a:hover {color:#ff0000}
h1 {font-size:20px}
hr.footer {margin:2em 0 1ex 0}