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

[pelzflorian (Florian Pelz)]

Hi Ludo.  Thank you for improving the fonts.  Not having received the
patches yet, I can at least say that I tested the previous font issue
<https://issues.guix.gnu.org/69123> by copying the results of

cd ~/src/guix-artwork/website
guix build -f .guix.scm
cd ~/src/guix
guix build -f doc/build.scm

both to my /srv/http directory served by

         (service httpd-service-type
                  (httpd-configuration
                   (config
                    (httpd-config-file
                     (server-name "localhost")
                     (document-root "/srv/http/")
                     (extra-config (list "\
Options +Indexes"))))))

Regards,
Florian