X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Ffolder%2Fcontrol.html;h=32c5d71ed888e3251e1e96009a284137c7c5c8fc;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;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..32c5d71ed 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 }
-
-
-
+
+
-
+
-
-