From 914a4aee09238cae9a6558dbb80b73dd7bd715c6 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Sat, 29 Oct 2011 15:11:30 -0700
Subject: [PATCH] help.html: simpler stylesheet for navbar to give it a
 consistent look. Fixes #310

---
 basis/help/html/stylesheet.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index b0ae275b7f..0103d04334 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -4,9 +4,9 @@ a:active { text-decoration: none; color: #104e8b; }
 a:hover { text-decoration: underline; color: #104e8b; }
 
 .navbar {
-    background-color: #eeeee0;
+    background-color: #f3f2ea;
     padding: 5px;
     border: 1px solid #ccc;
-    font:9pt "Lucida Grande", "Lucida Sans Unicode", verdana, geneva, sans-serif;
+    font: 9pt sans-serif;
     margin-bottom: 10px;
 }