div.res {margin-bottom:3em;height:9em;width:100%;overflow:auto}
div.output {overflow:auto}
div.scrolled {height:9em;width:150%;overflow:scroll}
div.before {width:150%;border-style:solid;border-color:gray;}
div.before img {float:right;position:relative;top:-20px}
div.after  img {float:right;position:relative;top:-20px}
div.after {width:150%;border-style:solid;border-color:gray}
pre.mysql {background-color:black;color:white;padding:0.2cm;width:80ex}
div.before pre.mysql {background-color:white;color:black;padding:0cm}
div.before pre.mysql span.mysqlprompt {display:none}
div.after pre.mysql {background-color:white;color:black;padding:0cm}
div.after pre.mysql span.mysqlprompt {display:none}
div.err {background-color:black;color:white;padding:0.2cm 0.2cm 0.0cm 0.2cm;
        font-family:monospace}
div.errno {background-color:black;color:white;padding:0.1cm 0.2cm 0.2cm 0.2cm;
        font-family:monospace}
span.mysqlprompt {color:rgb(192,192,192)}
table.zoo th {text-align:center;color:gray}
table.zoo td {white-space: nowrap;}
input.submit {margin:10px;}