body {font-family:sans-serif; background-color:#dedede}
pre {font-family:sans-serif; font-size: small; line-height:1.3em}
a:link { text-decoration:none; color:#000000; }
a:visited { text-decoration:none; color:#000000; }
a:hover { text-decoration:none; color:#ffffff; }
a:active { text-decoration:none; color:#000000; }
a:focus { text-decoration:none; color:#000000; }
table.nav {background-color:#e89add}
td.menuitem a {}
td.selectedmenuitem a {color:white;}
div.list {margin-left:1em;}
img {border-color:#9e9e9e;}