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 @@ + + + +