<!-- Stylesheet to be executed client-side to supply the navigation menu in each page --> <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"> <xsl:variable name="img" select="'img'"/> <xsl:variable name="this-page" select="(//this-is)[1]"/> <xsl:variable name="path-prefix"> <xsl:choose> <xsl:when test="$this-page/@subpage=''">../</xsl:when> <xsl:otherwise>../../</xsl:otherwise> </xsl:choose> </xsl:variable> <xsl:variable name="short-prefix"> <xsl:choose> <xsl:when test="$this-page/@subpage=''"></xsl:when> <xsl:otherwise>../</xsl:otherwise> </xsl:choose> </xsl:variable> <xsl:template match="*"> <xsl:copy> <xsl:copy-of select="@*"/> <xsl:apply-templates/> </xsl:copy> </xsl:template> <xsl:variable name="is-IE" select="system-property('xsl:vendor')='Microsoft'"/> <xsl:template match="head"> <head> <xsl:copy-of select="node()"/> <xsl:if test="not($is-IE)"> <script language='javascript'> function resize_background(){ var docHeight = Math.max(body.scrollHeight, body.clientHeight, screen.zero(self.innerHeight)); document.getElementById('lhLightArea').style.height=docHeight; document.getElementById('lhDkBlueArea').style.height=docHeight; document.getElementById('rhDkBlueArea').style.height=docHeight; } </script> </xsl:if> </head> </xsl:template> <xsl:template match="this-is"/> <xsl:template match="body"> <body> <xsl:if test="not($is-IE)"> <xsl:attribute name="onload">resize_background()</xsl:attribute> </xsl:if> <xsl:variable name="fixed-or-absolute"> <xsl:choose> <xsl:when test="$is-IE">absolute</xsl:when> <xsl:otherwise>fixed</xsl:otherwise> </xsl:choose> </xsl:variable> <xsl:copy-of select="@*"/> <div id="rhDkBlueArea" style="position:{$fixed-or-absolute}; width:123px; height:2000px; z-index:1; right: 0px; top: 0px; border: 1px none #000000; background-color: #C1CEDE; layer-background-color: #C1CEDE; visibility: visible;"/> <div id="lhLightArea" style="position:{$fixed-or-absolute}; width:34px; height:2000px; z-index:1; left: 66px; top: 0px; border: 1px none #000000; background-color: #f6fffb; layer-background-color: #f6fffb; visibility: visible;"/> <div id="lhDkBlueArea" style="position:{$fixed-or-absolute}; width:66px; height:2000px; z-index:1; left: 0px; top: 0px; border: 1px none #000000; background-color: #C1CEDE; layer-background-color: #C1CEDE; visibility: visible;"/> <div id="LogoArea" style="position:absolute; width:340px; height:72px; z-index:3; right: 0px; top: 0px; border: 1px none #000000; visibility: visible;"> <a href="http://www.saxonica.com/"> <img src="{$path-prefix}img/saxonica_logo.gif" width="340" height="72" border="0" alt="saxonica.com"/> </a> </div> <div id="MenuArea" style="position:absolute; width:157px; z-index:4; right: 33px; top: 114px; visibility: visible; background-color: #f6fffb; layer-background-color: #f6fffb; border: 1px solid #3D5B96; padding-top:9px; padding-left:15px;padding-right:11px; padding-bottom:9px;"> <xsl:call-template name="MenuArea"/> </div> <div id="MainTextArea" style="position:absolute; height:100%; z-index:5; left: 130px; right: 260px; top: 110px; border: 1px none #000000; background-color: #E4EEF0; visibility: visible;"> <xsl:apply-templates/> </div> </body> </xsl:template> <xsl:template name="MenuArea" match="div[@id='MenuArea']"> <!--<xsl:copy>--> <xsl:copy-of select="@*"/> <table border="0" cellspacing="0" cellpadding="1"> <tr> <td class="title" colspan="2"> <p style="margin-top:0px; margin-bottom:0px; line-height=1.0em;"><a href="{$path-prefix}index.html"><b>DOCUMENTATION</b></a><br/> <!--<img src="{$path-prefix}{$img}/spacer.gif" width="120" height="10" border="0" alt=""/>--> </p> </td> </tr> <tr> <td colspan="2" style="border-bottom:solid 1px #3D5B96"> <p style="margin-top:0px; margin-bottom:0px; line-height=1.0em;"><a href="{$path-prefix}contents.html">Full Contents</a></p> </td> </tr> <xsl:for-each select="document('contents.xml')/*/section"> <xsl:choose> <xsl:when test="@name = $this-page/@section"> <tr> <td colspan="2"> <p style="margin-top:0px; margin-bottom:0px; line-height=1.0em;"> <a href="{$path-prefix}{@name}/intro.xml"> <xsl:value-of select="@title"/> </a> </p> </td> </tr> <xsl:for-each select="page"> <tr> <td width="10px" valign="top"> <xsl:if test="position()=last()"> <xsl:attribute name="style">border-bottom:solid 1px #3D5B96</xsl:attribute> </xsl:if> <xsl:choose> <xsl:when test="@name = $this-page/@page">» </xsl:when> <xsl:otherwise> </xsl:otherwise> </xsl:choose> </td> <td valign="top" style="border-bottom:solid 1px #3D5B96"> <a href="{$short-prefix}{@name}.xml"> <xsl:value-of select="@title"/> </a> </td> </tr> </xsl:for-each> </xsl:when> <xsl:otherwise> <tr> <td colspan="2" style="border-bottom:solid 1px #3D5B96"> <p style="margin-top:0px; margin-bottom:0px; line-height=1.2em;"> <a href="{$path-prefix}{@name}/intro.xml"> <xsl:value-of select="@title"/> </a> </p> </td> </tr> </xsl:otherwise> </xsl:choose> </xsl:for-each> </table> <!--</xsl:copy>--> </xsl:template> </xsl:stylesheet>