Initial revision

[helm.git] / helm / style / mk_meta_theory.xsl
diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl

index 70852ca9800f0c93f4f01e9d6f2e9a0f2844eec6..3a07962a920fade8a8d414cd0d4e4dd265bac3f1 100644 (file)
--- a/helm/style/mk_meta_theory.xsl
+++ b/helm/style/mk_meta_theory.xsl
@@ -24,7 +24,7 @@
  <!-- For details, see the HELM World-Wide-Web page,                    -->
  <!-- http://cs.unibo.it/helm/.                                         -->
  
-<xsl:stylesheet version="0.1"
+<xsl:stylesheet version="1.0"
     xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
     xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
@@ -40,6 +40,10 @@
                 <html> 
                  <head>
                   <title>Occurrences of <xsl:value-of select="*/*/@rdf:value"/></title>
+                 <style>
+                  a { text-decoration: none }
+                  a.underline {text-decoration: underline }
+                 </style>
                  </head>
                  <!-- CSC: method onLoad to be removed once the window -->
                  <!-- CSC: becomes a frame                              -->
@@ -64,23 +68,23 @@
   
   <ul>
         <xsl:if test="$no_main != 0">
-       <li><a href ="#main">Head position in conclusion 
+       <li><a class="underline" href ="#main">Head position in conclusion 
              (<xsl:value-of select="$no_main"/>)</a></li>
         </xsl:if>
         <xsl:if test="$no_concl != 0">
-       <li><a href ="#concl">In conclusion 
+       <li><a class="underline" href ="#concl">In conclusion 
              (<xsl:value-of select="$no_concl"/>)</a></li>
         </xsl:if>
         <xsl:if test="$no_main_hyp != 0">
-       <li><a href ="#main_hyp">Head position in some hypothesis
+       <li><a class="underline" href ="#main_hyp">Head position in some hypothesis
              (<xsl:value-of select="$no_main_hyp"/>)</a></li>
         </xsl:if>
         <xsl:if test="$no_in_hyp != 0">
-       <li><a href ="#hyp">In hypotheses
+       <li><a class="underline" href ="#hyp">In hypotheses
              (<xsl:value-of select="$no_in_hyp"/>)</a></li>
         </xsl:if>
         <xsl:if test="$no_body != 0">
-       <li><a href ="#body">In the body
+       <li><a class="underline" href ="#body">In the body
              (<xsl:value-of select="$no_body"/>)</a></li>
         </xsl:if>
   </ul>