Thanks! Yep! On 2 April 2014 08:46, Glenn Morris wrote: > 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. >