diff options
author | Ruan HE <ruan.he@orange.com> | 2015-09-04 07:35:06 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2015-09-04 07:35:06 +0000 |
commit | ca6aa8198d2335f8c326c3dd4d26bf5899064214 (patch) | |
tree | 6274a2d971fc0cac0896efe8583927d0190e3d20 /moon-abe/pbc-0.5.14/doc/custom-pretty.xsl | |
parent | 92fd2dbfb672d7b2b1cdfd5dd5cf89f7716b3e12 (diff) | |
parent | 3baeb11a8fbcfcdbc31976d421f17b85503b3ecd (diff) |
Merge "init attribute-based encryption"
Diffstat (limited to 'moon-abe/pbc-0.5.14/doc/custom-pretty.xsl')
-rw-r--r-- | moon-abe/pbc-0.5.14/doc/custom-pretty.xsl | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/custom-pretty.xsl b/moon-abe/pbc-0.5.14/doc/custom-pretty.xsl new file mode 100644 index 00000000..ab619ef6 --- /dev/null +++ b/moon-abe/pbc-0.5.14/doc/custom-pretty.xsl @@ -0,0 +1,32 @@ +<?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="1"></xsl:param> +<xsl:param name="chunk.first.sections" select="1"></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="'pretty.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"> +try{ +var pageTracker = _gat._getTracker("UA-1901330-5"); +pageTracker._trackPageview(); +} catch(err) {} +</script> +</xsl:template> + +</xsl:stylesheet> |