index.html: Adjust font size for code.

At least on some firefox versions, the characters of the default
monospace font look a bit small.

diff --git a/index.html.m4 b/index.html.m4
index 23b39337393888d86fbf2662babb70f3cbe12d6f..a4b3dd6a730f695c89dbf697d206484a4dc32a94 100644 (file)
--- a/index.html.m4
+++ b/index.html.m4
@@ -15,6 +15,9 @@ dnl SPDX-License-Identifier: GPL-2.0
                a {
                        color: #4444ff;
                }
+               pre,code {
+                       font-size: 110%;
+               }
        </style>
        <link rel="shortcut icon" href="dss.ico">
 </head>