summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorEvan Martin <martine@danga.com>2013-02-17 01:13:10 (GMT)
committerEvan Martin <martine@danga.com>2013-02-17 01:13:10 (GMT)
commitd3c4cf1b36b132a2fc6f79970b32046ac4eaeef9 (patch)
treeaceb7688ec3de250f96c9648a6d2651e42a9599a /doc
parent370249f528b9b55f089937604a8f6ba482a33e02 (diff)
downloadNinja-d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9.zip
Ninja-d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9.tar.gz
Ninja-d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9.tar.bz2
move from asciidoc html to asciidoc -> docbook -> html
As best as I can tell this is the easiest way to customize the asciidoc HTML output.
Diffstat (limited to 'doc')
-rw-r--r--doc/docbook.xsl17
-rw-r--r--doc/style.css29
2 files changed, 46 insertions, 0 deletions
diff --git a/doc/docbook.xsl b/doc/docbook.xsl
new file mode 100644
index 0000000..8afdc8c
--- /dev/null
+++ b/doc/docbook.xsl
@@ -0,0 +1,17 @@
+<!-- This soup of XML is the minimum customization necessary to make the
+ autogenerated manual look ok. -->
+<!DOCTYPE xsl:stylesheet [
+<!ENTITY css SYSTEM "style.css">
+]>
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ version='1.0'>
+ <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/html/docbook.xsl"/>
+ <xsl:template name="user.head.content"><style>&css;</style></xsl:template>
+ <xsl:template name="body.attributes"></xsl:template>
+ <xsl:param name="generate.toc" select="'book toc'"/>
+ <xsl:param name="chapter.autolabel" select="0" />
+ <xsl:param name="toc.list.type">ul</xsl:param>
+
+ <xsl:output method="html" encoding="utf-8" indent="no"
+ doctype-public=""/>
+</xsl:stylesheet>
diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000..fc22ec1
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,29 @@
+body {
+ margin: 5ex 10ex;
+ max-width: 40em;
+ line-height: 1.4;
+ font-family: sans-serif;
+ font-size: 0.8em;
+}
+h1, h2, h3 {
+ font-weight: normal;
+}
+pre, code {
+ font-family: x, monospace;
+}
+pre {
+ padding: 1ex;
+ background: #eee;
+ border: solid 1px #ddd;
+ min-width: 0;
+ font-size: 90%;
+}
+code {
+ color: #007;
+}
+.chapter {
+ margin-top: 4em;
+}
+p {
+ margin-top: 0;
+}