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 -
+
. $a