doc/parts/formats/html.xsl

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- This file is part of Shapes.                                           -->
   4 <!--                                                                        -->
   5 <!-- Shapes is free software: you can redistribute it and/or modify         -->
   6 <!-- it under the terms of the GNU General Public License as published by   -->
   7 <!-- the Free Software Foundation, either version 3 of the License, or      -->
   8 <!-- any later version.                                                     -->
   9 <!--                                                                        -->
  10 <!-- Shapes is distributed in the hope that it will be useful,              -->
  11 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of         -->
  12 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          -->
  13 <!-- GNU General Public License for more details.                           -->
  14 <!--                                                                        -->
  15 <!-- You should have received a copy of the GNU General Public License      -->
  16 <!-- along with Shapes.  If not, see <http://www.gnu.org/licenses/>.        -->
  17 <!--                                                                        -->
  18 <!-- Copyright 2008, 2009, 2010, 2013, 2014 Henrik Tidefelt                 -->
  19
  20 <xsl:stylesheet
  21   version="2.0"
  22   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  23   xmlns="http://www.w3.org/1999/xhtml"
  24 >
  25
  26 <xsl:template match="str-PDF"><span class="medium-caps">pdf</span></xsl:template>
  27 <xsl:template match="str-HTML"><span class="medium-caps">html</span></xsl:template>
  28 <xsl:template match="str-XML"><span class="medium-caps">xml</span></xsl:template>
  29 <xsl:template match="str-SVG"><span class="medium-caps">svg</span></xsl:template>
  30 <xsl:template match="str-PNG"><span class="medium-caps">png</span></xsl:template>
  31 <xsl:template match="str-JPEG"><span class="medium-caps">jpeg</span></xsl:template>
  32 <xsl:template match="str-DAG"><span class="medium-caps">dag</span></xsl:template>
  33 <xsl:template match="str-PostScript">PostScript</xsl:template>
  34 <xsl:template match="str-Shapes">Shapes</xsl:template>
  35 <xsl:template match="str-shapes-mode"><em>shapes-mode</em></xsl:template>
  36 <xsl:template match="str-TeX"><span class="tex">T<sub>e</sub>X</span></xsl:template>
  37 <xsl:template match="str-LaTeX"><span class="latex">L<sup>a</sup>T<sub>e</sub>X</span></xsl:template>
  38 <xsl:template match="str-pdfLaTeX"><span class="latex">pdfL<sup>a</sup>T<sub>e</sub>X</span></xsl:template>
  39 <xsl:template match="str-MetaPost">MetaPost</xsl:template>
  40 <xsl:template match="str-C-plus-plus"><span class="medium-caps">c</span>++</xsl:template>
  41 <xsl:template match="str-UTF-8"><span class="medium-caps">utf</span>-8</xsl:template>
  42 <xsl:template match="str-2D">2<span class="medium-caps"><sup>d</sup></span></xsl:template>
  43 <xsl:template match="str-3D">3<span class="medium-caps"><sup>d</sup></span></xsl:template>
  44
  45 <xsl:template name="str-Google" match="str-Google"><span class="Google"><span class="blue">G</span><span class="red">o</span><span class="yellow">o</span><span class="blue">g</span><span class="green">l</span><span class="red">e</span><span class="black">™</span></span></xsl:template>
  46
  47 <xsl:template match="abbr-etc">&amp;c</xsl:template>
  48
  49 <xsl:template match="char-cdot">*</xsl:template>
  50 <xsl:template match="char-bullet">•</xsl:template>
  51 <xsl:template match="char-str-open">`</xsl:template>
  52 <xsl:template match="char-str-close">´</xsl:template>
  53
  54 <xsl:template match="const-false"><span class="rm">false</span></xsl:template>
  55 <xsl:template match="const-true"><span class="rm">true</span></xsl:template>
  56
  57 <xsl:template match="x-hat"><b>x</b></xsl:template>
  58 <xsl:template match="y-hat"><b>y</b></xsl:template>
  59 <xsl:template match="z-hat"><b>z</b></xsl:template>
  60
  61 <xsl:template match="physical"><span class="nowrap"><xsl:apply-templates select="scalar" /><span class="xx-small"> </span><xsl:apply-templates select="unit" /></span></xsl:template>
  62 <xsl:template match="sci-fmt[@mantissa,@exp]"><span class="nowrap"><xsl:value-of select="@mantissa" /><span class="small-caps">e</span><xsl:value-of select="@exp" /></span></xsl:template>
  63 <xsl:template match="quote">“<xsl:apply-templates />”</xsl:template>
  64
  65 <xsl:template match="p[not(@class)]">
  66   <div class="p"><xsl:apply-templates/></div>
  67 </xsl:template>
  68 <xsl:template match="p[@class='center']">
  69   <div class="p" style="text-align:center;"><xsl:apply-templates/></div>
  70 </xsl:template>
  71 <xsl:template match="p[@class='todo']">
  72   <div class="p todo"><xsl:apply-templates/></div>
  73 </xsl:template>
  74
  75 <xsl:template match="ol">
  76   <ol><xsl:apply-templates/></ol>
  77 </xsl:template>
  78 <xsl:template match="ol/li">
  79   <li><xsl:apply-templates/></li>
  80 </xsl:template>
  81
  82 <xsl:template match="ul">
  83   <ul><xsl:apply-templates/></ul>
  84 </xsl:template>
  85 <xsl:template match="ul/li">
  86   <li><xsl:apply-templates/></li>
  87 </xsl:template>
  88
  89 <xsl:template match="pre">
  90 <pre>
  91 <xsl:apply-templates/>
  92 </pre>
  93 </xsl:template>
  94 <xsl:template match="pre[@class]">
  95 <xsl:element name="pre">
  96 <xsl:attribute name="class"><xsl:value-of select="@class" /></xsl:attribute>
  97 <xsl:apply-templates/>
  98 </xsl:element>
  99 </xsl:template>
 100
 101 <xsl:template match="note">
 102   <table class="note">
 103     <tr><td><xsl:apply-templates/></td></tr>
 104   </table>
 105 </xsl:template>
 106
 107 <xsl:template match="see-also">
 108   <div class="p">
 109     <b>See also:</b>
 110     <xsl:for-each select="*">
 111       <xsl:text> </xsl:text>
 112       <span class="horizontal-item">
 113         <xsl:apply-templates select="."/>
 114       </span>
 115     </xsl:for-each>
 116   </div>
 117 </xsl:template>
 118
 119 <xsl:template name="under-development-banner">
 120         <div class="upper-right-banner">
 121                 <div class="banner-content">Under development</div>
 122         </div>
 123 </xsl:template>
 124
 125 <xsl:template name="version-header">
 126         <div class="version-header"><xsl:text>For version </xsl:text>
 127                 <xsl:choose>
 128                         <xsl:when test="/book/shapes-version"><xsl:value-of select="/book/shapes-version/@number" /></xsl:when>
 129                         <xsl:when test="/man/manhead/shapes-version"><xsl:value-of select="/man/manhead/shapes-version/@number" /></xsl:when>
 130                 </xsl:choose>
 131                 <xsl:text>.</xsl:text>
 132         </div>
 133 </xsl:template>
 134
 135 <xsl:template name="head-navigation" >
 136         <xsl:call-template name="version-header" />
 137         <div class="p">
 138                 <xsl:element name="a"><xsl:attribute name="href"><xsl:value-of select="/book/base/@href" />index.html</xsl:attribute><xsl:text>To top.</xsl:text></xsl:element>
 139                 <xsl:if test="/book/up-link">
 140                         <xsl:text>  Up: </xsl:text><xsl:apply-templates select="/book/up-link" />
 141                 </xsl:if>
 142         </div>
 143 </xsl:template>
 144
 145 <xsl:template name="part-to-href">
 146         <xsl:param name="name" />
 147         <xsl:value-of select="/book/base/@href" /><xsl:choose>
 148                 <xsl:when test="$name='structure'">structure.html</xsl:when>
 149                 <xsl:when test="$name='syntax'">syntax.html</xsl:when>
 150                 <xsl:when test="$name='types'">types.html</xsl:when>
 151                 <xsl:when test="$name='state-types'">state-types.html</xsl:when>
 152                 <xsl:when test="$name='algo-tol'">algo-tol.html</xsl:when>
 153                 <xsl:when test="$name='man'">man.html</xsl:when>
 154                 <xsl:when test="$name='tutorial'">tutorial.html</xsl:when>
 155                 <xsl:when test="$name='guides'">guides/index.html</xsl:when>
 156                 <xsl:when test="$name='extensions'">extensions/index.html</xsl:when>
 157                 <xsl:when test="$name='install'">install.html</xsl:when>
 158                 <xsl:when test="$name='interactive'">interactive.html</xsl:when>
 159                 <xsl:when test="$name='edit'">edit.html</xsl:when>
 160                 <xsl:when test="$name='namespace-index'">namespace-index.html</xsl:when>
 161         </xsl:choose>
 162 </xsl:template>
 163 <xsl:template name="extension-to-href">
 164   <xsl:param name="namespace" />
 165   <xsl:param name="name" />
 166   <xsl:choose>
 167     <xsl:when test="$namespace">
 168       <xsl:value-of select="/book/base/@href" /><xsl:text>extensions/</xsl:text><xsl:value-of select="replace(replace($namespace, '^\.\.', ''), '\.\.', '-')" />-<xsl:value-of select="$name" /><xsl:text>.html</xsl:text>
 169     </xsl:when>
 170     <xsl:otherwise>
 171       <xsl:value-of select="/book/base/@href" /><xsl:text>extensions/</xsl:text><xsl:value-of select="$name" /><xsl:text>.html</xsl:text>
 172     </xsl:otherwise>
 173   </xsl:choose>
 174 </xsl:template>
 175 <xsl:template name="guide-to-href">
 176         <xsl:param name="name" />
 177         <xsl:value-of select="/book/base/@href" /><xsl:text>guides/</xsl:text><xsl:value-of select="$name" /><xsl:text>.html</xsl:text>
 178 </xsl:template>
 179 <xsl:template name="id-to-anchor-name">
 180         <xsl:param name="id" />
 181         <xsl:value-of select="replace(replace(concat('secid:', $id), '-', '--'), '/', '-.')" />
 182 </xsl:template>
 183 <xsl:template name="env-var-to-anchor-name">
 184         <xsl:param name="id" />
 185         <xsl:value-of select="replace(replace(concat('env:', $id), '-', '--'), '/', '-.')" />
 186 </xsl:template>
 187
 188 <xsl:template match="env-var[@name]">
 189         <xsl:element name="a">
 190                 <xsl:attribute name="class">discrete</xsl:attribute>
 191                 <xsl:attribute name="href">
 192                         <xsl:call-template name="part-to-href">
 193                                 <xsl:with-param name="name">man</xsl:with-param>
 194                         </xsl:call-template>#<xsl:call-template name="env-var-to-anchor-name">
 195                                 <xsl:with-param name="id"><xsl:value-of select="@name" /></xsl:with-param>
 196                         </xsl:call-template>
 197                 </xsl:attribute>
 198                 <xsl:value-of select="@name" />
 199         </xsl:element>
 200 </xsl:template>
 201
 202 <xsl:template match="part-href[@name]">
 203   <xsl:call-template name="part-to-href">
 204     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 205   </xsl:call-template>
 206 </xsl:template>
 207 <xsl:template match="extension-href[@name]">
 208   <xsl:call-template name="extension-to-href">
 209     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 210   </xsl:call-template>
 211 </xsl:template>
 212 <xsl:template name="name-to-linked-extension">
 213   <xsl:param name="current-namespace" />
 214   <xsl:param name="namespace" />
 215   <xsl:param name="name" />
 216   <xsl:variable name="ns">
 217     <xsl:choose>
 218       <xsl:when test="starts-with($namespace, '..')">
 219         <xsl:value-of select="$namespace" />
 220       </xsl:when>
 221       <xsl:when test="$namespace = ''">
 222         <xsl:value-of select="$current-namespace" />
 223       </xsl:when>
 224       <xsl:when test="$current-namespace = '..'">
 225         <xsl:value-of select="concat('..', $namespace)" />
 226       </xsl:when>
 227       <xsl:otherwise>
 228         <xsl:value-of select="concat($current-namespace, '..', $namespace)" />
 229       </xsl:otherwise>
 230     </xsl:choose>
 231   </xsl:variable>
 232   <xsl:element name="a">
 233     <xsl:attribute name="class">discrete</xsl:attribute>
 234     <xsl:attribute name="href">
 235       <xsl:call-template name="extension-to-href">
 236         <xsl:with-param name="namespace"><xsl:value-of select="$ns" /></xsl:with-param>
 237         <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 238       </xsl:call-template>
 239     </xsl:attribute>
 240     <xsl:choose>
 241       <xsl:when test="$ns = $current-namespace">
 242         <span class="filename"><xsl:value-of select="$name" /></span>
 243       </xsl:when>
 244       <xsl:when test="$current-namespace != ''">
 245         <xsl:variable name="prefix">^<xsl:value-of select="$current-namespace" />\.\.</xsl:variable>
 246         <xsl:call-template name="format-namespace-name">
 247           <xsl:with-param name="name"><xsl:value-of select="replace($ns, $prefix, '')" /></xsl:with-param>
 248         </xsl:call-template>
 249         <xsl:text> / </xsl:text>
 250         <span class="filename"><xsl:value-of select="$name" /></span>
 251       </xsl:when>
 252       <xsl:otherwise>
 253         <xsl:call-template name="format-namespace-name">
 254           <xsl:with-param name="name"><xsl:value-of select="$ns" /></xsl:with-param>
 255         </xsl:call-template>
 256         <xsl:text> / </xsl:text>
 257         <span class="filename"><xsl:value-of select="$name" /></span>
 258       </xsl:otherwise>
 259     </xsl:choose>
 260   </xsl:element>
 261 </xsl:template>
 262 <xsl:template match="extension[@path]">
 263   <xsl:variable name="namespace"><xsl:value-of select="replace(@path, '/.*$', '')" /></xsl:variable>
 264   <xsl:variable name="name"><xsl:value-of select="replace(@path, '^.*/', '')" /></xsl:variable>
 265   <xsl:call-template name="name-to-linked-extension">
 266     <xsl:with-param name="namespace"><xsl:value-of select="$namespace" /></xsl:with-param>
 267     <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 268   </xsl:call-template>
 269 </xsl:template>
 270 <xsl:template match="/book[namespace]//extension[@name]">
 271   <xsl:call-template name="name-to-linked-extension">
 272     <xsl:with-param name="current-namespace"><xsl:value-of select="ancestor::book[namespace][1]/namespace" /></xsl:with-param>
 273     <xsl:with-param name="namespace"><xsl:value-of select="@namespace" /></xsl:with-param>
 274     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 275   </xsl:call-template>
 276 </xsl:template>
 277 <xsl:template match="/book[not(namespace)]//extension[@name]">
 278   <xsl:call-template name="name-to-linked-extension">
 279     <xsl:with-param name="namespace"><xsl:value-of select="@namespace" /></xsl:with-param>
 280     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 281   </xsl:call-template>
 282 </xsl:template>
 283
 284 <xsl:template match="guide-href[@name]">
 285   <xsl:call-template name="guide-to-href">
 286     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 287   </xsl:call-template>
 288 </xsl:template>
 289
 290 <xsl:template match="a[(@part or @id) and not(@extension)]">
 291         <xsl:element name="a">
 292                 <xsl:attribute name="href">
 293                         <xsl:if test="@part">
 294                                 <xsl:call-template name="part-to-href">
 295                                         <xsl:with-param name="name"><xsl:value-of select="@part" /></xsl:with-param>
 296                                 </xsl:call-template>
 297                         </xsl:if>
 298                         <xsl:if test="@id">
 299                                 <xsl:text>#</xsl:text>
 300                                 <xsl:call-template name="id-to-anchor-name"><xsl:with-param name="id"><xsl:value-of select="@id" /></xsl:with-param></xsl:call-template>
 301                         </xsl:if>
 302                 </xsl:attribute>
 303                 <xsl:choose>
 304                         <xsl:when test="node()">
 305                                 <xsl:apply-templates />
 306                         </xsl:when>
 307                         <xsl:when test="@part">
 308                                 <span class="filename">
 309                                         <xsl:call-template name="part-to-href">
 310                                                 <xsl:with-param name="name"><xsl:value-of select="@part" /></xsl:with-param>
 311                                         </xsl:call-template>
 312                                 </span>
 313                         </xsl:when>
 314                         <xsl:otherwise>
 315                                 <xsl:variable name="dstid">
 316                                         <xsl:value-of select="@id" />
 317                                 </xsl:variable>
 318                                 <xsl:apply-templates select="//section[@id=$dstid]/title" />
 319                                 <xsl:apply-templates select="//example-with-output[@id=$dstid]/@title" />
 320                         </xsl:otherwise>
 321                 </xsl:choose>
 322         </xsl:element>
 323 </xsl:template>
 324 <xsl:template match="a[@id]/title">
 325   <xsl:variable name="dstid">
 326     <xsl:value-of select="../@id" />
 327   </xsl:variable>
 328   <xsl:apply-templates select="//section[@id=$dstid]/title" />
 329 </xsl:template>
 330 <xsl:template match="a[@extension]">
 331         <xsl:element name="a">
 332                 <xsl:attribute name="href">
 333                         <xsl:call-template name="extension-to-href">
 334                                 <xsl:with-param name="name"><xsl:value-of select="@extension" /></xsl:with-param>
 335                         </xsl:call-template>
 336                         <xsl:if test="@id">
 337                                 <xsl:text>#</xsl:text>
 338                                 <xsl:call-template name="id-to-anchor-name"><xsl:with-param name="id"><xsl:value-of select="@id" /></xsl:with-param></xsl:call-template>
 339                         </xsl:if>
 340                 </xsl:attribute>
 341                 <span class="filename"><xsl:value-of select="@extension" /></span>
 342         </xsl:element>
 343 </xsl:template>
 344 <xsl:template match="a[@guide]">
 345         <xsl:element name="a">
 346                 <xsl:attribute name="href">
 347                         <xsl:call-template name="guide-to-href">
 348                                 <xsl:with-param name="name"><xsl:value-of select="@guide" /></xsl:with-param>
 349                         </xsl:call-template>
 350                         <xsl:if test="@id">
 351                                 <xsl:text>#</xsl:text>
 352                                 <xsl:call-template name="id-to-anchor-name"><xsl:with-param name="id"><xsl:value-of select="@id" /></xsl:with-param></xsl:call-template>
 353                         </xsl:if>
 354                 </xsl:attribute>
 355                 <xsl:apply-templates />
 356         </xsl:element>
 357 </xsl:template>
 358
 359 <xsl:template match='a[@method="google-lucky" and @query]'>
 360         <xsl:element name="a">
 361                 <xsl:attribute name="href">http://www.google.com/search?btnI=I%27m%20Feeling%20Lucky&amp;q=<xsl:value-of select="encode-for-uri(@query)" /></xsl:attribute>
 362                 <xsl:choose>
 363                         <xsl:when test="node()">
 364                                 <xsl:apply-templates />
 365                         </xsl:when>
 366                         <xsl:otherwise>
 367                                 <xsl:text>[</xsl:text><xsl:call-template name="str-Google" /><xsl:text>_lucky `</xsl:text><xsl:value-of select="@query" /><xsl:text>´]</xsl:text>
 368                         </xsl:otherwise>
 369                 </xsl:choose>
 370         </xsl:element>
 371 </xsl:template>
 372 <xsl:template match='a[@method="google" and @query]'>
 373         <xsl:element name="a">
 374                 <xsl:attribute name="href">http://www.google.com/search?q=<xsl:value-of select="encode-for-uri(@query)" /></xsl:attribute>
 375                 <xsl:choose>
 376                         <xsl:when test="node()">
 377                                 <xsl:apply-templates />
 378                         </xsl:when>
 379                         <xsl:otherwise>
 380                                 <xsl:text>[</xsl:text><xsl:call-template name="str-Google" /><xsl:text> `</xsl:text><xsl:value-of select="@query" /><xsl:text>´]</xsl:text>
 381                         </xsl:otherwise>
 382                 </xsl:choose>
 383         </xsl:element>
 384 </xsl:template>
 385 <xsl:template match="a[@query]/query">
 386   <xsl:value-of select="../@query" />
 387 </xsl:template>
 388
 389 <xsl:template name="name-to-linked-type">
 390   <xsl:param name="name" />
 391   <xsl:element name="a">
 392     <xsl:attribute name="class">discrete</xsl:attribute>
 393     <xsl:attribute name="href"><xsl:call-template name="part-to-href"><xsl:with-param name="name">types</xsl:with-param></xsl:call-template>#type:<xsl:value-of select="$name" /></xsl:attribute>
 394     <xsl:call-template name="format-type-name">
 395       <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 396     </xsl:call-template>
 397   </xsl:element>
 398 </xsl:template>
 399 <xsl:template name="name-to-linked-statetype">
 400   <xsl:param name="name" />
 401   <xsl:element name="a">
 402     <xsl:attribute name="class">discrete</xsl:attribute>
 403     <xsl:attribute name="href"><xsl:call-template name="part-to-href"><xsl:with-param name="name">state-types</xsl:with-param></xsl:call-template>#statetype:<xsl:value-of select="$name" /></xsl:attribute>
 404     <xsl:call-template name="format-statetype-name">
 405       <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 406     </xsl:call-template>
 407   </xsl:element>
 408 </xsl:template>
 409
 410 <xsl:template match="named-type[@name and not(@link)]">
 411   <xsl:call-template name="name-to-linked-type">
 412     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 413   </xsl:call-template>
 414 </xsl:template>
 415 <xsl:template match="named-type[@name and @link='no']">
 416   <xsl:call-template name="format-type-name">
 417     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 418   </xsl:call-template>
 419 </xsl:template>
 420
 421 <xsl:template match="named-statetype[@name and not(@link)]">
 422   <xsl:call-template name="name-to-linked-statetype">
 423     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 424   </xsl:call-template>
 425 </xsl:template>
 426 <xsl:template match="named-statetype[@name and @link='no']">
 427   <xsl:call-template name="format-statetype-name">
 428     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 429   </xsl:call-template>
 430 </xsl:template>
 431
 432 <xsl:template name="format-template-type-name">
 433   <xsl:param name="name" />
 434   <span class="typename template">§<xsl:value-of select="$name" /></span>
 435 </xsl:template>
 436 <xsl:template name="format-template-statetype-name">
 437   <xsl:param name="name" />
 438   <span class="typename template">§•<xsl:value-of select="$name" /></span>
 439 </xsl:template>
 440
 441 <xsl:template match="parameter-type[@name]">
 442   <xsl:call-template name="format-template-type-name">
 443     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 444   </xsl:call-template>
 445 </xsl:template>
 446 <xsl:template match="template-type[@name]">
 447   <xsl:call-template name="format-template-type-name">
 448     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 449   </xsl:call-template>
 450 </xsl:template>
 451 <xsl:template match="template-statetype[@name]">
 452   <xsl:call-template name="format-template-statetype-name">
 453     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 454   </xsl:call-template>
 455 </xsl:template>
 456
 457 <xsl:template name="format-mutator-name">
 458         <xsl:param name="name" />
 459         <span class="varname"><xsl:value-of select="$name" /></span>
 460 </xsl:template>
 461 <xsl:template name="name-to-linked-mutator">
 462         <xsl:param name="extension" />
 463         <xsl:param name="extension-href" />
 464         <xsl:param name="type" />
 465         <xsl:param name="name" />
 466         <xsl:element name="a">
 467                 <xsl:attribute name="class">discrete</xsl:attribute>
 468                 <xsl:attribute name="href">
 469                         <xsl:choose>
 470                                 <xsl:when test="$extension">
 471                                         <xsl:call-template name="extension-to-href"><xsl:with-param name="name"><xsl:value-of select="$extension" /></xsl:with-param></xsl:call-template>#mutator:<xsl:value-of select="$type" />:<xsl:value-of select="$name" />
 472                                 </xsl:when>
 473                                 <xsl:when test="$extension-href">
 474                                         <xsl:value-of select="$extension-href" />#mutator:<xsl:value-of select="$type" />:<xsl:value-of select="$name" />
 475                                 </xsl:when>
 476                                 <xsl:otherwise>
 477                                         <xsl:call-template name="part-to-href"><xsl:with-param name="name">statetypes</xsl:with-param></xsl:call-template>#mutator:<xsl:value-of select="$type" />:<xsl:value-of select="$name" />
 478                                 </xsl:otherwise>
 479                         </xsl:choose>
 480                 </xsl:attribute>
 481                 <xsl:call-template name="format-statetype-name">
 482                         <xsl:with-param name="name"><xsl:value-of select="$type" /></xsl:with-param>
 483                 </xsl:call-template>
 484                 <span class="inline">/</span>
 485                 <xsl:call-template name="format-mutator-name">
 486                         <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 487                 </xsl:call-template>
 488         </xsl:element>
 489 </xsl:template>
 490 <xsl:template match="mutator[@type and @name and not(@extension)]">
 491         <xsl:call-template name="name-to-linked-mutator">
 492                 <xsl:with-param name="type"><xsl:value-of select="@type" /></xsl:with-param>
 493                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 494         </xsl:call-template>
 495 </xsl:template>
 496 <xsl:template match="mutator[@type and @name and @extension]">
 497         <xsl:call-template name="name-to-linked-mutator">
 498                 <xsl:with-param name="extension"><xsl:value-of select="@extension" /></xsl:with-param>
 499                 <xsl:with-param name="type"><xsl:value-of select="@type" /></xsl:with-param>
 500                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 501         </xsl:call-template>
 502 </xsl:template>
 503
 504 <xsl:template name="name-to-tol-param">
 505         <xsl:param name="name" />
 506         <span class="tolparam"><xsl:value-of select="@name" /></span>
 507 </xsl:template>
 508 <xsl:template match="tol-param[@name and @link='no']">
 509         <xsl:call-template name="name-to-operator">
 510                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 511         </xsl:call-template>
 512 </xsl:template>
 513 <xsl:template match="tol-param[@name and not(@link)]">
 514         <xsl:element name="a">
 515                 <xsl:attribute name="class">discrete</xsl:attribute>
 516                 <xsl:attribute name="href"><xsl:call-template name="part-to-href"><xsl:with-param name="name">algo-tol</xsl:with-param></xsl:call-template>#tol-<xsl:value-of select="@name" /></xsl:attribute>
 517                 <xsl:call-template name="name-to-operator">
 518                         <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 519                 </xsl:call-template>
 520         </xsl:element>
 521 </xsl:template>
 522
 523 <xsl:template name="name-to-operator">
 524         <xsl:param name="name" />
 525         <span class="inline"><xsl:value-of select="$name" /></span>
 526 </xsl:template>
 527 <xsl:template match="operator[@name]">
 528         <xsl:call-template name="name-to-operator">
 529                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 530         </xsl:call-template>
 531 </xsl:template>
 532 <xsl:template name="name-to-operator-unary-prefix">
 533         <xsl:param name="name" />
 534         <span class="inline"><xsl:value-of select="$name" /></span>
 535 </xsl:template>
 536 <xsl:template match="operator-unary-prefix[@name]">
 537         <xsl:call-template name="name-to-operator-unary-prefix">
 538                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 539         </xsl:call-template>
 540 </xsl:template>
 541
 542 <xsl:template name="format-namespace-name">
 543   <xsl:param name="name" />
 544   <span class="inline"><xsl:value-of select="$name" /></span>
 545 </xsl:template>
 546 <xsl:template name="name-to-linked-namespace">
 547   <xsl:param name="name" />
 548   <xsl:element name="a">
 549     <xsl:attribute name="class">discrete</xsl:attribute>
 550     <xsl:attribute name="href">
 551       <xsl:call-template name="namespace-to-href"><xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param></xsl:call-template>
 552     </xsl:attribute>
 553     <xsl:call-template name="format-namespace-name">
 554       <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 555     </xsl:call-template>
 556   </xsl:element>
 557 </xsl:template>
 558 <xsl:template match="user-namespace[@name]">
 559   <xsl:call-template name="format-namespace-name">
 560     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 561   </xsl:call-template>
 562 </xsl:template>
 563 <xsl:template match="namespace[@name]">
 564   <xsl:call-template name="name-to-linked-namespace">
 565     <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 566   </xsl:call-template>
 567 </xsl:template>
 568 <xsl:template match="namespace[@current and @relative]">
 569   <xsl:element name="a">
 570     <xsl:attribute name="class">discrete</xsl:attribute>
 571     <xsl:attribute name="href">
 572       <xsl:call-template name="namespace-to-href"><xsl:with-param name="name"><xsl:value-of select="@current" />..<xsl:value-of select="@relative" /></xsl:with-param></xsl:call-template>
 573     </xsl:attribute>
 574     <xsl:call-template name="format-namespace-name">
 575       <xsl:with-param name="name"><xsl:value-of select="@relative" /></xsl:with-param>
 576     </xsl:call-template>
 577   </xsl:element>
 578 </xsl:template>
 579 <xsl:template match="/book[namespace]//namespace[@relative and not(@current)]">
 580   <xsl:element name="a">
 581     <xsl:attribute name="class">discrete</xsl:attribute>
 582     <xsl:attribute name="href">
 583       <xsl:call-template name="namespace-to-href"><xsl:with-param name="name"><xsl:value-of select="/book/namespace" />..<xsl:value-of select="@relative" /></xsl:with-param></xsl:call-template>
 584     </xsl:attribute>
 585     <xsl:call-template name="format-namespace-name">
 586       <xsl:with-param name="name"><xsl:value-of select="@relative" /></xsl:with-param>
 587     </xsl:call-template>
 588   </xsl:element>
 589 </xsl:template>
 590
 591 <xsl:template match="em"><em><xsl:apply-templates/></em></xsl:template>
 592 <xsl:template match="b"><b><xsl:apply-templates/></b></xsl:template>
 593 <xsl:template match="weak"><span class="weak"><xsl:apply-templates/></span></xsl:template>
 594 <xsl:template match="inline"><span class="inline"><xsl:apply-templates/></span></xsl:template>
 595 <xsl:template match="bnf"><span class="bnf"><xsl:apply-templates/></span></xsl:template>
 596 <xsl:template match="union-type">
 597   <span class="typename"><xsl:text>( </xsl:text></span>
 598   <xsl:for-each select="./*">
 599     <xsl:if test="position() > 1">
 600       <span class="typestx"><xsl:text>∪</xsl:text></span><xsl:text> </xsl:text>
 601     </xsl:if>
 602     <xsl:apply-templates select="." />
 603     <xsl:text> </xsl:text>
 604   </xsl:for-each>
 605   <span class="typename">)</span>
 606 </xsl:template>
 607 <xsl:template match="singleton-type">
 608   <span class="typestx">§(</span>
 609   <xsl:apply-templates />
 610   <span class="typestx">)</span>
 611 </xsl:template>
 612 <xsl:template match="intersection-type">
 613   <span class="typestx"><xsl:text>(</xsl:text></span><xsl:text> </xsl:text>
 614   <xsl:for-each select="./*">
 615     <xsl:if test="position() > 1">
 616       <span class="typestx"><xsl:text>∩</xsl:text></span><xsl:text> </xsl:text>
 617     </xsl:if>
 618     <xsl:apply-templates select="." />
 619     <xsl:text> </xsl:text>
 620   </xsl:for-each>
 621   <span class="typestx">)</span>
 622 </xsl:template>
 623 <xsl:template name="name-to-field">
 624   <xsl:param name="name" />
 625   <fieldname><xsl:value-of select="$name" /></fieldname>
 626 </xsl:template>
 627 <xsl:template match="structure-type">
 628   <span class="typestx"><xsl:text>(&gt;</xsl:text></span><xsl:text> </xsl:text>
 629   <xsl:for-each select="field">
 630     <xsl:if test="@name">
 631       <xsl:call-template name="name-to-field">
 632         <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 633       </xsl:call-template>
 634     </xsl:if>
 635     <xsl:if test="not(@name)">
 636       <xsl:value-of select="position( )" />
 637     </xsl:if>
 638     <xsl:choose>
 639     <xsl:when test="type">
 640       <xsl:text>::</xsl:text><xsl:apply-templates select="type" />
 641     </xsl:when>
 642     <xsl:when test="value">
 643       <xsl:text>:</xsl:text><xsl:apply-templates select="value" />
 644     </xsl:when>
 645     <xsl:otherwise>
 646       <xsl:text>::</xsl:text><typename>Any-Type</typename>
 647     </xsl:otherwise>
 648     </xsl:choose>
 649     <xsl:text> </xsl:text>
 650   </xsl:for-each>
 651   <span class="typestx">&lt;)</span>
 652 </xsl:template>
 653 <xsl:template match="function-type">
 654   <span class="typestx"><xsl:text>(</xsl:text></span><xsl:text> </xsl:text>
 655   <xsl:apply-templates select="arguments" />
 656   <xsl:text> </xsl:text><span class="typestx"><xsl:text>→</xsl:text></span><xsl:text> </xsl:text>
 657   <xsl:apply-templates select="result" />
 658   <xsl:text> </xsl:text><span class="typestx"><xsl:text>)</xsl:text></span>
 659 </xsl:template>
 660 <xsl:template match="typename"><span class="typename"><xsl:apply-templates/></span></xsl:template>
 661 <xsl:template match="typename[@class='replacable']">
 662   <span class="typename replacable"><xsl:apply-templates/></span>
 663 </xsl:template>
 664 <xsl:template match="replacable-text[@name]">
 665   <span class="varname replacable"><xsl:value-of select="@name" /></span>
 666 </xsl:template>
 667 <xsl:template match="parameterized-type">
 668         <span class="typestx"><xsl:text>[</xsl:text></span>
 669         <xsl:call-template name="name-to-linked-type">
 670                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 671         </xsl:call-template>
 672         <xsl:for-each select="./*">
 673                 <xsl:text> </xsl:text>
 674                 <xsl:apply-templates select="." />
 675         </xsl:for-each>
 676         <span class="typestx"><xsl:text>]</xsl:text></span>
 677 </xsl:template>
 678
 679 <xsl:template name="name-to-argument">
 680         <xsl:param name="name" />
 681         <xsl:param name="class" />
 682         <xsl:element name="span">
 683                 <xsl:attribute name="class">varname <xsl:value-of select="$class" /></xsl:attribute>
 684                 <xsl:value-of select="$name" />
 685         </xsl:element>
 686 </xsl:template>
 687 <xsl:template match="p/arg[@name] | td/arg[@name] | singleton-type/arg[@name]">
 688         <xsl:call-template name="name-to-argument">
 689                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 690                 <xsl:with-param name="class"><xsl:value-of select="@class" /></xsl:with-param>
 691         </xsl:call-template>
 692 </xsl:template>
 693
 694 <xsl:template name="name-to-state-argument">
 695         <xsl:param name="name" />
 696         <xsl:param name="class" />
 697         <xsl:element name="span">
 698                 <xsl:attribute name="class">varname <xsl:value-of select="$class" /></xsl:attribute>
 699                 <xsl:call-template name="format-state-name">
 700                         <xsl:with-param name="name"><xsl:value-of select="$name" /></xsl:with-param>
 701                 </xsl:call-template>
 702         </xsl:element>
 703 </xsl:template>
 704 <xsl:template match="state-arg[@name]">
 705         <xsl:call-template name="name-to-state-argument">
 706                 <xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param>
 707                 <xsl:with-param name="class"><xsl:value-of select="@class" /></xsl:with-param>
 708         </xsl:call-template>
 709 </xsl:template>
 710
 711 <xsl:template match="field[@name and not(@class)]">
 712   <span class="varname"><xsl:value-of select="@name" /></span>
 713 </xsl:template>
 714 <xsl:template match="field[@name and @class='replacable']">
 715   <span class="varname replacable"><xsl:value-of select="@name" /></span>
 716 </xsl:template>
 717
 718 <xsl:template match="lexerregexp">
 719   <span class="lexerregexp"><xsl:apply-templates/></span>
 720 </xsl:template>
 721 <xsl:template match="syntax[@name and @class='new']">
 722   <xsl:element name="a">
 723     <xsl:attribute name="name">stx-.<xsl:value-of select="@name" /></xsl:attribute>
 724     <span class="syntaxname-new"><xsl:value-of select="@name"/></span>
 725   </xsl:element>
 726 </xsl:template>
 727 <xsl:template match="syntax[@name and not(@class)]">
 728   <xsl:element name="a">
 729     <xsl:attribute name="class">discrete</xsl:attribute>
 730     <xsl:attribute name="href"><xsl:call-template name="part-to-href"><xsl:with-param name="name">syntax</xsl:with-param></xsl:call-template>#stx-.<xsl:value-of select="@name" /></xsl:attribute>
 731     <span class="syntaxname"><xsl:value-of select="@name"/></span>
 732   </xsl:element>
 733 </xsl:template>
 734 <xsl:template match="a[@href]">
 735   <xsl:element name="a">
 736     <xsl:attribute name="href"><xsl:value-of select="@href" /></xsl:attribute>
 737     <xsl:apply-templates/>
 738   </xsl:element>
 739 </xsl:template>
 740
 741 <xsl:template match="unit">
 742   <xsl:element name="span">
 743     <xsl:attribute name="class">
 744       <xsl:text>unit</xsl:text>
 745       <xsl:if test="@class"><xsl:text> </xsl:text><xsl:value-of select="@class" /></xsl:if>
 746     </xsl:attribute>
 747     <xsl:apply-templates/>
 748   </xsl:element>
 749 </xsl:template>
 750
 751 <xsl:template match="filename"><span class="filename"><xsl:value-of select="." /></span></xsl:template>
 752 <xsl:template match="progname"><span class="terminal"><xsl:value-of select="." /></span></xsl:template>
 753 <xsl:template match="command-line">
 754 <pre class="terminal">
 755 <xsl:apply-templates/>
 756 </pre>
 757 </xsl:template>
 758
 759 <xsl:template match="tight-table">
 760   <table class="tight"><xsl:apply-templates select="head/tr | body/tr"/></table>
 761 </xsl:template>
 762 <xsl:template match="loose-table">
 763   <table class="loose"><xsl:apply-templates select="head/tr | body/tr"/></table>
 764 </xsl:template>
 765
 766 <xsl:template match="tr">
 767   <tr><xsl:apply-templates/></tr>
 768 </xsl:template>
 769 <xsl:template match="tr[@align]">
 770   <xsl:element name="tr">
 771     <xsl:attribute name="align"><xsl:value-of select="./@align" /></xsl:attribute>
 772     <xsl:apply-templates/>
 773   </xsl:element>
 774 </xsl:template>
 775 <xsl:template match="head/tr/td">
 776   <th><xsl:apply-templates/></th>
 777 </xsl:template>
 778 <xsl:template match="td">
 779   <td><xsl:apply-templates/></td>
 780 </xsl:template>
 781 <xsl:template match="th">
 782   <th><xsl:apply-templates/></th>
 783 </xsl:template>
 784 <xsl:template match="th[@colspan]">
 785   <xsl:element name="th">
 786     <xsl:attribute name="colspan"><xsl:value-of select="./@colspan" /></xsl:attribute>
 787     <xsl:apply-templates/>
 788   </xsl:element>
 789 </xsl:template>
 790
 791 <xsl:template match="img">
 792         <xsl:choose>
 793                 <xsl:when test="@target">
 794                         <xsl:element name="a">
 795                                 <xsl:attribute name="href"><xsl:value-of select="iri-to-uri(replace(@src,'%','%25'))" /></xsl:attribute>
 796                                 <xsl:attribute name="target"><xsl:value-of select="@target" /></xsl:attribute>
 797                                 <xsl:element name="img">
 798                                         <xsl:if test="@class">
 799                                                 <xsl:attribute name="class"><xsl:value-of select="@class" /></xsl:attribute>
 800                                         </xsl:if>
 801                                         <xsl:attribute name="src"><xsl:value-of select="iri-to-uri(replace(@src,'%','%25'))" /></xsl:attribute>
 802                                         <xsl:attribute name="alt"><xsl:value-of select="@alt" /></xsl:attribute>
 803                                         <xsl:if test="@width"><xsl:attribute name="width"><xsl:value-of select="@width" /></xsl:attribute></xsl:if>
 804                                         <xsl:if test="@height"><xsl:attribute name="height"><xsl:value-of select="@height" /></xsl:attribute></xsl:if>
 805                                 </xsl:element>
 806                         </xsl:element>
 807                 </xsl:when>
 808                 <xsl:otherwise>
 809                         <xsl:element name="img">
 810                                         <xsl:if test="@class">
 811                                                 <xsl:attribute name="class"><xsl:value-of select="@class" /></xsl:attribute>
 812                                         </xsl:if>
 813                                 <xsl:attribute name="src"><xsl:value-of select="iri-to-uri(replace(@src,'%','%25'))" /></xsl:attribute>
 814                                 <xsl:attribute name="alt"><xsl:value-of select="@alt" /></xsl:attribute>
 815                                 <xsl:if test="@width"><xsl:attribute name="width"><xsl:value-of select="@width" /></xsl:attribute></xsl:if>
 816                                 <xsl:if test="@height"><xsl:attribute name="height"><xsl:value-of select="@height" /></xsl:attribute></xsl:if>
 817                         </xsl:element>
 818                 </xsl:otherwise>
 819         </xsl:choose>
 820 </xsl:template>
 821 <xsl:template match="figure[image]">
 822         <div class="p">
 823                 <table class="figure">
 824                         <tr align="center"><td>
 825                                 <xsl:if test="@id">
 826                                         <xsl:element name="a">
 827                                                 <xsl:attribute name="name"><xsl:call-template name="id-to-anchor-name"><xsl:with-param name="id"><xsl:value-of select="@id" /></xsl:with-param></xsl:call-template></xsl:attribute>
 828                                         </xsl:element>
 829                                 </xsl:if>
 830                                 <xsl:apply-templates select="image/*" />
 831                         </td></tr>
 832                         <tr><td class="here-caption">
 833                                 <xsl:apply-templates select="caption/*" />
 834                         </td></tr>
 835                 </table>
 836         </div>
 837 </xsl:template>
 838
 839
 840 <xsl:template match="arguments">
 841         <xsl:for-each select="arg | state">
 842                 <xsl:if test="position() > 1">
 843                         <xsl:text> </xsl:text>
 844                 </xsl:if>
 845                 <xsl:apply-templates select="." />
 846         </xsl:for-each>
 847         <xsl:if test="sink">
 848                 <xsl:if test="arg | state">
 849                         <xsl:text> </xsl:text>
 850                 </xsl:if>
 851                 <xsl:apply-templates select="sink"/>
 852         </xsl:if>
 853 </xsl:template>
 854
 855 <xsl:template match="arguments/arg">
 856         <xsl:if test="@identifier">
 857                 <xsl:call-template name="name-to-argument"><xsl:with-param name="name"><xsl:value-of select="@identifier" /></xsl:with-param></xsl:call-template>
 858         </xsl:if>
 859         <xsl:apply-templates select="default"/>
 860         <xsl:apply-templates select="type"/>
 861 </xsl:template>
 862 <xsl:template match="arguments/arg/default">:<xsl:apply-templates /></xsl:template>
 863 <xsl:template match="arguments/arg/type"><xsl:text>::</xsl:text><xsl:apply-templates select="*" /></xsl:template>
 864
 865 <xsl:template match="arguments/state[@identifier]">
 866         <xsl:call-template name="name-to-state-argument"><xsl:with-param name="name"><xsl:value-of select="@identifier" /></xsl:with-param></xsl:call-template>
 867         <xsl:apply-templates select="type"/>
 868 </xsl:template>
 869 <xsl:template match="arguments/state[not(@identifier)]">
 870         <xsl:apply-templates select="type"/>
 871 </xsl:template>
 872 <xsl:template match="arguments/state/type"><xsl:text>::</xsl:text><xsl:apply-templates /></xsl:template>
 873
 874 <xsl:template match="arguments/sink[@identifier]">
 875         <xsl:text>&lt;&gt;</xsl:text><xsl:call-template name="name-to-argument"><xsl:with-param name="name"><xsl:value-of select="@identifier" /></xsl:with-param></xsl:call-template>
 876         <xsl:apply-templates select="type"/>
 877 </xsl:template>
 878 <xsl:template match="arguments/sink[not(@identifier)]">
 879         <xsl:text>&lt;&gt;</xsl:text>
 880         <xsl:apply-templates select="type"/>
 881 </xsl:template>
 882 <xsl:template match="arguments/sink/type"><xsl:text>::{</xsl:text><xsl:apply-templates /><xsl:text>}</xsl:text></xsl:template>
 883
 884 <xsl:template match="type-templates">
 885         <table class="type-templates">
 886                 <xsl:apply-templates />
 887         </table>
 888 </xsl:template>
 889 <xsl:template match="type-templates/template[@name]">
 890         <tr>
 891                 <td align="right"><xsl:call-template name="format-template-type-name"><xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param></xsl:call-template>  </td>
 892                 <td>
 893                         <xsl:apply-templates select="description"/>
 894                 </td>
 895         </tr>
 896 </xsl:template>
 897 <xsl:template match="type-templates/template-state[@name]">
 898         <tr>
 899                 <td align="right"><xsl:call-template name="format-template-statetype-name"><xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param></xsl:call-template>  </td>
 900                 <td>
 901                         <xsl:apply-templates select="description"/>
 902                 </td>
 903         </tr>
 904 </xsl:template>
 905
 906 <xsl:template match="book[namespace and not(extension)]/title/self">
 907   <xsl:value-of select="../../namespace" />
 908 </xsl:template>
 909 <xsl:template match="/book[namespace and not(extension)]/top/p/self">
 910   <xsl:call-template name="format-namespace-name">
 911     <xsl:with-param name="name"><xsl:value-of select="/book/namespace" /></xsl:with-param>
 912   </xsl:call-template>
 913 </xsl:template>
 914
 915 <xsl:template match="book[namespace and extension]/title/self">
 916   <xsl:value-of select="../../extension" />
 917 </xsl:template>
 918 <xsl:template match="/book[namespace and extension]/top/p/self">
 919   <span class="filename"><xsl:value-of select="ancestor::book/extension" /></span>
 920 </xsl:template>
 921
 922 <xsl:template match="book[namespace and not(extension)]/meta-selflink/self-href">
 923   <xsl:call-template name="namespace-to-href">
 924     <xsl:with-param name="name"><xsl:value-of select="../../namespace" /></xsl:with-param>
 925   </xsl:call-template>
 926 </xsl:template>
 927 <xsl:template match="book[namespace and extension]/meta-selflink/self-href">
 928   <xsl:call-template name="extension-to-href">
 929     <xsl:with-param name="namespace"><xsl:value-of select="../../namespace" /></xsl:with-param>
 930     <xsl:with-param name="name"><xsl:value-of select="../../extension" /></xsl:with-param>
 931   </xsl:call-template>
 932 </xsl:template>
 933
 934 <xsl:template match="book[namespace and not(extension)]/up-link/parent-namespace">
 935   <xsl:variable name="ns"><xsl:value-of select="../../namespace" /></xsl:variable>
 936   <xsl:call-template name="name-to-linked-namespace">
 937     <xsl:with-param name="name"><xsl:value-of select="replace($ns, '\.\.[^.]*$', '')" /></xsl:with-param>
 938   </xsl:call-template>
 939 </xsl:template>
 940 <xsl:template match="book[namespace and extension]/up-link/parent-namespace">
 941   <xsl:call-template name="name-to-linked-namespace">
 942     <xsl:with-param name="name"><xsl:value-of select="../../namespace" /></xsl:with-param>
 943   </xsl:call-template>
 944 </xsl:template>
 945
 946 <xsl:template match="type-parameters">
 947   <table class="type-templates">
 948     <xsl:apply-templates />
 949   </table>
 950 </xsl:template>
 951 <xsl:template match="type-parameters/parameter[@name]">
 952   <tr>
 953     <td align="right"><xsl:call-template name="format-template-type-name"><xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param></xsl:call-template>  </td>
 954     <td>
 955       <xsl:apply-templates select="description"/>
 956     </td>
 957   </tr>
 958 </xsl:template>
 959 <xsl:template match="type-parameters/parameter-state[@name]">
 960   <tr>
 961     <td align="right"><xsl:call-template name="format-template-statetype-name"><xsl:with-param name="name"><xsl:value-of select="@name" /></xsl:with-param></xsl:call-template>  </td>
 962     <td>
 963       <xsl:apply-templates select="description"/>
 964     </td>
 965   </tr>
 966 </xsl:template>
 967
 968 <xsl:template name="SF-placeholder" >
 969         <xsl:comment>PUT-SF-LOGO-HERE</xsl:comment>
 970 </xsl:template>
 971
 972 <xsl:template match="eq"><span class="eq"><xsl:apply-templates/></span></xsl:template>
 973 <xsl:template match="eq//op"><span class="rm"><xsl:apply-templates/></span></xsl:template>
 974 <xsl:template match="eq//rm"><span class="rm"><xsl:apply-templates/></span></xsl:template>
 975 <xsl:template match="eq//text"><span class="text"><xsl:apply-templates/></span></xsl:template>
 976 <xsl:template match="eq//sub"><sub><xsl:apply-templates/></sub></xsl:template>
 977 <xsl:template match="eq//sup"><sup><xsl:apply-templates/></sup></xsl:template>
 978
 979 </xsl:stylesheet>