Hello,
please review the following patchfiles to gnatsweb.pl, CUSTOMIZE.vars, and
gnatsweb-site.pl, which together provide for CSS formatting of most gnatsweb
elements from a single CSS stylesheet.
I have modified gnatsweb.pl to place 'class' tags on most elements and text,
modified gnats-site.pl to link to a css page by default, and modified
CUSTOMIZE.vars to eliminate mention of the various colors and style
formatting which have been superseded by CSS formatting. Finally, I
included a new css sheet that contains all the new styles, which the user
may modify to make his or her own look (though the default look I provided
looks pretty good, I think).