X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2Ftoplevel_header.xsl;h=88650a5a73066ccd0912ee0cfe4e97d77b8a0224;hb=7033b0a141f65fd75b435a6f71325ca67f19db61;hp=4dc5a88c695a84a26a5c8b7774bd04a0dbca820d;hpb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;p=helm.git
diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl
index 4dc5a88c6..88650a5a7 100644
--- a/helm/on-line/xslt/toplevel_header.xsl
+++ b/helm/on-line/xslt/toplevel_header.xsl
@@ -5,6 +5,8 @@
xmlns:helm="http://www.cs.unibo.it/helm"
xmlns:html="http://www.w3.org/1999/xhtml">
+
+
@@ -13,7 +15,8 @@
-
+
/
@@ -23,26 +26,61 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
- /
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+ /
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ [search]
+
+
+
+
+
+
+