X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=46fc61b249fa71842a62649809165a69ed6896c4;hb=1dfb1e289fe05a043cc671a9294f78cd16eb3d18;hp=d3c9d19926ef18b55196995aa961e34eb8207c4c;hpb=3aa2fd56797217a73b59e25bbe961dbc8c08bb2f;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index d3c9d1992..46fc61b24 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -165,6 +165,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+