body{
 font-size:80%;
}

h1,h2{
 background:#888;
 text-align:center;
}

dl#menu,
#outline
{
 display:none;
}

dt{
 margin-top:1em;
}

table{
 width:100%;
}
td,th{
 border-right:1px dotted #000;
 border-bottom:1px dotted #000;
}