Glenn Morris wrote: > AFAIK this is due to a gnu.org CSS change, so I forwarded this matter > to webmasters@gnu. We'll see what they say. They fixed it. Reload a new copy of the page and its css (ie not from cache), and it won't be blue any more.