diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/Makefile | 2 | ||||
| -rw-r--r-- | web/config.xsl | 9 | ||||
| -rw-r--r-- | web/demos | 4 | ||||
| -rw-r--r-- | web/docbook.css | 29 |
4 files changed, 41 insertions, 3 deletions
diff --git a/web/Makefile b/web/Makefile index ece37e8a0..b713a05fe 100644 --- a/web/Makefile +++ b/web/Makefile @@ -10,7 +10,7 @@ clean: for file in $(ALL); do rm $$file; done; \ rm -r example*; -examples.txt : $(PANDOC_DEPS) mkdemos.pl +examples.txt : $(PANDOC_DEPS) mkdemos.pl config.xsl S5DEMO README PATH=$(PANDOC_PATH):$$PATH ./mkdemos.pl demos $@ %.html : %.txt $(PANDOC_DEPS) diff --git a/web/config.xsl b/web/config.xsl new file mode 100644 index 000000000..a4436e24c --- /dev/null +++ b/web/config.xsl @@ -0,0 +1,9 @@ +<?xml version='1.0'?> +<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" + xmlns:fo="http://www.w3.org/1999/XSL/Format" + version="1.0"> + <xsl:param name="use.id.as.filename" select="'1'"/> + <xsl:param name="admon.graphics" select="'1'"/> + <xsl:param name="admon.graphics.path"></xsl:param> + <xsl:param name="html.stylesheet" select="'../docbook.css'"/> +</xsl:stylesheet> @@ -21,7 +21,7 @@ click on the name of the output file: 5. From LaTeX to markdown: -@ pandoc -s README.tex -o example5.txt +@ pandoc -s example4.tex -o example5.txt 6. reStructuredText: @@ -41,7 +41,7 @@ click on the name of the output file: 10. Chunked XHTML via DocBook and [xmlto]: -@ xmlto xhtml example9.db -o example10/ +@ xmlto -m config.xsl xhtml example9.db -o example10/ 11. ODF (open document format) via DocBook and [docbook2odf]: diff --git a/web/docbook.css b/web/docbook.css new file mode 100644 index 000000000..bf58461d5 --- /dev/null +++ b/web/docbook.css @@ -0,0 +1,29 @@ +body { + font-family: Verdana, sans-serif; +} + +.screen { + font-family: monospace; + font-size: 1em; + display: block; + padding: 10px; + border: 1px solid #bbb; + background-color: #eee; + color: #000; + overflow: auto; + border-radius: 2.5px; + -moz-border-radius: 2.5px; + margin: 0.5em 2em; +} + +a { + text-decoration: none; + border-bottom: 1px dotted #000; +} + +a:hover { + background-color: #777; + color: #fff; +} + + |