X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=8e6aeaf1f7614b3f6b9f23aa490c642f7022e413;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1868818b705aff80a5849388885822c60d260725;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 1868818b7..8e6aeaf1f 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -12,19 +12,23 @@ td.back { background-color: #e6e6fa; color: brown } ul.control { padding-left: 1em; list-style: none; } ul.control2 { font-size: small; padding-left: 2em; } div.center { text-align: center } +h2.uri { margin-top: 0ex; margin-bottom: 0ex } - -

+ + User: + +
+ [HELM home] + + + +
+
+ +

@@ -57,20 +80,24 @@ div.center { text-align: center } -->
  • - View [ + View - ]
  • +
    • +
  • +