help.html: improve nav

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 5be0f95beabd199d3949f6c5379f02ee52fec828..8470ce1560288b754c176ef6c05a62a5782d835b 100644 (file)
--- 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 68ab09636c3d48031d2e9878aaec7585cbad5541..ed95141e8725571033329b11b75b9aea1d261988 100644 (file)
--- 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 {