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.