X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_meta_theory.xsl;h=c1bb71d593c36794f331a593e9b9a0967aebb57f;hb=29a4bd2afea28e62051cb491aa888ff51528a7b1;hp=70852ca9800f0c93f4f01e9d6f2e9a0f2844eec6;hpb=748f31086e027090a90f2742fe62e3bf98e624ab;p=helm.git

diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl
index 70852ca98..c1bb71d59 100644
--- a/helm/style/mk_meta_theory.xsl
+++ b/helm/style/mk_meta_theory.xsl
@@ -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>
