]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/lddl_root.xsl
web site update
[helm.git] / helm / www / lambdadelta / xslt / lddl_root.xsl
index ba2dd9028ee17702ed767a8309d1c138f10ea954..43aa1656e4d9e5ff36854c16cc5f234d7e9a5611 100644 (file)
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:ld="http://lambdadelta.info"
-                             xmlns="http://www.w3.org/1999/xhtml"
+                              xmlns:ld="http://lambdadelta.info/"
+                              xmlns="http://lambdadelta.info/"
 >
 
-<xsl:strip-space elements="ENTITY"/>
-
 <xsl:template match="/">
-   <html xmlns="http://www.w3.org/1999/xhtml"><head>
-      <meta http-equiv="Content-Language" content="en-us"/>
-      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
-      <meta http-equiv="Content-Style-Type" content="text/css"/>
-      <meta name="author" content="Ferruccio Guidi"/>
-      <meta name="description" content="lambdadelta digital library"/>
-      <title>lambdadelta digital library (LDDL)</title>
-      <link rel="stylesheet" type="text/css"
-            href="http://lambdadelta.info/css/ld.css"
-      />
-      <link rel="stylesheet" type="text/css"
-            href="http://lambdadelta.info/css/lddl.css"
-      />
-      <link rel="shortcut icon" 
-            href="http://lambdadelta.info/download/crux_16.ico"
-      />
-   </head><body>
-      <div class="spacer">         
-        <a href="http://lambdadelta.info/">
-         <img class="icon32" 
-             alt="[lambdadelta home]" title="lambdadelta home"
-             src="http://lambdadelta.info/download/crux_32.png"
-        /></a>
-      </div>
-      <div class="head1">       
-        <xsl:call-template name="lddl"/>
-      </div>
-      <div class="spacer"> 
-        <img class="rule"
-             alt="[Spacer]" title="lambdadelta rainbow rule"
-             src="http://lambdadelta.info/download/rainbow.png"
-        />
-      </div>       
-      <xsl:apply-templates/>
-      <div class="spacer">
-         <a href="http://validator.w3.org/check?uri=referer">
-        <img class="w3c"
-             alt="[Valid XHTML 1.1]"
-             title="Valid XHTML 1.1"
-             src="http://www.w3.org/Icons/valid-xhtml11-blue"
-        /></a>  
-        <a href="http://jigsaw.w3.org/css-validator/check/referer">
-         <img class="w3c"
-             alt="[Valid CSS level 2]"
-             title="Valid CSS level 2"
-             src="http://www.w3.org/Icons/valid-css2-blue"
-        /></a>  
-        <a href="http://www.w3.org/XML/">
-         <img class="w3c"
-             alt="[Generated from XML via XSL]"
-             title="Generated from XML via XSL"
-             src="http://lambdadelta.info/download/xml_xsl2.png"
-        /></a>
-        <a href="http://lambdadelta.info/implementation.html#helena">
-         <img class="w3c"
-             alt="[Powered by Helena lambdadelta processor]"
-             title="Powered by Helena lambdadelta processor"
-             src="http://lambdadelta.info/download/helena_label.png"
-        /></a>
-        <a href="http://www.w3.org/Graphics/PNG/">
-        <img class="w3c"
-             alt="[PNG used here]"
-             title="PNG used here"
-             src="http://lambdadelta.info/download/PNGnow2.png"
-        /></a>
-        <a href="http://www.anybrowser.org/campaign/">
-        <img class="w3c"
-             alt="[Viewable with any browser]"
-             title="Viewable with any browser"
-              src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
-        /></a>
-      </div>
-   </body></html>
+   <page description = "\lambda\delta home page"
+         title = "\lambda\delta home page"
+         head = "λδ digital library (LDDL)"
+   >
+      <sitemap name="sitemap"/>
+      <xsl:apply-templates select="*"/>
+      <footer><img label="helena"/></footer>
+   </page>
 </xsl:template>
 
-<xsl:template match="ld:ENTITY">
-   <xsl:apply-templates/>
-   <div class="text">
+<xsl:template match="ld:CONSTANT">
+   <xsl:apply-templates select="*"/>
+   <body>
       <xsl:call-template name="vpars"/>
       <xsl:call-template name="shier"/>
       <xsl:call-template name="qt"/>
       <xsl:call-template name="qt"/>
       <xsl:value-of select="@options"/>
       <xsl:call-template name="qt"/>
-   </div>
+   </body>
+</xsl:template>
+
+<xsl:template match="@*|node()">
+   <xsl:copy>
+      <xsl:apply-templates select="@*|node()"/>
+   </xsl:copy>
 </xsl:template>
 
 </xsl:stylesheet>