]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: some table fixes
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 07:02:47 +0000 (23:02 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 07:02:47 +0000 (23:02 -0800)
basis/help/html/html.factor
basis/help/html/stylesheet.css

index 012b6ead688016d78f01a368b1fd7078a8ffafef..6a5e7f84d4bedbe67f90d6f636a3186875fc909c 100644 (file)
@@ -288,7 +288,11 @@ M: pathname url-of
 
     ! spans before or after divs don't need line breaks
     "span><br/><div" "span><div" replace
-    "div><br/><span" "div><span" replace ;
+    "div><br/><span" "div><span" replace
+
+    ! spans before or after tables don't need line breaks
+    "span><br/><table" "span><table" replace
+    "table><br/><span" "table><span" replace ;
 
 : generate-help-file ( topic -- )
     [ help>html xml>string fix-spacing ]
index 20f7d0007c1024f4f3d100798f5e79aa8fa6c373..4969051b5b92c51a19875d55a7448b08b6e9ad36 100644 (file)
@@ -75,6 +75,14 @@ nav input {
     height: 16px;
 }
 
+.page div:not(.a) {
+    width: fit-content;
+}
+
+.page div:not(.a) table {
+    margin: 1.0rem 0;
+}
+
 footer {
     margin-top: 15px;
     border-top: 1px dashed #d5d5d5;