From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 7 Aug 2022 00:44:46 +0000 (-0700)
Subject: websites: 10px padding on nav
X-Git-Tag: 0.99~1187
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=0b0b3c83da3c70613042ea4d01442f21b4133d77

websites: 10px padding on nav
---

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 1513ab1989..092f91ca50 100644
--- 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 {