From 641bda8e5d10f5227ba1c0327c38018fbcbe6115 Mon Sep 17 00:00:00 2001
From: zilti <zilti>
Date: Mon, 18 Dec 2017 21:33:10 +0000
Subject: [PATCH] Adjusted manual css

---
 docs/datamash-texinfo.css | 2 +-
 docs/makedocs-web.sh      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/datamash-texinfo.css b/docs/datamash-texinfo.css
index eeba59b..a8a6422 100644
--- a/docs/datamash-texinfo.css
+++ b/docs/datamash-texinfo.css
@@ -446,7 +446,7 @@ The header at the top of each page / section
 div.header {
    padding-top: 0.5ex;
    padding-bottom: 0.5ex;
-   background-color: #ddddff;
+   /*background-color: #ddddff;*/
 
    /* This will extend the background color of the header
       bar to the entire width of the page (and beyond),
diff --git a/docs/makedocs-web.sh b/docs/makedocs-web.sh
index 1425634..58fe345 100755
--- a/docs/makedocs-web.sh
+++ b/docs/makedocs-web.sh
@@ -2,7 +2,7 @@
 cd docs
 makeinfo --css-ref=datamash-texinfo.css --html --no-split manual.texinfo
 echo '0a
-<div class="fossil-doc" data-title="Title Text">
+<div class="fossil-doc" data-title="ClojureFX Manual">
 .
 $a
 </div>