From ca3551a9d401bcd4866590ba8a121fb7784f4426 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Mon, 2 Mar 2020 17:01:01 -0800
Subject: [PATCH] websites.concatenative: navbar background.

---
 basis/help/html/stylesheet.css        | 1 +
 extra/webapps/help/search.xml         | 3 ++-
 extra/webapps/wiki/wiki.css           | 1 -
 extra/websites/concatenative/page.css | 1 +
 4 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index bcd54ba9d3..6702245b64 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -43,6 +43,7 @@ tr:hover {
     padding-bottom: 10px;
     line-height: 150%;
     border-bottom: 1px solid #ccc;
+    background-color: #f5f5f5;
 }
 
 .navbar a {
diff --git a/extra/webapps/help/search.xml b/extra/webapps/help/search.xml
index f4f79b6826..e2eef7919a 100644
--- a/extra/webapps/help/search.xml
+++ b/extra/webapps/help/search.xml
@@ -45,6 +45,7 @@
                 padding-bottom: 10px;
                 line-height: 150%;
                 border-bottom: 1px solid #ccc;
+                background-color: #f5f5f5;
             }
 
             .navbar a {
@@ -57,7 +58,7 @@
 
             h2 {
                 padding: 10px;
-                background-color: #f5f5f5;
+                background-color: #f3f2ea;
                 color: #222;
             }
 
diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index e706039fef..c306a88da1 100644
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -72,7 +72,6 @@
     margin-right: -15px;
     margin-bottom: -15px;
     border-top: 1px solid #ccc;
-    border-bottom: none;
 }
 
 .description {
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 5c56030426..bb6d5ffc68 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -63,6 +63,7 @@ a:hover, .link:hover { text-decoration: underline; }
     padding-bottom: 10px;
     line-height: 150%;
     border-bottom: 1px solid #ccc;
+    background-color: #f5f5f5;
 }
 
 .navbar a, .navbar .link {