webapps: better style

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

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index ed95141e8725571033329b11b75b9aea1d261988..7512004f96a63adc6d017b9046ee1ba6137504cd 100644 (file)
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -54,12 +54,11 @@ a:hover, .link:hover { text-decoration: underline; }
 }
 
 nav {
-    border-bottom: 1px solid #ccc;
+    border-bottom: 1px solid #d5d5d5;
     background-color: #f5f5f5;
-    padding-top: 10px;
-    padding-bottom: 10px;
-    padding-left: calc(max(50% - 500px, 15px));
-    padding-right: calc(max(50% - 400px, 10px));
+    padding: 10px;
+    padding-left: calc(max(50% - 500px, 0px) + 15px);
+    padding-right: calc(max(50% - 500px, 0px) + 15px);
 }
 
 nav a, nav .link {
@@ -96,10 +95,6 @@ nav img {
         color: #8ab4f8;
     }
 
-    .page nav {
-        border-top: 1px solid #666;
-    }
-
     nav {
         background-color: #373e48;
         border-bottom: 1px solid #666;