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

Previous Next

Full log

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

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’.

Previous Next

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