From c7ffbfc25d1de732804e3f1384cbb2a61305bb30 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 19 Nov 2010 17:19:04 +0000
Subject: [PATCH] - lddl html pages: the transition to xhtml 1.1 + css 2 is
 complete - helena: we made a 88 x 32 label for the Web

---
 .../lambda-delta/icons/helena-label.png       | Bin 0 -> 2346 bytes
 .../lambda-delta/xml/ld-html-entity.xsl       |  49 ++++++----
 .../lambda-delta/xml/ld-html-library.xsl      |  41 +++++----
 .../lambda-delta/xml/ld-html-root.xsl         |  84 +++++++++++-------
 helm/software/lambda-delta/xml/ld-html.css    |  66 +++++++++++++-
 5 files changed, 174 insertions(+), 66 deletions(-)
 create mode 100644 helm/software/lambda-delta/icons/helena-label.png

diff --git a/helm/software/lambda-delta/icons/helena-label.png b/helm/software/lambda-delta/icons/helena-label.png
new file mode 100644
index 0000000000000000000000000000000000000000..55487ab9961e1cd3a591ae2af6ef62aeab0d801d
GIT binary patch
literal 2346
zcmV+_3Dx$AP)<h;3K|Lk000e1NJLTq003A3001Be1^@s6mgK*f00001b5ch_0Itp)
z=>Px#24YJ`L;(K){{a7>y{D4^000SaNLh0L01FcU01FcV0GgZ_00007bV*G`2igl0
z5E28o*4~f+000?uMObu0Z*6U5Zgc=ca%Ew3Wn>_CX>@2HM@dakSAh-}000PuNkl<Z
zXx{Cbe@s+Y7RNsW3=9-jjN$<PKq>?YM%1nf-Ns^S#nyIfjS*>8Ae*kOn~mFOwDym>
zZ48Aq#*(y3ZFkYtO{F5EX++(%fb|!4)#}<T0=hz~fIpT2EzC?|=IkFc?>WQ#U<PTj
zQBU%c_s%`{-1ENgymQYz_i6yq>2wU{+Op*%0E&x?7_5%4urMBG3L0!j1zdo2>)zop
z4I#kWwv_^~e*HVV|Nb8VShea8kI@_ofXm8u0PyzP_W>;~E&^c1iZ>rBaBQ}|2iBnp
zBnBG{`vG|Ctv5ZkD_&e)z9*m<Tvn!WF{+?I{NnX*w>yBwBj43Y2G(=>^zXQQc`E>u
zCaq!m^i6Jkopm=iS8(ju>*VBIN2iMk+=CTx3kveR%6$5%J#^&cEU_yO@=v|9p~}5K
zyu7@hm^JHf1L_)RJWqNuGd}?!CMJ{bzu!!2YqeKf0GgV1V6**1Q`3&XL&Tv&hXKgV
zT{58T&YkuFUU_A~&mZ4{v`m=rnpYr)LeI0$?j|H8lH<phW3hC2>~AvNq_gwiXfz=-
zG;Bvi{0F$ErWSx#U-cib^71_ZJpcUMpAFnQch39#)rU$?RMeAXW`0ah&katV{H;fs
zt5<iEoLs=zvGcii?+R^g)&2o|`g9!tFT5}>V8ag_*zfRwtN<rbje7Z_ufBR}NIsN5
zdXkcslbD!8OUphQ8~^Oqe&xzvnJ{4)$;rO~prK*=zyN>u-30(<&(0dO@kfr>L(9yW
z8GiREC=m7XMK8a6&TpMPJ?&mUn7?{5GfR2miE*4cv&!ucFdF|wMMWZCfBkC!T3QU4
zOt-uPTwj0Lq0|mca&i}+eRi0wTlbTcbknO5DJdsey!iJlTJ$>4J-3pC1Ovy8*+Wcv
z`jjCJ5hF)VQ$IpmTa8cIn>W9CU_D`B(af5)i@rWnzsc<{Jo8MM>J*bFuScYprlvB_
z0AIV-48YW>Q=Gi2k&z?K3?FVLFYmNhBc6WxOO760Lsiuly1QdZNU(>AGiT}?A7J8;
z0c^2!V6*ko)zwH#OQlyCi^a&LOPd}@k3zArvzR=2o%(#^#@}gd{G9msIVx|$gk=C+
zy7VVHJL_HZV56}UfYj89F1hN#gU2Z>%tR!d4?Z}`d+)tQPfv_nPP=sJCeEG9#c2Gc
z$DCL3;+r?yhcpi!Jvy7Ya}WES;|8k7Ib7Lny&OFFE3&e_q@p5G<>%(!CL|=1UAw}a
zvXij;0Gmu^01^|&`&<~j`|dX!Kb}rgQ;J*Ls8L<K_+lxyZ>MqfY7Q{gO-AwJuCC5U
zr`V%_8y6SrQ#drVk8$IS#K-^FWBc8^daA2eF=os^nKNf4<HuLH$+WcCL(s5c(T_we
zB1FlFhYycNr}Hg5e|`hQhM5>W+CAacXl!I;>|@fTYOK~!f`fZWN%@?<zH$8c<J^9e
zPCI&iEMZ|fKpuV%_J^XPEWGqmJ%C3K&d4}Kdip;I4z_af;xebWR{3aG(=?7)u1s*=
zXz}6(A|m>*SVD-6?II}1>e8N;c0aplZJny#M@BZd>C)?C9W%K3|Ezju!(=iI$P3tm
z!^3rsJh0uPkY3+IcJ?&@_U})}Yz{%McMTIdU5``h^9z^I;Y<k$<JC#dnGPR5Oj=qR
zRaI4t8a0a0&`=BpgQFI5h}6_nwr$&nUax2R^y!WQl!4IDP&68ii@XBN+O=zmj*ccS
zE{^Tn?W-%Z+063g%ZZ4HAU!>urluxUm%Spm3XQ|-yzxAZ>CHwQS%gGKM~es|f=rw^
zQKn3pA{iMOl9iPuH8pV}f><m;vT|jveEV&Z962&WN=gdEX46Pf(T8&DR-D?uqM}T_
z@93B&b#--e;lc%#*WTVPot>RxHk(DEn3xy=WbfX+VzpYOva(XNTCIqPj2JOO06B2r
zfH;#@tCh;iN)Ztkc@dF~8#hW}VWF5zCMhc`lf=YC5fNFlW{vFJxl_z$vs6`8Np^O&
zs%ziAePS>e1n|l8G^RHjT>y@aja5NV0Dj|*r^IHn^J;6yOMZU7l$Fg^<?h@WAw@++
zQdPBF<()jaN<<K=HCWD_`$X#M>eRO8=4OuocXxNIFX3dIh=`cYX16xyc2Ca<2?=5}
z8r}Mg88b#4Gphg+5fLFGBB`mVQd(Lny}iAvtS4TeHo8r6iHYM~Y7r||{0AjYA3d4`
z!1?n}^1}}?SS(s<Ywfj)#>Qz>SLbo}ZVWSLevHwW#M!eSa_?T6T8n6Cxa>7nMMOmS
zSf&P^D__5Uoyf>YH-1}N8|v2<p}V_V4N<kVwWOq^aO%`4ue?BQ^tz*=)FWok&KmTN
zu}-HWJKJ7~yLj=!fV;{XjfTFyK7xaT)n}!)>U{4k@62<4j*pM$?Af!#$H(_u?#9yI
z-tMD3TSGxX0nN?L9(lgT^kk#gG)<{RDD~jMkOHn!i|~h5uU?JSYQ<nMpw((sZ?sRI
z78hBqR;x}j&hh|@7A<1;?%i0eR_g2PNlLQ+eG3;ZWb@|D^z`&lUtiC>dGl0o_U_$F
zM@I*(t*u^p-p2H1W03C>U53k!Mj)i@XeiY*e`&^y8H9(2larG}d3iYiW5<qlRP~bk
z752-?$;m;Z(YVM16c!e8>eMNsqM}&3bSWD)YyhCRxR?_sP7oa(&4L9BC@Cp%T8Z8z
zKR@3^Pk)}bF}>O7*QTf9#ksjl{0a+sdHHHRIFN%Uo_?`MVkM{SXngU-o&jYQaFrbm
zf9cjOdx6?le0->v%F3RcaxTIXDd!@TJ-I+guh%;YPH~SWz)FaK`zL#xNjVdt>?#LJ
z&Z*NQ3$VTTY!3mR&Za5nA|6wKlbolkzZaL3eDwHq<xqIALY~g1JtlYhA8;`{Q8`}2
Q5&!@I07*qoM6N<$f(8+F9{>OV

literal 0
HcmV?d00001

diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl
index 689eb1420..676d37722 100644
--- a/helm/software/lambda-delta/xml/ld-html-entity.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl
@@ -17,26 +17,45 @@
 
 <xsl:strip-space elements="ABST ABBR"/>
 
-<xsl:template match="ABST">
-   <h2>
+<xsl:template name="ENTITY">
+   <xsl:param name="kind"/>
+   <div class="head2">
       <span class="global">
-         <xsl:text>Declaration:</xsl:text>
-         <xsl:call-template name="entity"/>
+         <xsl:value-of select="$kind"/>
+         <xsl:call-template name="cn"/>
+         <xsl:call-template name="sp"/>
+         <span class="gref">   
+            <xsl:call-template name="global"/>
+         </span>
+         <xsl:call-template name="sp"/>
+         <xsl:call-template name="op"/>
+         <span class="gref">
+            <xsl:call-template name="mk_path"/>
+         </span>
+         <xsl:call-template name="cp"/>
       </span>      
-   </h2>
-   <xsl:call-template name="META"/>
-   <div><xsl:apply-templates/></div>
+   </div>
+   <div class="text">
+      <xsl:call-template name="idescr"/>
+      <xsl:call-template name="qt"/>
+      <xsl:value-of select="@meta"/>
+      <xsl:call-template name="qt"/>
+   </div>
+   <div class="text">
+      <xsl:apply-templates/>
+   </div>
+</xsl:template>
+
+<xsl:template match="ABST">
+   <xsl:call-template name="ENTITY">
+      <xsl:with-param name="kind">Declaration</xsl:with-param>
+   </xsl:call-template>
 </xsl:template>
 
 <xsl:template match="ABBR">
-   <h2>
-      <span class="global">
-         <xsl:text>Definition:</xsl:text>
-         <xsl:call-template name="entity"/>
-      </span>
-   </h2>
-   <xsl:call-template name="META"/>
-   <div><xsl:apply-templates/></div>
+   <xsl:call-template name="ENTITY">
+      <xsl:with-param name="kind">Definition</xsl:with-param>
+   </xsl:call-template>
 </xsl:template>
 
 </xsl:stylesheet>
diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 5cb16515b..c7914ed64 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -67,6 +67,26 @@
    <xsl:text>=</xsl:text>
 </xsl:template>
 
+<xsl:template name="qt">
+   <xsl:text>"</xsl:text>
+</xsl:template>
+
+<xsl:template name="idescr">
+   <xsl:text>Informal description: </xsl:text>
+</xsl:template>
+
+<xsl:template name="vpars">
+   <xsl:text>Validation parameters: </xsl:text>
+</xsl:template>
+
+<xsl:template name="shier">
+   <xsl:text>sort hierarchy = </xsl:text>
+</xsl:template>
+
+<xsl:template name="kopts">
+   <xsl:text>kernel options = </xsl:text>
+</xsl:template>
+
 <xsl:template name="multiple">
    <span class="separator">
       <xsl:call-template name="cm"/>
@@ -256,25 +276,8 @@
    </xsl:choose>
 </xsl:template>
 
-<xsl:template name="entity">
-   <xsl:call-template name="sp"/>
-   <span class="gref">   
-      <xsl:call-template name="global"/>
-   </span>
-   <xsl:call-template name="sp"/>
-   <xsl:call-template name="op"/>
-   <span class="gref">
-      <xsl:call-template name="mk_path"/>
-   </span>
-   <xsl:call-template name="cp"/>
-</xsl:template>
-
-<xsl:template name="META">
-   <div>Informal description: "<xsl:value-of select="@meta"/>"</div><br/>
-</xsl:template>
-
-<xsl:template name="ld">
-   <xsl:text disable-output-escaping="yes">&amp;lambda;&amp;delta;</xsl:text>
+<xsl:template name="lddl">
+   <xsl:text disable-output-escaping="yes">&amp;lambda;&amp;delta; Digital Library (LDDL)</xsl:text>
 </xsl:template>
 
 </xsl:stylesheet>
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl
index fbab27931..79cf8352a 100644
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -32,56 +32,78 @@
             href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
       />
    </head><body>
-      <div style="text-align: center;"><br/>         
+      <div class="spacer">         
 	 <a href="http://helm.cs.unibo.it/lambda-delta/">
-         <img style="border: 0px solid; width: 32px; height: 32px;" 
+         <img class="icon32" 
 	      alt="[lambda-delta home]" title="lambda-delta home"
 	      src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
 	 /></a>
-	 <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
-	 <img style="width: 95%; height: 4px;"
-	      alt="[Separator]" title="Separator"
+      </div>
+      <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"
 	 />
-         <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><br/>
+      </div>       
+      <xsl:apply-templates/>
+      <div class="spacer">
          <a href="http://validator.w3.org/check?uri=referer">
-	 <img alt="[Valid XHTML 1.1]"
+	 <img class="w3c"
+	      alt="[Valid XHTML 1.1]"
 	      title="Valid XHTML 1.1"
 	      src="http://www.w3.org/Icons/valid-xhtml11-blue"
-              style="border: 0px solid ; width: 88px; height: 31px;"
-	 /></a>
-         <a href="http://jigsaw.w3.org/css-validator/check/referer">
-         <img alt="[Valid CSS]"
-	      title="Valid CSS"
+	 /></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"
-	      style="border: 0; width:88px; height:31px;"
+	 /></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://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;"
+	 <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"
-	 />
-      <br/></div>
+	 /></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/><br/>
-   <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>
 
diff --git a/helm/software/lambda-delta/xml/ld-html.css b/helm/software/lambda-delta/xml/ld-html.css
index 54728c805..705e15993 100644
--- a/helm/software/lambda-delta/xml/ld-html.css
+++ b/helm/software/lambda-delta/xml/ld-html.css
@@ -1,41 +1,105 @@
 @charset "UTF-8";
 
+/* general ******************************************************************/
+
+body {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+   margin: 2.5%;
+}
+
 a:link, a:visited {
    text-decoration: underline;
 }
 
 a:active, a:hover, a:focus {
-   background: rgb(192, 255, 255);
+   background: rgb(192, 192, 192);
+}
+
+/* blocks *******************************************************************/
+
+.spacer {
+   text-align: center;
+}
+
+.head1 {
+   margin: 0.5em 0; 
+   text-align: center;
+   font-weight: bold; 
+   font-size: xx-large;
+}
+
+.head2 {
+   margin: 0.5em 0; 
+   text-align: left;
+   font-weight: bold; 
+   font-size: x-large;
 }
 
+.text {
+   margin: 1em 0; 
+   text-align: left;
+}
+
+/* inline decorations *******************************************************/
+
+.icon32 {
+   border: 0; 
+   width: 32px; 
+   height: 32px;
+}
+
+.rule {
+   border: 0; 
+   height: 4px;
+   width: 100%; 
+}
+
+.w3c {
+   margin: 0 0.5em; 
+   border: 0; 
+   width: 88px; 
+   height: 32px; /* this should be 31px */
+}
+
+/* terms ********************************************************************/
+
 .separator {
+   background: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
 }
 
 .sort {
+   background: rgb(255, 255, 255); 
    color: rgb(128, 0, 255);
 }
 
 .lref {
+   background: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
 }
 
 .gref {
+   background: rgb(255, 255, 255); 
    color: rgb(0, 0, 255);
 }
 
 .appl {
+   background: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
 }
 
 .cast {
+   background: rgb(255, 255, 255); 
    color: rgb(255, 0, 0);
 }
 
 .local {
+   background: rgb(255, 255, 255); 
    color: rgb(0, 160, 0);
 }
 
 .global {
+   background: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
 }
-- 
2.39.2