From: Oliver Schmidt 
Date: Sun, 9 Feb 2014 21:43:55 +0000 (+0100)
Subject: Made html doc look a little less boring.
X-Git-Tag: V2.15~156
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=1968e87cc2f9a3b7099c22b514bd1248cb2a6094;p=cc65
Made html doc look a little less boring.
---
diff --git a/doc/Makefile b/doc/Makefile
index 1e2bf435f..19dd8836c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -17,7 +17,7 @@ all:
 
 doc: html
 
-html: $(addprefix ../html/,$(SGMLS:.sgml=.html))
+html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
 
 mostlyclean:
 
@@ -28,7 +28,10 @@ clean:
 	@mkdir $@
 
 ../html/%.html: %.sgml | ../html
-	@cd ../html && linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) ../doc/$<
+	@cd ../html && linuxdoc -B html -s=0 -T=$(TOC_LEVEL) -H ../doc/header.html ../doc/$<
+
+../html/doc.%: doc.% | ../html
+	cp $< ../html
 
 gh-pages: html
 ifdef GH_TOKEN
diff --git a/doc/doc.css b/doc/doc.css
new file mode 100644
index 000000000..232599a75
--- /dev/null
+++ b/doc/doc.css
@@ -0,0 +1,33 @@
+body {
+    font-family:        arial, helvetica, sans-serif;
+    font-size:          100%;
+    text-align:         justify;
+    margin-left:        110px;
+    margin-top:         10px;
+    margin-right:       30px;
+    margin-bottom:      10px;
+    background-image:   url(doc.png);
+    background-repeat:  repeat-y;
+}
+
+h1, h2, h2 a:link, h2 a:active, h2 a:visited {
+    font-weight:        bold;
+    font-style:         italic;
+    text-align:         left;
+    color:              #DB3232;
+}
+
+h1 {
+    font-size:          250%;
+    text-shadow:        2px 2px 6px #505050;
+    letter-spacing:     2px;
+    padding-top:        40px;
+}
+
+h2 {
+    font-size:          160%;
+    text-shadow:        2px 2px 6px #303030;
+    letter-spacing:     1px;
+    margin-top:         2em;
+    margin-bottom:      1em;
+}
diff --git a/doc/doc.png b/doc/doc.png
new file mode 100644
index 000000000..91af80d31
Binary files /dev/null and b/doc/doc.png differ
diff --git a/doc/header.html b/doc/header.html
new file mode 100644
index 000000000..a2cb2f194
--- /dev/null
+++ b/doc/header.html
@@ -0,0 +1,4 @@
+
+
+
+