]> matita.cs.unibo.it Git - helm.git/commitdiff
some inprovements on the generated html pages
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Aug 2010 11:37:52 +0000 (11:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Aug 2010 11:37:52 +0000 (11:37 +0000)
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/xml/ld-html-entity.xsl
helm/software/lambda-delta/xml/ld-html-library.xsl
helm/software/lambda-delta/xml/ld-html-root.xsl

index 353b70187066fccd7e265ba76d5162bdef5e2a53..a690738d3d522e70630654d7627fa159ff2fbc9b 100644 (file)
@@ -23,6 +23,8 @@ XMLS = xml/brg-si/grundlagen/l/not.ld.xml \
 
 include Makefile.common
 
+LDDLDIR = ../../../public_html/lddl
+
 HOME = .
 
 INPUT = examples/grundlagen/grundlagen.aut
index ac30dacbf2c19930f5b5caefacb43d8e4abbcb86..84eea2c2304e860cf29d12ed35358e53eff478b7 100644 (file)
@@ -20,6 +20,7 @@
       <xsl:text>Declaration:</xsl:text>
       <xsl:call-template name="entity"/>
    </h2>
+   <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 </xsl:template>
 
@@ -28,6 +29,7 @@
       <xsl:text>Definition:</xsl:text>
       <xsl:call-template name="entity"/>
    </h2>
+   <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 </xsl:template>
 
index cf6857d654377042ba5945673ca599f41bc8a715..86e7c449de06431f4ba8b5b84667f180b4eff374 100644 (file)
    <xsl:call-template name="cp"/>
 </xsl:template>
 
+<xsl:template name="META">
+   <div>Informal description: "<xsl:value-of select="@meta"/>"</div><h2/>
+</xsl:template>
+
 </xsl:stylesheet>
index 13668ee51723d09ce0c8afa493af5bb2411cc2ae..1c74233978a524f00443d288b4cb3ccbcaa811d7 100644 (file)
             href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
       />
    </head><body>
-      <div style="text-align: center;"><br>
-         <a href="http://helm.cs.unibo.it/lambda-delta/">
+      <div style="text-align: center;"><h2/>         
+        <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"
+             alt="[lambda-delta home]" title="lambda-delta home"
              src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
         /></a>
-      </div>
-      <xsl:apply-templates/><h2/>
-      <div style="text-align: center;">
+        <h1>λδ Digital Library (LDDL)</h1>
+        <img style="width: 95%; height: 4px;"
+             alt="[Separator]" title="Separator"
+             src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+        />
+         <table border="0" cellpadding="0" cellspacing="0"
+                style="text-align: left; width: 95%; 
+                      margin-left: auto; margin-right: auto;"
+         ><tbody><tr><td style="vertical-align: top;">
+           <xsl:apply-templates/>
+        </td></tr></tbody></table><h2/>
          <a href="http://validator.w3.org/check?uri=referer">
          <img alt="[Valid HTML 4.01 Transitional]"
              title="Valid HTML 4.01 Transitional"
@@ -51,7 +58,7 @@
              title="PNG used here"
              src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
         />
-      </div>
+      <h2/></div>
    </body></html>
 </xsl:template>