> On this one, we follow the style of http://www.gnu.org. Looking > into the CSS there, I see that indeed they (and thus us) set a > different background color, alas that color is #fefefe which is > white for all practical matters. > > Okay? It addresses that issue, yes.