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

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

Hide file tree

Showing 2 changed files with 17 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;
@@ -7,6 +20,9 @@
 .figure legend {
 	font-weight: bold;
 }
+p {
+	line-height: 125%;
+}
 p, .caption {
 	max-width: 43em;
 	/* for .caption: remove the centering of the figure again */

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)