GNU bug report logs - #69432
[PATCH 0/3] Change fonts of the on-line manual

Previous Next

Package: guix-patches;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Tue, 27 Feb 2024 17:16:03 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#69432: closed ([PATCH 0/3] Change fonts of the on-line manual)
Date: Sat, 02 Mar 2024 15:03:01 +0000
[Message part 1 (text/plain, inline)]
Your message dated Sat, 02 Mar 2024 16:01:43 +0100
with message-id <87h6hoekyw.fsf <at> gnu.org>
and subject line Re: [bug#69432] [PATCH guix-artwork v2 3/3] website: Use Linux Libertine for the body of the manual.
has caused the debbugs.gnu.org bug report #69432,
regarding [PATCH 0/3] Change fonts of the on-line manual
to be marked as done.

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


-- 
69432: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69432
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: guix-patches <at> gnu.org
Cc: Ludovic Courtès <ludo <at> gnu.org>,
 pelzflorian <at> pelzflorian.de
Subject: [PATCH 0/3] Change fonts of the on-line manual
Date: Tue, 27 Feb 2024 17:51:14 +0100
Hello!

This is an attempt to improve the rendering of the on-line manual.

Unfortunately it's quite hard to test locally because the manual is
built separately (I tested using the CSS editor in IceCat and it
worked because it could find the fonts locally, not relying on the
@font-face directives).

Thoughts?

Ludo'.

Ludovic Courtès (3):
  website: Adjust style of web site builder.
  website: Use Fira Sans for section headings only.
  website: Use Linux Libertine for the body of the manual.

 website/.guix.scm                  | 24 +++++++++++++-----
 website/static/base/css/code.css   |  1 -
 website/static/base/css/manual.css | 40 ++++++++++++++++++++++++++++++
 3 files changed, 58 insertions(+), 7 deletions(-)


base-commit: b7ccc5cb1b4ec936c00dbd98376c5d2677e60a63
-- 
2.41.0



[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: "pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de>
Cc: 69432-done <at> debbugs.gnu.org
Subject: Re: [bug#69432] [PATCH guix-artwork v2 3/3] website: Use Linux
 Libertine for the body of the manual.
Date: Sat, 02 Mar 2024 16:01:43 +0100
Hello,

"pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de> skribis:

> Ludovic Courtès <ludo <at> gnu.org> writes:
>> * website/static/base/css/manual.css: New @font-face entries for Linux
>> Libertine.  Use it for section bodies.
>
> Okay.  I cannot decide with regard to which font to use, but with this
> one, the result looks good.
>
>> Add rule for ‘samp’, etc.
>
> Appropriate.
>
> All patches LGTM. :)

Pushed as b9a55b9091ec739f10802c5057faf85b0c5695f3, thanks!

Ludo’.


This bug report was last modified 1 year and 82 days ago.

Previous Next


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