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/>";
<body id="normal">
<div class="center">
- <script>document.write('<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('<a target="result" style="color:black; text-decoration:none" href="' + url + '&param.toplevel=true">');
+ document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
+ </script>
<h2><subst:base_CICURI/></h2>
<script>document.write('</a>');</script>
</div>
</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>