X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=8e6aeaf1f7614b3f6b9f23aa490c642f7022e413;hb=f44a2623c7790b8ad052e967c008869ab017d7e9;hp=f41168d2836ee9350511555fe5f93b66210fb069;hpb=441f9a5912f0cd27da9540b3c82e70e0e4221982;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index f41168d28..8e6aeaf1f 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -18,11 +18,13 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }