-
Notifications
You must be signed in to change notification settings - Fork 10
/
custom-html.xsl
30 lines (28 loc) · 1.32 KB
/
custom-html.xsl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
<?xml version='1.0'?>
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:fo="http://www.w3.org/1999/XSL/Format"
version="1.0">
<xsl:param name="chunk.section.depth" select="0"></xsl:param>
<xsl:param name="css.decoration" select="0"></xsl:param>
<xsl:param name="toc.list.type">ul</xsl:param>
<xsl:param name="chunker.output.encoding" select="'UTF-8'"></xsl:param>
<xsl:param name="chunker.output.doctype-public" select="'-//W3C//DTD HTML 4.01 Transitional//EN'"></xsl:param>
<!-- use tidy instead
<xsl:param name="chunker.output.indent" select="'yes'"></xsl:param>
-->
<xsl:param name="suppress.navigation" select="1"></xsl:param>
<xsl:param name="generate.toc" select="'book toc'"/>
<xsl:param name="html.stylesheet" select="'default.css'"/>
<xsl:template name="user.footer.navigation">
<script type="text/javascript" src="find_selflink.js"></script>
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
var pageTracker = _gat._getTracker("UA-1901330-2");
pageTracker._initData();
pageTracker._trackPageview();
</script>
</xsl:template>
</xsl:stylesheet>