diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/DocBook/docbook.css | 16 | ||||
| -rw-r--r-- | doc/DocBook/stylesheet.xsl | 1 |
2 files changed, 17 insertions, 0 deletions
diff --git a/doc/DocBook/docbook.css b/doc/DocBook/docbook.css new file mode 100644 index 0000000000..7a79ec54bd --- /dev/null +++ b/doc/DocBook/docbook.css @@ -0,0 +1,16 @@ +body { + font-family: sans-serif; +} + +.programlisting { + font-family: monospace; + font-size: 1em; + display: block; + padding: 10px; + border: 1px solid #aaa; + color: #000; + background-color: #eee; + overflow: auto; + margin: 1em 0em; + border-radius: 6px; +} diff --git a/doc/DocBook/stylesheet.xsl b/doc/DocBook/stylesheet.xsl index 85b2527519..8adce568b6 100644 --- a/doc/DocBook/stylesheet.xsl +++ b/doc/DocBook/stylesheet.xsl @@ -7,4 +7,5 @@ <!-- <param name="paper.type">A4</param> --> <param name="generate.section.toc.level">2</param> <param name="use.id.as.filename">1</param> +<param name="html.stylesheet">../docbook.css</param> </stylesheet> |
