X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fannotatedcont.xsl;h=9cc298f09c461fb166ebda8a7565321ee30798d1;hb=9d35b4005007408a49a76864302f03db8aa7789a;hp=97f259d673e521972975164affd40fcdd855be50;hpb=699fe34e458506db3ade298abc8c64cf622d27ba;p=helm.git
diff --git a/helm/style/annotatedcont.xsl b/helm/style/annotatedcont.xsl
index 97f259d67..9cc298f09 100644
--- a/helm/style/annotatedcont.xsl
+++ b/helm/style/annotatedcont.xsl
@@ -35,9 +35,9 @@
-
+
-
+
@@ -51,7 +51,7 @@
-
+