body {background-color:rgb(210,220,240); color:rgb(35,70,40); font-family:'Trebuchet MS',Verdana,Helvetica,sans-serif; margin:0; padding:0;}
h1, h2, b, strong {color:black;}
table#menu td {padding-left:1em; padding-right:1em; border-top: solid 1ex white; border-bottom: solid 1px black; background-color:rgb(210,220,240); width:auto;}
table#menu .gap {padding:0; background-color:white;}
table#menu a {text-decoration:none;}
div[ip] {background-color:white; margin-bottom:1ex; padding:1ex; white-space:pre; font-size:small;}
pre[editable="code"] {margin: 0pt; padding: 1ex; background-color: rgb(255, 255, 204); font-size: 75%;}