websites: remove .page nav style

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index cce75f88689b6429ab037bd4db50c9b928892528..4fa5678976a102741d94cff1c0ec7eead98a93e8 100644 (file)
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -100,9 +100,4 @@ nav img {
         background-color: #373e48;
         border-bottom: 1px solid #666;
     }
-
-    .page nav {
-        border-top: 1px solid #666;
-        background-color: transparent;
-    }
 }