summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorpknbe <pknbe>2010-04-01 01:02:56 +0000
committerpknbe <pknbe>2010-04-01 01:02:56 +0000
commit546274015a29e320feb4db02eed53963936059ab (patch)
tree58e5573d7cd274a67f14db21e97d3fc87ef5b9fb
parent3a7938d165a42dae2e7816a3befa4584003d9860 (diff)
downloadsylpheeddoc-doc-546274015a29e320feb4db02eed53963936059ab.tar.gz
sylpheeddoc-doc-546274015a29e320feb4db02eed53963936059ab.tar.xz
sylpheeddoc-doc-546274015a29e320feb4db02eed53963936059ab.zip
tools/user_guide.css: Add stylesheet for the User's Manual.
tools/user_guide.xsl: Partially sync with the FAQ stylesheets. tools/user_guide_chunks.xsl: Ditto.
-rw-r--r--ChangeLog6
-rw-r--r--tools/user_guide.css4
-rwxr-xr-xtools/user_guide.xsl15
-rwxr-xr-xtools/user_guide_chunks.xsl11
4 files changed, 36 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 92bca8a..71d8fd5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2010-04-01 Petr Kovar <pknbe@volny.cz>
+
+ * tools/user_guide.css: Add stylesheet for the User's Manual.
+ * tools/user_guide.xsl: Partially sync with the FAQ stylesheets.
+ * tools/user_guide_chunks.xsl: Ditto.
+
2009-09-24 Petr Kovar <pknbe@volny.cz>
* Makefile: Add single-page stylesheet for FAQ.
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>