diff -r bf4420e9fa4d -r 2e16851ffecd ginebra2/chrome/demochrome/ChromeExplorer/menu-collapsed.js
--- a/ginebra2/chrome/demochrome/ChromeExplorer/menu-collapsed.js	Fri Jun 11 16:23:26 2010 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,43 +0,0 @@
-/* 
-   Simple JQuery Collapsing menu.
-   HTML structure to use:
-
-   <ul id="menu">
-     <li><a href="#">Sub menu heading</a>
-     <ul>
-       <li><a href="http://site.com/">Link</a></li>
-       <li><a href="http://site.com/">Link</a></li>
-       <li><a href="http://site.com/">Link</a></li>
-       ...
-       ...
-     </ul>
-     <li><a href="#">Sub menu heading</a>
-     <ul>
-       <li><a href="http://site.com/">Link</a></li>
-       <li><a href="http://site.com/">Link</a></li>
-       <li><a href="http://site.com/">Link</a></li>
-       ...
-       ...
-     </ul>
-     ...
-     ...
-   </ul>
-
-Copyright 2007 by Marco van Hylckama Vlieg
-
-web: http://www.i-marco.nl/weblog/
-email: marco@i-marco.nl
-
-Free for non-commercial use
-*/
-
-function initMenu() {
-  $('#menu ul').hide();
-  $('#menu li a').click(
-    function() {
-        $(this).next().slideToggle('normal');	
-        return false;  // return false to prevent the view from scrolling to the top of the page.
-      }
-    );
-  }
-$(document).ready(function() {initMenu();});
\ No newline at end of file