body {max-width: 50em; padding: 1em; margin: auto; font-family: sans-serif; }
nav {float: left; width: 15em; }
nav li {font-size: 1.2em; }
nav ul {list-style-type: none; }
#current {color: red; text-decoration: underline; }
abbr {text-decoration: underline; }
th {font-weight: bold; }
p {text-indent: 0; }
a:link, a:visited {color: #000060; }
nav a:link, nav a:visited {color: #006000; }
nav a {padding: 1em; display: block; }