From 1968e87cc2f9a3b7099c22b514bd1248cb2a6094 Mon Sep 17 00:00:00 2001
From: Oliver Schmidt <ol.sc@web.de>
Date: Sun, 9 Feb 2014 22:43:55 +0100
Subject: [PATCH] Made html doc look a little less boring.

---
 doc/Makefile    |   7 +++++--
 doc/doc.css     |  33 +++++++++++++++++++++++++++++++++
 doc/doc.png     | Bin 0 -> 1307 bytes
 doc/header.html |   4 ++++
 4 files changed, 42 insertions(+), 2 deletions(-)
 create mode 100644 doc/doc.css
 create mode 100644 doc/doc.png
 create mode 100644 doc/header.html

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 0000000000000000000000000000000000000000..91af80d31d21a4e05154827d3f4991ea80c0628a
GIT binary patch
literal 1307
zcmV+$1?2jPP)<h;3K|Lk000e1NJLTq00p1`001Kh0{{R3RbpK$00004XF*Lt006O%
z3;baP0002kP)t-sW)>8Zl9WzPOrj<v(k?9OHZ*b?9P&OqiXI%gDlGOkG}6-4-ZC_P
z9vqe;B*rc*K0Z9ICM5DUH2OX~a&mOqGBob)>~0zyva+<&GBoNsJbD@&k|HF+DlGmw
zJmxku`a(o%8XRI`WU3}4iXtTTIy~Oq+~PJgh8`TACM3=-EVe2vY8DitqNG+<RHh~*
z)-EjWHZ*n`9QHmuzA7x@GBko79GW5|$}TKMMntkIEb=-${ysc{f`tD5{KCS-)-p8a
z=Hz-F9KtRv?m9gFLPU-tB>Fl$i{xf^000B-Nkl<Zc-rmVZC4sc7{+m1S+kH^E!YWF
z*d>;1Aq%ZT%BtYB-JS&f{@<uG%fmi2eUY3o^~L|E0{6n}>)hvJz$4|^53BEg`}xN|
zzWep3zh3|H_nSWf0AJ@w{8FoGK))fN0pP0x`Z+h~*KE)L@KOR=s5k)Ng>KM7Km&lM
zfcD!!H#TTGXaIOI8+5&cCZGY}WdyX?zZDe+0Q?UD9o;+*hsWpJ;p6P!zD#I3XaMjO
z&|lCnANNnfakt&gvSK_657fSa<`f42eESW0c{Et(i>FSeOfjeZTrx+bXFh+5gAN)1
zzCl2DukR!_=AoB7ZHf!)sqUDa-}enP8#DksTR^X8v-W4E`}tVK7gz4#WKvw29xL<8
zWwKP?BP5^!z*j)mTIS`4`5+A6O}nZ&-3~81o5?PVi`UL06=%C(J~YsLPz3;<V}riG
z?Z21g$);``G^VH@sYKH8V|cSWu_67I8nu?~<~ch88UVZpbUGiVu}L0!nKD^p8lKtx
zI2wlIcK2?%Ek6cI>7_fukxJP>vq1yEGX(T)*oxmyT&J9En$vuyvp9}>+YolYcimpH
zm?$l2J1-k(HfR9w7SLt?+&^DzCPn(nq%ldqB~KT@C~KuQk~{8w!FHTHB)!arvkuAz
znhhEN{BO|HI~70t$J9Ml+FZF@9_K2L_ZzeQUA9Cgqw*970Sy4Y16ocZZAP-ID(aJJ
zhf3TVhoa8TRc6$7Uv{rs&XhaMA&0~!paH=527R5Yc(hO2+9WQZ-Dn?$ZIxU|**UL=
zN}182fo6jS0B-@k|0ZX3qIHlJowLdtlgu7PF9JKJ*O4-x>`J}dZP9}p)!CE{G#fMk
z_}`$1mm;Zl$L-GY+SGE3v(j?uPI?SgY-|iq-yOHbowb{$;sX0{&W;Tl0Q?5DJH^q}
zdAfcdp7zs4ZL;|*-E+}tH~bJr9dl)K_&Q3*r~Uch#^&>dlnu1opjQMm0C?S?<zA~?
zr|l@%jH;6f?34PV%2ggknc2883hgB=qO;h%o#bT$O~nBK-U52pKs#Bl6B}bLKGmjI
z#iX-NY{yM9*;dUR`=q;&Topa_zJaFV007?`^fqI&!2UF+;;lk^lLbK_<<}(zqmiBW
z%k%!c$Ao|e0FME^+oAVI?CR5QmP(INyIlFy3LP{6JjVvT&snKXs#-7q`>qzv#XTD|
z0Qd^%Ljx_9o%t|{H1fE3LZq6|l?IwGO9BAT8?>lui&2}T64p{*oTb@73jqxPJ_EYa
zK&x5<t-iQ{wzn%fXaMlKLHlW-IR^~@{sP)>1I>T+1^}NMw8sXTQyc)`%Rj&j!&QpN
REwKOq002ovPDHLkV1oKrUIYLD

literal 0
HcmV?d00001

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 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
+<HTML>
+<HEAD>
+ <LINK REL="stylesheet" TYPE="text/css" HREF="doc.css"/>