Major interface upgrade still going on. But we are approaching the end of

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

index 1868818b705aff80a5849388885822c60d260725..3dc908db5d210504b82c10707f52fb713f193197 100644 (file)
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -25,6 +25,7 @@ div.center { text-align: center }
   var InverseRDFURL = "<subst:InverseRDFURL/>";
   var MathMLContentURL = "<subst:MathMLContentURL/>";
   var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
+ var interfaceURL = "<subst:interfaceURL/>";
   var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
   var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
   var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
@@ -38,8 +39,10 @@ div.center { text-align: center }
  
  <body id="normal">
   <div class="center">
-  <script>document.write('&lt;a target="result" style="text-decoration:none" href="' + url + '">');</script>
-  <img style="border-style:none" src="http://helm.cs.unibo.it/helm/icons/object.png" />
+   <script>
+     document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '&amp;param.toplevel=true">');
+     document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
+   </script>
    <h2><subst:base_CICURI/></h2>
    <script>document.write('&lt;/a>');</script>
   </div>
@@ -160,7 +163,7 @@ div.center { text-align: center }
  </ul>
  <hr />
  <div class="center">
-  <a href="http://helm.cs.unibo.it">HELM home</a>
+  <a href="http://helm.cs.unibo.it" target="_top">HELM home</a>
  </div>
  </body>
  </html>