]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/links_library.xsl
Many improvements in theory-rendering.
[helm.git] / helm / style / links_library.xsl
index f216db609b8795cd74936689b4028ea6e790c1f1..18db37a0ca2835d1710fc7bcc4fbbb290a508e29 100644 (file)
 
 <xsl:template name="makeURL4embedding">
 <xsl:param name="uri" select="''"/>
-<xsl:param name="type" select="0"/>
+<xsl:param name="type" select="'standalone'"/>
  <xsl:value-of select="$header1"/>
  <xsl:value-of select="$quotedembedkeys"/>
  <xsl:value-of select="$header2"/>