]> git.tuebingen.mpg.de Git - dss.git/blobdiff - index.html.m4
index.html: Adjust font size for code.
[dss.git] / index.html.m4
index 23b39337393888d86fbf2662babb70f3cbe12d6f..a4b3dd6a730f695c89dbf697d206484a4dc32a94 100644 (file)
@@ -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>