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

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 20 Aug 2021 19:38:01 +0000

Your bug report

#50116: Text on GNU grep webpage far too big

which was filed against the grep package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
50116: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50116
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#50116: Text on GNU grep webpage far too big
From: Paul Eggert <[email-masked]>
To: Steve Ward <[email-masked]>
Cc: Gavin Smith <[email-masked]>, Gnulib bugs <[email-masked]>, Texinfo <[email-masked]>, [email-masked]
Date: Fri, 20 Aug 2021 12:37:13 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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
retrieving revision 1.9
retrieving revision 1.10
diff -p -u -r1.9 -r1.10
--- manual.css	15 Dec 2020 14:05:27 -0000	1.9
+++ manual.css	20 Aug 2021 19:28:37 -0000	1.10
@@ -41,15 +41,10 @@ div.lisp > pre.lisp {
     color: #433;
 }
 
-/* Make the title and node titles more visible.  Optionally use Fira Sans,
-   if available, which is more pleasant and more compact than Helvetica.  */
-.settitle, .top, .chapter {
+/* In title and node titles, use Fira Sans if available as it is more
+   pleasant and more compact than Helvetica.  */
+.settitle, .top, .chapter, .section, .subsection, .subsubsection {
     font-family: Fira Sans, sans;
-    font-size: 250%;
-}
-.section, .subsection, .subsubsection { 
-    font-family: Fira Sans, sans;
-    font-size: 150%; 
 }
 
 /* ----- coreutils specific styling ----- */

Subject: Text on GNU grep webpage far too big
From: Gavin Smith <[email-masked]>
To: [email-masked]
Date: Thu, 19 Aug 2021 07:11:14 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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.