From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 7 Aug 2022 19:38:32 +0000 (-0700)
Subject: help.html: more padding
X-Git-Tag: 0.99~1178
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=58a7a85ff39dd826c21f60de6042aa43e4d2c2e9

help.html: more padding
---

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 8470ce1560..cd83ac195f 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -45,8 +45,8 @@ nav {
     border-bottom: 1px solid #ccc;
     background-color: #f5f5f5;
     padding: 10px;
-    padding-left: calc(max(50% - 400px, 10px));
-    padding-right: calc(max(50% - 400px, 10px));
+    padding-left: calc(max(50% - 400px, 0px) + 15px);
+    padding-right: calc(max(50% - 400px, 0px) + 15px);
 }
 
 nav a, nav .link {