GNU bug report logs - #50116
Text on GNU grep webpage far too big

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 50116 in the body.
You can then email your comments to 50116 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Gavin Smith <gavinsmith0123 <at> gmail.com>
To: bug-grep <at> gnu.org
Subject: Text on GNU grep webpage far too big
Date: Thu, 19 Aug 2021 07:11:14 +0100

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.

Message #8 received at 50116 <at> debbugs.gnu.org (full text, mbox):

From: Antonio Diaz Diaz <antonio <at> gnu.org>
To: Gavin Smith <gavinsmith0123 <at> gmail.com>
Cc: 50116 <at> debbugs.gnu.org
Subject: Re: bug#50116: Text on GNU grep webpage far too big
Date: Thu, 19 Aug 2021 13:39:42 +0200

Gavin Smith wrote:
> 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.

Additionally, it inserts a pilcrow after each option, which may be confusing 
if one copies the text in an email, for example:

-e patterns ¶
--regexp=patterns

Message #11 received at 50116 <at> debbugs.gnu.org (full text, mbox):

From: Steve Ward <planet36 <at> gmail.com>
To: Gavin Smith <gavinsmith0123 <at> gmail.com>
Cc: 50116 <at> debbugs.gnu.org
Subject: Re: bug#50116: Text on GNU grep webpage far too big
Date: Thu, 19 Aug 2021 07:56:17 -0400

On Thu, Aug 19, 2021 at 2:12 AM Gavin Smith <gavinsmith0123 <at> gmail.com> wrote:
>
> 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.
>
>
>

In the manual.css file [0], commenting out the font-size property in
these blocks makes the page look normal to me.

.settitle, .top, .chapter
/*font-size: 250%;*/

.section, .subsection, .subsubsection
/*font-size: 150%; */


[0] <https://www.gnu.org/software/gnulib/manual.css>

Message #14 received at 50116 <at> debbugs.gnu.org (full text, mbox):

From: Gavin Smith <gavinsmith0123 <at> gmail.com>
To: Gnulib bugs <bug-gnulib <at> gnu.org>
Cc: Steve Ward <planet36 <at> gmail.com>, Texinfo <bug-texinfo <at> gnu.org>,
 50116 <at> debbugs.gnu.org
Subject: Fwd: bug#50116: Text on GNU grep webpage far too big
Date: Fri, 20 Aug 2021 18:10:41 +0100

Does anybody have access to
https://www.gnu.org/software/gnulib/manual.css and could the CSS lines
mentioned below removed? These CSS lines would be a problem with any
Texinfo manual built with Texinfo 6.8 due to changes in the structure
of the HTML (enclosing an entire section in <div class="section">
rather than just the section heading).

---------- Forwarded message ---------
From: Steve Ward <planet36 <at> gmail.com>
Date: Thu, Aug 19, 2021 at 12:56 PM
Subject: Re: bug#50116: Text on GNU grep webpage far too big
To: Gavin Smith <gavinsmith0123 <at> gmail.com>
Cc: <50116 <at> debbugs.gnu.org>


On Thu, Aug 19, 2021 at 2:12 AM Gavin Smith <gavinsmith0123 <at> gmail.com> wrote:
>
> 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.
>
>
>

In the manual.css file [0], commenting out the font-size property in
these blocks makes the page look normal to me.

.settitle, .top, .chapter
/*font-size: 250%;*/

.section, .subsection, .subsubsection
/*font-size: 150%; */


[0] <https://www.gnu.org/software/gnulib/manual.css>

Message #19 received at 50116-done <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Steve Ward <planet36 <at> gmail.com>
Cc: Gavin Smith <gavinsmith0123 <at> gmail.com>, Gnulib bugs <bug-gnulib <at> gnu.org>,
 Texinfo <bug-texinfo <at> gnu.org>, 50116-done <at> debbugs.gnu.org
Subject: Re: bug#50116: Text on GNU grep webpage far too big
Date: Fri, 20 Aug 2021 12:37:13 -0700

[Message part 1 (text/plain, inline)]

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 (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.