bug#50116: closed (Text on GNU grep webpage far too big)

[GNU bug Tracking System]

Your message dated Fri, 20 Aug 2021 12:37:13 -0700
with message-id <4ab462bd-02af-f724-fb61-2fc1961f9eb2@cs.ucla.edu>
and subject line Re: bug#50116: Text on GNU grep webpage far too big
has caused the debbugs.gnu.org bug report #50116,
regarding Text on GNU grep webpage far too big
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
50116: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50116
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Text on GNU grep webpage far too big
>
>
>
>
> Date: 
>
> Thu, 19 Aug 2021 07:11:14 +0100
>
>
>
>
> User-agent: 
>
> Mutt/1.9.4 (2018-02-28)
>
>
>
>
> https://www.gnu.org/software/grep/manual/grep.html
>
> This documentation is not usable because the text is far too big.  I assume
> it is being enlarged with a CSS file.
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: bug#50116: Text on GNU grep webpage far too big Date: Fri, 20 Aug 2021 12:37:13 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 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.

gnulib-manual-css.diff
Description: Text Data

--- End Message ---