named anchors replaced by ids as requested by xhtml

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index fb86723f5ba914b0f589b1315557a15ccb3ca47b..46a6259309141adec2ec3038a65f9876c75a7068 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -23,8 +23,7 @@
     <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Character classes</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Character classes</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">This table shows how the first 45 positive integers
          are distributed in the four classes.
    </div>
@@ -224,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:29:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 3cb582ae7985e5ca702ce63237ab79e13deff96b..93b2272a4f86c5ee48871de49b4dcc20b2603d2c 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -23,8 +23,7 @@
     <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Contents of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Contents of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">This specification comprises a collection of checked
          applications of λδ version 2.
          In particular it contains the components below.
@@ -44,8 +43,7 @@
    </li>
     </ul>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Summary of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
          and its timeline.
          Nodes are counted according to the "intrinsinc complexity measure"
@@ -125,8 +123,7 @@
    </li>
     </ul>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Logical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
          according to the following table.
          Each component contains its own notation file.
@@ -164,8 +161,7 @@
       </table>
     </div>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Physical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
          one for each component.
    </div>
@@ -195,6 +191,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:29:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 071ad90913e808bff9a7fb97a911dfd8518963bc..e4bebe63d329ae164b9d9d163a45b06dd00128b6 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -25,8 +25,7 @@
     </div>
 
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Summary of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
          and its timeline.
          Nodes are counted according to the "intrinsinc complexity measure"
@@ -209,8 +208,7 @@
    </li>
     </ul>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Logical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
          according to the following table.
          Notation files covering the whole specification are provided.
@@ -1272,8 +1270,7 @@
       </table>
     </div>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Physical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
          one for each component.
    </div>
@@ -1303,6 +1300,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:29:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index 150aaf781315e2475980271362ff1cfeb0dce939..5897aedc6a2994758141ca8a44f2073fd8aee2da 100644 (file)
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -17,13 +17,6 @@ a:hover {
    background: rgb(192, 192, 192);
 }
 
-/* on newer browsers, disable style modifications for named anchors */
-a[name]:hover {
-   text-decoration: inherit;
-   color: inherit;
-   background: inherit;
-}
-
 /* blocks *******************************************************************/
 
 div.spacer {

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index e6f30399514062194001c94244ad5519034f1085..9b799f06056adf21f588b0fa8d55336b38e6121b 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -23,8 +23,7 @@
     <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Summary of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
          and its timeline.
          Nodes are counted according to the "intrinsinc complexity measure"
@@ -97,8 +96,7 @@
    </li>
     </ul>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Logical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes
          according to the following table.
          Notation files covering the whole specification are provided.
@@ -206,8 +204,7 @@
       </table>
     </div>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Physical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
          one for each plane.
    </div>
@@ -237,6 +234,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:29:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index ce113aff0abfce082ff3ada820e6c1d18520ccf4..0fb9ca8e2ffeb23323f944a3b4841a51e507d99b 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -47,8 +47,7 @@
       </table>
     </div>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="foreword" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx">Foreword <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Foreword <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
@@ -104,8 +103,7 @@
       </table>
     </div>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="notice" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx">Notice for the Internet Explorer user <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="notice">Notice for the Internet Explorer user <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       To view this site correctly, please select a font
@@ -141,6 +139,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:37:09 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 07bd9bf3f8f05e0ca0435e29c9b6601f9eaf8320..20e35cf632339b0e31791a423530bcd56cec9644 100644 (file)
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -7,15 +7,13 @@
 >
 
 <xsl:template match="ld:section">
-   <a name="{@name}"/>
-   <div class="head2sn">
+   <div class="head2sn" id="{@name}">
       <xsl:apply-templates/>
    </div>
 </xsl:template>
 
 <xsl:template match="ld:section3">
-   <a name="{@name}"/>
-   <div class="head2dx">
+   <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">
@@ -25,8 +23,7 @@
 </xsl:template>
 
 <xsl:template match="ld:section4">
-    <a name="{@name}"/>
-    <div class="head2dx">
+    <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">
@@ -36,8 +33,7 @@
 </xsl:template>
 
 <xsl:template match="ld:section5">
-   <a name="{@name}"/>
-   <div class="head2dx">
+   <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">
@@ -47,8 +43,7 @@
 </xsl:template>
 
 <xsl:template match="ld:section9">
-   <a name="{@name}"/>
-   <div class="head2dx">
+   <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">