body{font-family:Helvetica,Arial,sans-serif;margin-left:10em;margin-right:2em;padding:1em;background-color:#cccccc;color:black}
pre,p code,dl code{background-color:#aaaaaa;color:black}
pre{padding:0.5em;border:1px solid #888888;color:black}

.menu{position:fixed;top:2em;left:1em;list-style-type:none;padding:0.5em;background-color:#aaaaaa;color:black;border:1px solid #888888;width:8em}
.menu a{text-decoration:none}