X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=bb6bea3ba064347478c777b5c9c2f91d6c1b65fa;hb=083c36a4acd76127530b9af3d4c6c311f447d79b;hp=d73a48b72c1b4b6fc1821ef1e31bf118cd673fe5;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index d73a48b72..bb6bea3ba 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -32,9 +32,6 @@
-http://localhost:8081/getciconly?uri=
-
-
-
+
@@ -111,7 +108,7 @@
-
+
@@ -195,7 +192,7 @@
- Ø
+ Ø
@@ -217,7 +214,7 @@
- $
+ $
:
@@ -239,7 +236,7 @@
- $
+ $
: