- we added a parser for lambda-delta textual syntax (file extension .hln)

[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl

index 2b8edb470ea0e5f3496f688be54ba1d5c941fae8..13668ee51723d09ce0c8afa493af5bb2411cc2ae 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -24,14 +24,14 @@
              href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
        />
     </head><body>
-      <h1 style="text-align: center;">
+      <div style="text-align: center;"><br>
           <a href="http://helm.cs.unibo.it/lambda-delta/">
           <img style="border: 0px solid; width: 32px; height: 32px;" 
               alt="[lambda-delta home]"
                title="lambda-delta home"
               src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
          /></a>
-      </h1>
+      </div>
        <xsl:apply-templates/><h2/>
        <div style="text-align: center;">
           <a href="http://validator.w3.org/check?uri=referer">
@@ -47,8 +47,8 @@
                style="border: 0px solid ; width: 147px; height: 42px;"
          /></a>
          <img style="width: 88px; height: 31px;"
-             alt="[png used here]"
-             title="png used here"
+             alt="[PNG used here]"
+             title="PNG used here"
               src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
          />
        </div>