Major interface improvements.

[helm.git] / helm / on-line / xslt / ls2theory.xsl
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl

index ed9c217e010c931056d7dbdc4468c21488d611d6..210ab768bb8fff5d3c4a44265969587bd1014197 100644 (file)
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -14,6 +14,14 @@
      <html>
        <head>
         <style>
+         li.section {
+           list-style-image:
+             url(http://helm.cs.unibo.it/helm/icons/section.png)
+         }
+         li.object {
+           list-style-image:
+             url(http://helm.cs.unibo.it/helm/icons/object.png)
+         }
         </style>
        </head>
        <body>
@@ -26,8 +34,9 @@
    </xsl:template>
  
    <xsl:template match="section">
-    <li>
-      <a class="section" href="{concat($CICURI, text(), '/')}" helm:helm_link="href">
+    <li class="section">
+      <a class="section" href="{concat($CICURI, text(), '/')}"
+       helm:helm_link="href">
         <xsl:value-of select="text()" />
        </a>
        <xsl:text>/</xsl:text>
@@ -35,7 +44,7 @@
    </xsl:template>
  
    <xsl:template match="object">
-    <li>
+    <li class="object">
        <a class="object" href="{concat($CICURI, @name)}" helm:helm_link="href">
         <xsl:value-of select="@name" />
        </a>