]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_library.xsl
- initial description of OSN
[helm.git] / helm / www / lambdadelta / xslt / ld_web_library.xsl
index 0a497c7b0b29e6775edbc8ff0867596b8ce78ef8..fb76831dc8510dd4792523c85b7200c11a90442a 100644 (file)
@@ -9,8 +9,8 @@
    <div class="spacer">
       <a href="{$baseurl}">
          <img class="icon32"
-             alt="[lambdadelta home]"
-             title="lambdadelta home"
+             alt="[\lambda\delta home]"
+             title="\lambda\delta home"
              src="{$baseurl}images/crux_32.png"
          />
       </a>
@@ -21,7 +21,7 @@
    <div class="spacer">
       <img class="rule"
            alt="[Spacer]"
-          title="lambdadelta rainbow rule"
+          title="\lambda\delta rainbow rule"
            src="{$baseurl}images/rainbow.png"
       />
    </div>
@@ -31,7 +31,7 @@
    <xsl:param name="name"/>
    <img class="icon37"
       alt="[spacer]"
-      title="lambdadelta butterfly"
+      title="\lambda\delta butterfly"
       src="{$baseurl}images/b{$name}.png"
    />
 </xsl:template>
@@ -89,8 +89,8 @@
 <xsl:template name="helena">
    <a href="{$baseurl}implementation.html#helena">
       <img class="w3c"
-           alt="[Powered by Helena lambdadelta processor]"
-          title="Powered by Helena lambdadelta processor"
+           alt="[Powered by Helena \lambda\delta processor]"
+          title="Powered by Helena \lambda\delta processor"
           src="{$baseurl}images/helena_label.png"
       />
    </a>