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 cce75f88689b6429ab037bd4db50c9b928892528..7512004f96a63adc6d017b9046ee1ba6137504cd 100644 (file)
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -54,10 +54,9 @@ 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: 10px;
     padding-left: calc(max(50% - 500px, 0px) + 15px);
     padding-right: calc(max(50% - 500px, 0px) + 15px);
 }
@@ -100,9 +99,4 @@ nav img {
         background-color: #373e48;
         border-bottom: 1px solid #666;
     }
-
-    .page nav {
-        border-top: 1px solid #666;
-        background-color: transparent;
-    }
 }