+<style>
+ div.resultsbar {
+ background-color: #e5ecf9;
+ border-top: solid;
+ border-width: thin;
+ border-color: #3366cc;
+ }
+ td.left { text-align: left }
+ td.right { text-align: right }
+ b.error { color: red }
+ b.query_kind { font-size: large }
+ body { font-family: sans-serif }
+</style>