]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: make titles wrap properly
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 22 Jan 2022 21:13:14 +0000 (13:13 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 22 Jan 2022 21:13:14 +0000 (13:13 -0800)
basis/help/html/html.factor

index 5d87bc1f86d83c7d232e5ac4169b376e408b984c..dc9c84661f0262066a096fface9622c9c4ee4c62 100644 (file)
@@ -148,7 +148,7 @@ M: pathname url-of
         "}" ?tail drop
         " border-bottom: 1px dashed #ccc; width: 100%; padding-top: 15px; padding-bottom: 10px; }"
         append swap pick set-nth {
-            ".a a { color: black; font-size: 24pt; }"
+            ".a a { color: black; font-size: 24pt; line-height: 100%; }"
             ".a * a { color: #2A5DB0; font-size: 12pt; }"
             ".a td { border: none; }"
             ".a tr:hover { background-color: white; }"