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