database queries once again, because I've received complaints that the
HTML output mode of the PR query scripts outputs huge, bloated tables
after the style changes I made to beautify HTML output.
This moves all the visual tweaks of the output in a CSS stylesheet and
add a $t_style option to the common cgi-style.pl script. If not set,
the style defaults to empty, but users of cgi-style.pl can set this to
a local CSS style like this:
$t_style="<style type=\"text/css\">...</style>";
or use it to refer from the header of the HTML output to an external
CSS stylesheet.
The HTML output size is substantially reduced now (at least 50% of the
size was caused by many repetitions of style="" attributes), but it's
still larger than the preformatted <pre> output because of all the
<tr> and <td> tags.
2152ca53a4