websites: 10px padding on nav

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 1513ab1989b58d3ca67294ac53cf8c72f1fa0f7b..092f91ca5094e6a226f6f8612a5d0e950173c70b 100644 (file)
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -56,8 +56,8 @@ a:hover, .link:hover { text-decoration: underline; }
 nav {
     border-bottom: 1px solid #ccc;
     background-color: #f5f5f5;
-    padding: 15px;
-    padding-left: calc(max(50% - 500px, 15px));
+    padding: 10px;
+    padding-left: calc(max(50% - 500px, 10px));
 }
 
 nav a, nav .link {