]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
- initial description of OSN
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index f95f293a874666c9c08fa0a6d848acde38ac02de..e3d04bbafc88a6381ac5d129a3e6ac104409e93b 100644 (file)
    </a>
 </xsl:template>
 
+<xsl:template match="ld:newline">
+   <br/>
+</xsl:template>
+
 <xsl:template match="ld:list">
    <ul><xsl:apply-templates/></ul>
 </xsl:template>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
+<xsl:template match="ld:osn-icon">
+   <img class="w3c"
+       alt="[Open Symbolic Notation logo]"
+       title="OSN: Open Symbolic Notation"
+       src="{$baseurl}images/osn_label.png"
+   />
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:footer">
    <xsl:call-template name="rule"/>
    <div class="spacer"><br/></div>