#15 Styling changes

[figaro_]

Suggest to replace the styling as follows:

<style type="text/css">
body{font-family:Arial,Helvetica,sans-serif;font-size:80%;padding:0px;margin:0px}
th,td{padding:0px;margin:0px}
div{padding:3px}
pre{font-size:125%}
.inv{background-color:#006699;color:#FFFFFF}
.inv a{color:#FFFFFF}
table.res th, table.res td{padding:2px}
table.res tr{vertical-align:top}
tr.e{background-color:#CCCCCC}
tr.o{background-color:#EEEEEE}
tr.h{background-color:#9999CC}
tr.s{background-color:#FFFF99}
.err{color:#FF3333;font-weight:bold;text-align:center}
.frm{width:400px;border:1px solid #999999;background-color:#eeeeee;text-align:left}
.dot{border-bottom:1px dotted #000}
</style>

with the following:

<style type="text/css">
body{font-family:Arial,sans-serif;font-size:80%;padding:0;margin:0}
th,td{padding:0px;margin:0}
div{padding:3px; margin-bottom:2px}
pre{font-size:125%}
.inv{background-color:#069;color:#FFF}
.inv a{color:#FFF}
table.res th, table.res td{padding:1px}
table.res tr{vertical-align:top}
tr.e{background-color:#CCC}
tr.o{background-color:#EEE}
tr.h{background-color:#99C}
tr.s{background-color:#FF9}
.err{color:#F33;font-weight:bold;text-align:center}
.frm{width:400px;border:1px solid #999;background-color:#eee;text-align:left}
.dot{border-bottom:1px dotted #000}
</style>

[Oleg Savchuk]

applied in 1.7.111025 (partially)