branch master updated: website: Typeset @example block using a smaller font.

[Ludovic Courtès]

This is an automated email from the git hooks/post-receive script.

civodul pushed a commit to branch master
in repository guix-artwork.

The following commit(s) were added to refs/heads/master by this push:
     new a4153e2  website: Typeset @example block using a smaller font.
a4153e2 is described below

commit a4153e25c8fc37920a56330a60734f4205f3dcb0
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Wed Mar 20 11:03:36 2024 +0100

    website: Typeset @example block using a smaller font.
    
    This is a followup to b9a55b9091ec739f10802c5057faf85b0c5695f3.
    
    * website/static/base/css/manual.css: Use ‘font-size: 85%’ to
    ‘.verbatim’.
---
 website/themes/initial/css/manual.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/themes/initial/css/manual.css 
b/website/themes/initial/css/manual.css
index 5deeedd..0360418 100644
--- a/website/themes/initial/css/manual.css
+++ b/website/themes/initial/css/manual.css
@@ -362,7 +362,7 @@ div.footnote {
 
 /* Arrange so fixed-width samples don't look too big compared to Linux
    Libertine text.  */
-samp, code, .example {
+samp, code, .example, .verbatim {
     font-family: monospace;
     font-size: 85%;
 }