body {
   margin: 0;
   padding: 0.5em;
   background-color: white;
   color: black;
   font: 93% arial, helvetica, sans-serif;
}
.chooser {
   float: left;
   clear: left;
   margin: 1em 1em 1em 0;
   padding: 0.5em;
   background-color: #ccc;
   color: black;
   font-size: small;
   border: outset 2px gray;
}
.chooser table {
   margin: 0;
   border-collapse: collapse;
   border: inset 1px gray;
   font-size: small;
}
.chooser td {
   padding: 0;
}
.chooser a {
   padding: 0 .2em;
   text-decoration: none;
}
h2 span {
   font-family: 'courier new', courier, monospace;
}
.wide a {
   display:block;
}
#source {
   float: left;
   overflow: auto;
   clear: both;
   background-color: white;
   margin: 7em 1em 1em;
   padding: 1em;
   border: inset 2px gray;
}
a { color: inherit; }
ul {
   list-style: none;
}