From f991e594bf5e92d5ff332006ce101021c66cb898 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 7 Aug 2022 21:15:59 -0700
Subject: [PATCH] websites: remove .page nav style

---
 extra/websites/concatenative/page.css | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index cce75f8868..4fa5678976 100644
--- 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;
-    }
 }
-- 
2.34.1