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

From: Glenn Morris <[email-masked]>
Date: Mon, 31 Mar 2014 18:29:50 -0400

AFAIK this is due to a gnu.org CSS change, so I forwarded this matter
 to webmasters@gnu. We'll see what they say.