X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=ce1f4abf56632f8fef8368073d3f6728cf2655c1;hp=5e221bd07f0b8472d18ecb368194f678f556632c;hpb=44f27c5113259badb27d6a773c0b86e933056203;p=helm.git
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 5e221bd07..86eb20849 100644
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -27,12 +27,24 @@
list-style-image:
url(