diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/user_guide.css | 4 | ||||
-rwxr-xr-x | tools/user_guide.xsl | 15 | ||||
-rwxr-xr-x | tools/user_guide_chunks.xsl | 11 |
3 files changed, 30 insertions, 0 deletions
diff --git a/tools/user_guide.css b/tools/user_guide.css new file mode 100644 index 0000000..24ea088 --- /dev/null +++ b/tools/user_guide.css @@ -0,0 +1,4 @@ +pre.programlisting, pre.screen { +background-color : #e0e0e0; +padding : 0.2cm; +} diff --git a/tools/user_guide.xsl b/tools/user_guide.xsl index cbb51b5..79e8c5a 100755 --- a/tools/user_guide.xsl +++ b/tools/user_guide.xsl @@ -1,4 +1,7 @@ <?xml version='1.0'?> +<!DOCTYPE xsl:stylesheet [ +<!ENTITY css SYSTEM "user_guide.css"> +]> <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version='1.0'> @@ -34,4 +37,16 @@ <xsl:param name="using.chunker" select="0"/> +<!-- Add CSS stylesheet content to the HTML header --> + +<xsl:template name="user.head.content"> +<style type="text/css"> +&css; +</style> +</xsl:template> + +<!-- Nice HTML output --> + +<xsl:param name="chunker.output.indent">yes</xsl:param> + </xsl:stylesheet> diff --git a/tools/user_guide_chunks.xsl b/tools/user_guide_chunks.xsl index ccad9ef..d8e8fa4 100755 --- a/tools/user_guide_chunks.xsl +++ b/tools/user_guide_chunks.xsl @@ -1,4 +1,7 @@ <?xml version='1.0'?> +<!DOCTYPE xsl:stylesheet [ +<!ENTITY css SYSTEM "user_guide.css"> +]> <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version='1.0'> @@ -72,6 +75,14 @@ <xsl:param name="navig.showtitles">1</xsl:param> +<!-- Add CSS stylesheet content to the HTML header --> + +<xsl:template name="user.head.content"> +<style type="text/css"> +&css; +</style> +</xsl:template> + <!-- Nice HTML output --> <xsl:param name="chunker.output.indent">yes</xsl:param> |