bug-gnulib@gnu.org mirror (unofficial)
 help / color / mirror / Atom feed
From: Paul Eggert <eggert@cs.ucla.edu>
To: Steve Ward <planet36@gmail.com>
Cc: Gavin Smith <gavinsmith0123@gmail.com>,
	Gnulib bugs <bug-gnulib@gnu.org>, Texinfo <bug-texinfo@gnu.org>,
	50116-done@debbugs.gnu.org
Subject: Re: bug#50116: Text on GNU grep webpage far too big
Date: Fri, 20 Aug 2021 12:37:13 -0700	[thread overview]
Message-ID: <4ab462bd-02af-f724-fb61-2fc1961f9eb2@cs.ucla.edu> (raw)
In-Reply-To: <CAKPWYQ3hfjMpyTZEdMUsCZqTyJOP0ERbF8cZz1pxvyYKO-GqXg@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 167 bytes --]

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.

[-- Attachment #2: gnulib-manual-css.diff --]
[-- Type: text/x-patch, Size: 969 bytes --]

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 ----- */

      reply	other threads:[~2021-08-20 19:37 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20210819061114.GA12892@mintstar>
     [not found] ` <CA+XvV5Gy+avV52MYO4VQQ1srqqTdo2DcUpaUCUAV37xXUJT9Sg@mail.gmail.com>
2021-08-20 17:10   ` Fwd: bug#50116: Text on GNU grep webpage far too big Gavin Smith
2021-08-20 19:37     ` Paul Eggert [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://lists.gnu.org/mailman/listinfo/bug-gnulib

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4ab462bd-02af-f724-fb61-2fc1961f9eb2@cs.ucla.edu \
    --to=eggert@cs.ucla.edu \
    --cc=50116-done@debbugs.gnu.org \
    --cc=bug-gnulib@gnu.org \
    --cc=bug-texinfo@gnu.org \
    --cc=gavinsmith0123@gmail.com \
    --cc=planet36@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).