fixup "WiP reworked makefile for web version" (css tweaks)

Issue #4
nfeske · Jan 9, 2019 · 684d328 · 684d328
1 parent efea69a
commit 684d328
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/manual/epub/style.css b/manual/epub/style.css
@@ -1,3 +1,16 @@
+body {
+	font: 100% "Lucida Grande", Verdana, Lucida, Helvetica, Arial, sans-serif;
+}
+
+h2 {
+	font: 135% "Lucida Grande", Verdana, Lucida, Helvetica, Arial, sans-serif;
+}
+
+pre {
+	font-family: Monaco, monospace;
+	border-left: 2px solid #bcdceb;
+}
+
 .figure {
 	/* adapt width to content's width */
 	display: inline-block;

diff --git a/manual/www/Makefile b/manual/www/Makefile
@@ -34,7 +34,7 @@ ALL_HTML := $(ALL_SECTIONS_HTML) $(ALL_CHAPTERS_INDEX_HTML) html/index.html
 GOSH_DOC_ARGS :=  --style ../epub/epub_html \
                   --web-build \
                   --html-xrefs xrefs \
-                  --stylesheet style.css \
+                  --stylesheet style.css
 
 default: html/style.css $(ALL_HTML)