From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 7 Aug 2022 02:41:22 +0000 (-0700)
Subject: help.html: improve nav
X-Git-Tag: 0.99~1182
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=ce227d91d83f5214215596e53cd8b4deb4210218

help.html: improve nav
---

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 5be0f95bea..8470ce1560 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -46,10 +46,11 @@ nav {
     background-color: #f5f5f5;
     padding: 10px;
     padding-left: calc(max(50% - 400px, 10px));
+    padding-right: calc(max(50% - 400px, 10px));
 }
 
 nav a, nav .link {
-    margin-right: 5px;
+    margin-right: 10px;
 }
 
 nav img {
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 68ab09636c..ed95141e87 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -59,11 +59,11 @@ nav {
     padding-top: 10px;
     padding-bottom: 10px;
     padding-left: calc(max(50% - 500px, 15px));
-    padding-right: 15px;
+    padding-right: calc(max(50% - 400px, 10px));
 }
 
 nav a, nav .link {
-    margin-right: 5px;
+    margin-right: 10px;
 }
 
 nav img {