Re: bug#50116: Text on GNU grep webpage far too big

2021-08-20 Thread Paul Eggert
Thanks for reporting the problem. I installed the attached patch to the Gnulib web page's manual.css. It fixed things for me after I forced my browser to reload. Index: manual.css === RCS file: /web/gnulib/gnulib/manual.css,v

Fwd: bug#50116: Text on GNU grep webpage far too big

2021-08-20 Thread Gavin Smith
just the section heading). -- Forwarded message - From: Steve Ward Date: Thu, Aug 19, 2021 at 12:56 PM Subject: Re: bug#50116: Text on GNU grep webpage far too big To: Gavin Smith Cc: <50...@debbugs.gnu.org> On Thu, Aug 19, 2021 at 2:12 AM Gavin Smith wrote: >