help.html: improve nav

[factor.git] / extra / websites / concatenative / page.css

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 {