X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=6e7ff7ca510fec16a2887df9dddeadf81d974841;hb=50e2ee8fb7fd4a2a14bf60779e1c709b220c6072;hp=fdf9b7829e3a5970d623ea95ca4f12ed23476849;hpb=d0f18ab7297b3d1a9cf69ab08f323c5d8939d44b;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index fdf9b7829..6e7ff7ca5 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -167,8 +167,32 @@
<xsl:value-of select="$CICURI"/>
+
+
+ if(document.getElementById)
+ for(var i=0;i<document.to_be_deleted.length;i++)
+ Hide(document.getElementById(document.to_be_deleted[i]));
+
@@ -248,6 +272,7 @@
+
@@ -416,13 +441,24 @@
[
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
]
@@ -431,13 +467,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -447,13 +494,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -465,87 +523,175 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
- *
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
- *
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
- |
+
+
+ |
+
+
+ |
+
+
- |
+
+
+ |
+
+
+ |
+
+
@@ -553,13 +699,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -601,6 +758,7 @@
+
@@ -914,15 +1072,56 @@
-
-
-
-
-
-
-
-
- we proved
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ we proved
+
+
+
+
+
@@ -978,20 +1177,22 @@
-
+
-
+
-
+
+ select="($charlength_first + $charlength_second) > $framewidth"/>
+ select="($charlength_second + $charlength_side_proof) > $framewidth"/>
-
+
+
+
@@ -1329,13 +1530,24 @@
[
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
]
@@ -1344,13 +1556,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1360,13 +1583,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1378,87 +1612,175 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
- *
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
- *
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
- |
+
+
+ |
+
+
+ |
+
+
- |
+
+
+ |
+
+
+ |
+
+
@@ -1466,13 +1788,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1538,7 +1871,27 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+