From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 7 Aug 2022 00:51:40 +0000 (-0700)
Subject: webapps: padding
X-Git-Tag: 0.99~1183
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=0a4d886bed34ac4642edf12d5ab921f8d6e61c70

webapps: padding
---

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index 1a8850470f..98284b8816 100644
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -130,7 +130,7 @@ footer {
 }
 
 nav {
-    padding-left: 10px;
+    padding-left: 15px;
 }
 
 nav img {
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 092f91ca50..68ab09636c 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -56,8 +56,10 @@ a:hover, .link:hover { text-decoration: underline; }
 nav {
     border-bottom: 1px solid #ccc;
     background-color: #f5f5f5;
-    padding: 10px;
-    padding-left: calc(max(50% - 500px, 10px));
+    padding-top: 10px;
+    padding-bottom: 10px;
+    padding-left: calc(max(50% - 500px, 15px));
+    padding-right: 15px;
 }
 
 nav a, nav .link {