X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=fffc458655886f5fe506189c7915f55ce947000d;hb=2ad14dd8ca7dde8d3a5a33ebc466d3ea77b4b6c6;hp=cd17b6d4cd45f7c74b243de257ffac390b81cee8;hpb=7998b94e5f83fb3c9009762a875a0136bc4052ec;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index cd17b6d4c..fffc45865 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -319,7 +319,7 @@
:
+ select="$current_indent + 5 + 2*string-length(m:bvar/m:ci)"/>
@@ -344,7 +344,7 @@
:
+ select="$current_indent + 5 + 2*string-length(m:bvar/m:ci)"/>
@@ -799,7 +799,7 @@
:
+ select="$current_indent + 4 + 2*string-length(m:bvar/m:ci)"/>
@@ -1003,10 +1003,10 @@ PROOF:
|
-
+
:
-
+