diff --git a/doc/userguide/Makefile b/doc/userguide/Makefile new file mode 100644 index 0000000000..1e045a009c --- /dev/null +++ b/doc/userguide/Makefile @@ -0,0 +1,13 @@ +# +# Quick and dirty makefile +# + +userguide.html: userguide.xml + xsltproc --novalid --xinclude --nonet \ + -o userguide.html \ + --stringparam html.stylesheet userguide.css \ + http://docbook.sourceforge.net/release/xsl/current/html/docbook.xsl \ + userguide.xml + +clean: + rm -f userguide.html diff --git a/doc/userguide/userguide.css b/doc/userguide/userguide.css new file mode 100644 index 0000000000..3fcaa8b69f --- /dev/null +++ b/doc/userguide/userguide.css @@ -0,0 +1,34 @@ +body { + background-color: #ffffff; + color: #333333; + font-family: "ArialMT", "Verdana", "Arial", "Helvetica", sans-serif; + font-size: 14px; + line-height: 18px; + margin: 2em; +} + +.command { + font-family: "Courier New", "Courier", monospace; + font-weight: normal; +} + +.note { + background-color: #ddeedd; + margin: 1em 0 1em 0; + padding: 0.5em 1em 0.5em 1em; + -moz-border-radius: 10px; + -webkit-border-radius: 10px; +} + +.screen { + background-color: #ffffee; + border: 1px solid #ddddaa; + padding: 0.25em 1em 0.25em 1em; + margin: 1em 0 1em 0; + -moz-border-radius: 10px; + -webkit-border-radius: 10px; +} + +.section { + padding-left: 1em; +} \ No newline at end of file