X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Ffolder%2Fcontrol.html;h=a3d6c0fedcefbeb8f89446889609fbd597eb6e51;hb=fd119a9a96b5f7923e95ee93092b94a69e318299;hp=34a2f95233426792d39071223b9232fdf384e060;hpb=44f27c5113259badb27d6a773c0b86e933056203;p=helm.git
diff --git a/helm/on-line/html/folder/control.html b/helm/on-line/html/folder/control.html
index 34a2f9523..a3d6c0fed 100644
--- a/helm/on-line/html/folder/control.html
+++ b/helm/on-line/html/folder/control.html
@@ -12,31 +12,44 @@ td.back { background-color: #e6e6fa; color: brown }
#centered { text-align: center }
li { padding-bottom: 1ex }
div.center { text-align: center }
+h2.uri { margin-top: 0ex; margin-bottom: 0ex }
-
-
-
+
+
-
+
-
-