Major interface improvements.

[helm.git] / helm / on-line / html / theory / control.html
diff --git a/helm/on-line/html/theory/control.html b/helm/on-line/html/theory/control.html

index 7d5f6c13b9a3578bc6490af771e64b4e705c4ae9..637c563da4f4f832a78d140152931379d3d16ac2 100644 (file)
--- a/helm/on-line/html/theory/control.html
+++ b/helm/on-line/html/theory/control.html
@@ -10,8 +10,8 @@ td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
  td.back { background-color: #e6e6fa; color: brown }
  #indent { margin-left: 1cm; margin-right: 1cm }
  #centered { text-align: center }
-h2     { text-align: center }
  li     { padding-bottom: 1ex }
+div.center { text-align: center }
  </style>
  
  <script language="JavaScript" src="../../javascript/defaults.js"></script>
@@ -21,7 +21,15 @@ li   { padding-bottom: 1ex }
  </head>
  
  <body id="normal">
+ <div class="center">
+ <img src="http://helm.cs.unibo.it/helm/icons/section.png" />
   <h2><subst:base_CICURI/></h2>
+ </div>
+ <hr />
+ <div class="center">
+  <a href="http://helm.cs.unibo.it">HELM home</a>
+ </div>
+<!--
   <ul>
     <li>
       <script>
@@ -30,15 +38,6 @@ li   { padding-bottom: 1ex }
       </script>
     </li>
   </ul>
-<!--
-  <tr>
-   <td> View its metadata </td>
-   <td>(Not implemented, yet. Coming soon.)</td>
-  </tr>
-  <tr>
-   <td> Proof-check it </td>
-   <td> (Not ported to V7, yet. Coming soon.) </td>
-  </tr>
  -->
  </body>
  </html>