]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-root.xsl
New behaviour of fo_unif: in case of ?f args == t args'
[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
index 13668ee51723d09ce0c8afa493af5bb2411cc2ae..79cf8352abea7cb8292e230e4b84d338be3c29ec 100644 (file)
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:strip-space elements="ENTITY"/>
 
 <xsl:template match="/">
-   <html><head>
-      <meta content="Ferruccio Guidi" name="author"/>
-      <meta content="lambda-delta digital library" name="description"/>
+   <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="lambda-delta digital library"/>
       <title>lambda-delta digital library (LDDL)</title>
+      <link rel="stylesheet" type="text/css"
+            href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
+      />
       <link rel="shortcut icon" 
             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/">
-         <img style="border: 0px solid; width: 32px; height: 32px;" 
-             alt="[lambda-delta home]"
-              title="lambda-delta home"
+      <div class="spacer">         
+        <a href="http://helm.cs.unibo.it/lambda-delta/">
+         <img class="icon32" 
+             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;">
+      <div class="head1">       
+        <xsl:call-template name="lddl"/>
+      </div>
+      <div class="spacer"> 
+        <img class="rule"
+             alt="[Spacer]" title="lambda-delta rainbow rule"
+             src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+        />
+      </div>       
+      <xsl:apply-templates/>
+      <div class="spacer">
          <a href="http://validator.w3.org/check?uri=referer">
-         <img alt="[Valid HTML 4.01 Transitional]"
-             title="Valid HTML 4.01 Transitional"
-              src="http://www.w3.org/Icons/valid-html401"
-              style="border: 0px solid ; width: 88px; height: 31px;"
-         /></a>
-        <a href="http://www.anybrowser.org/campaign/">
-        <img alt="[Use any browser here]"
-             title="Use any browser here"
-              src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
-              style="border: 0px solid ; width: 147px; height: 42px;"
+        <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://helm.cs.unibo.it/lambda-delta/download/xml_xsl2.png"
+        /></a>
+        <a href="http://helm.cs.unibo.it/lambda-delta/implementation.html#helena">
+         <img class="w3c"
+             alt="[Powered by Helena lambda-delta processor]"
+             title="Powered by Helena lambda-delta processor"
+             src="http://helm.cs.unibo.it/lambda-delta/download/helena-label.png"
         /></a>
-        <img style="width: 88px; height: 31px;"
+        <a href="http://www.w3.org/Graphics/PNG/">
+        <img class="w3c"
              alt="[PNG used here]"
              title="PNG used here"
              src="http://www.cs.unibo.it/%7Efguidi/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>
 </xsl:template>
 
 <xsl:template match="ENTITY">
-   <xsl:apply-templates/><h2/>
-   <div>
-      Validation parameters:
-      sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
-      kernel options = "<xsl:value-of select="@options"/>"
+   <xsl:apply-templates/>
+   <div class="text">
+      <xsl:call-template name="vpars"/>
+      <xsl:call-template name="shier"/>
+      <xsl:call-template name="qt"/>
+      <xsl:value-of select="@hierarchy"/>
+      <xsl:call-template name="qt"/>
+      <xsl:call-template name="cm"/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="kopts"/>
+      <xsl:call-template name="qt"/>
+      <xsl:value-of select="@options"/>
+      <xsl:call-template name="qt"/>
    </div>
 </xsl:template>