]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/lddl_root.xsl
- bugfix in stylesheets
[helm.git] / helm / www / lambdadelta / xslt / lddl_root.xsl
index 58bddb0a55c8554280168b23b669733d1ffda865..f366f6dc48096ee3472c010e47caab2b7d3f4e60 100644 (file)
 <xsl:strip-space elements="ENTITY"/>
 
 <xsl:template match="/">
-   <html xmlns="http://www.w3.org/1999/xhtml"><head>
+   <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-us"><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>
+      <meta name="description" content="λδ digital library"/>
+      <title>λδ digital library (LDDL)</title>
       <link rel="stylesheet" type="text/css"
-            href="http://lambdadelta.info/css/ld.css"
+            href="http://lambdadelta.info/css/ld_web.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"
+            href="http://lambdadelta.info/images/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"
+             alt="[λδ home]" title="λδ home"
+             src="http://lambdadelta.info/images/crux_32.png"
         /></a>
       </div>
       <div class="head1">       
@@ -48,8 +48,8 @@
       </div>
       <div class="spacer"> 
         <img class="rule"
-             alt="[Spacer]" title="lambdadelta rainbow rule"
-             src="http://lambdadelta.info/download/rainbow.png"
+             alt="[Spacer]" title="λδ rainbow rule"
+             src="http://lambdadelta.info/images/rainbow.png"
         />
       </div>       
       <xsl:apply-templates/>
          <img class="w3c"
              alt="[Generated from XML via XSL]"
              title="Generated from XML via XSL"
-             src="http://lambdadelta.info/download/xml_xsl2.png"
+             src="http://lambdadelta.info/images/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"
+             alt="[Powered by Helena λδ processor]"
+             title="Powered by Helena λδ processor"
+             src="http://lambdadelta.info/images/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"
+             src="http://lambdadelta.info/images/PNGnow2.png"
         /></a>
         <a href="http://www.anybrowser.org/campaign/">
         <img class="w3c"