From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 3 Oct 2011 15:26:05 +0000 (+0000)
Subject: - new stylesheets for xhtml pages (ld_web)
X-Git-Tag: make_still_working~2240
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d350f5ea4332cf259af7dfe52a09b8800d21c417;p=helm.git

- new stylesheets for xhtml pages (ld_web)
- typo corrected in ld_web.css
---

diff --git a/helm/www/lambda_delta/css/ld_web.css b/helm/www/lambda_delta/css/ld_web.css
index a8779782f..e553c3a3a 100644
--- a/helm/www/lambda_delta/css/ld_web.css
+++ b/helm/www/lambda_delta/css/ld_web.css
@@ -18,44 +18,44 @@ a:active, a:hover, a:focus {
 
 /* blocks *******************************************************************/
 
-.spacer {
+div.spacer {
    text-align: center;
 }
 
-.head1 {
+div.head1 {
    margin: 0.5em 0; 
    text-align: center;
    font-weight: bold; 
    font-size: xx-large;
 }
 
-.head2 {
+div.head2 {
    margin: 0.5em 0; 
    text-align: left;
    font-weight: bold; 
    font-size: x-large;
 }
 
-.text {
+div.text {
    margin: 1em 0; 
    text-align: left;
 }
 
 /* inline decorations *******************************************************/
 
-.icon32 {
+img.icon32 {
    border: 0; 
    width: 32px; 
    height: 32px;
 }
 
-.rule {
+img.rule {
    border: 0; 
    height: 4px;
    width: 100%; 
 }
 
-.w3c {
+img.w3c {
    margin: 0 0.5em; 
    border: 0; 
    width: 88px; 
@@ -64,7 +64,7 @@ a:active, a:hover, a:focus {
 
 /* background colors ********************************************************/
 
-.gray {
+.grey {
   background-color:#dfdfdf; /* + 7/8 */
 }
 
diff --git a/helm/www/lambda_delta/xslt/ld_web.xsl b/helm/www/lambda_delta/xslt/ld_web.xsl
new file mode 100644
index 000000000..288973806
--- /dev/null
+++ b/helm/www/lambda_delta/xslt/ld_web.xsl
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xsl:stylesheet version="1.0"
+                xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+>
+
+<xsl:param name="baseurl"/>
+
+<xsl:include href="xhtbl.xsl"/>
+<xsl:include href="ld_web_library.xsl"/>
+<xsl:include href="ld_web_root.xsl"/>
+
+<xsl:output 
+   method="xml"
+   doctype-public="-//W3C//DTD XHTML 1.1//EN"
+   doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
+   encoding="UTF-8"
+   indent="yes"
+/>
+
+</xsl:stylesheet>
diff --git a/helm/www/lambda_delta/xslt/ld_web_library.xsl b/helm/www/lambda_delta/xslt/ld_web_library.xsl
new file mode 100644
index 000000000..a100e5bd9
--- /dev/null
+++ b/helm/www/lambda_delta/xslt/ld_web_library.xsl
@@ -0,0 +1,90 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xsl:stylesheet version="1.0"
+                xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                xmlns="http://www.w3.org/1999/xhtml"
+>
+
+<xsl:template name="home">
+   <div class="spacer">
+      <a href="{$baseurl}">
+         <img class="icon32"
+	      alt="[lambda_delta home]"
+	      title="lambda_delta home"
+	      src="{$baseurl}images/crux_32.png"
+         />
+      </a>
+   </div>
+</xsl:template>
+
+<xsl:template name="rule">
+   <div class="spacer">
+      <img class="rule"
+           alt="[Spacer]"
+	   title="lambda_delta rainbow rule"
+           src="{$baseurl}images/rainbow.png"
+      />
+   </div>
+</xsl:template>
+
+<xsl:template name="xhtml">
+   <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>
+</xsl:template>
+
+<xsl:template name="css">
+   <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>
+</xsl:template>
+
+<xsl:template name="xslt">
+   <a href="http://www.w3.org/XML/">
+      <img class="w3c"
+           alt="[Generated from XML via XSL]"
+	   title="Generated from XML via XSL"
+	   src="{$baseurl}images/xml_xsl2.png"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="png">
+   <a href="http://www.w3.org/Graphics/PNG/">
+      <img class="w3c"
+           alt="[PNG used here]"
+	   title="PNG used here"
+           src="{$baseurl}images/PNGnow2.png"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="browser">
+   <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>
+</xsl:template>
+
+<xsl:template name="helena">
+   <a href="{$baseurl}implementation.html#helena">
+      <img class="w3c"
+           alt="[Powered by Helena lambda_delta processor]"
+	   title="Powered by Helena lambda_delta processor"
+	   src="{$baseurl}images/helena_label.png"
+      />
+   </a>
+</xsl:template>
+
+</xsl:stylesheet>
diff --git a/helm/www/lambda_delta/xslt/ld_web_root.xsl b/helm/www/lambda_delta/xslt/ld_web_root.xsl
new file mode 100644
index 000000000..7a020ad46
--- /dev/null
+++ b/helm/www/lambda_delta/xslt/ld_web_root.xsl
@@ -0,0 +1,70 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xsl:stylesheet version="1.0"
+                xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                xmlns:ld="http://lambda_delta.info"
+                xmlns="http://www.w3.org/1999/xhtml"
+>
+
+<xsl:template match="ld:section">
+   <div class="head2">
+      <xsl:apply-templates/>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:body">
+   <div class="text">
+      <xsl:apply-templates/>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:table">
+   <div class="text">
+      <xsl:call-template name="xhtbl"/>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:footer">
+   <div class="spacer">
+      <xsl:call-template name="xhtml"/>
+      <xsl:call-template name="css"/>
+      <xsl:call-template name="xslt"/>
+      <xsl:apply-templates/>
+      <xsl:call-template name="png"/>
+      <xsl:call-template name="browser"/>
+   </div>      
+</xsl:template>
+
+<xsl:template match="ld:helena-label">
+   <xsl:call-template name="helena"/>
+</xsl:template>
+
+<xsl:template match="ld:page">
+   <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="{@description}"/>
+      <title><xsl:value-of select="@title"/></title>
+      <link rel="stylesheet" type="text/css"
+            href="{$baseurl}css/ld_web.css"
+      />
+      <link rel="stylesheet" type="text/css"
+            href="{$baseurl}css/lddl.css"
+      />
+      <link rel="stylesheet" type="text/css"
+            href="{$baseurl}css/xhtbl.css"
+      />
+      <link rel="shortcut icon" 
+            href="{$baseurl}images/crux_16.ico"
+      />
+   </head><body lang="en-US">
+      <xsl:call-template name="home"/>
+      <div class="head1"><xsl:value-of select="@head"/></div>
+      <xsl:call-template name="rule"/>
+      <xsl:apply-templates/>
+   </body></html>
+</xsl:template>
+
+</xsl:stylesheet>