Subject: Re: bug#17154: CSS issue in docs

From: Glenn Morris <[email-masked]>
Date: Wed, 02 Apr 2014 02:46:59 -0400

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.