--- a/themes/admin/js/menu.js	Sun Aug 17 23:24:41 2008 -0400
+++ b/themes/admin/js/menu.js	Thu Aug 21 08:24:04 2008 -0400
@@ -42,7 +42,7 @@
 function expander_set_height()
 {
   var expander = document.getElementById('sidebar-hide');
-  var magic = $('header').Height() + $('pagebar_main').Height();
+  var magic = $dynano('header').Height() + $dynano('pagebar_main').Height();
   var height = getHeight();
   var exheight = height - magic;
   expander.style.height = exheight + 'px';
@@ -68,7 +68,7 @@
 function expander_set_pos()
 {
   var winheight = getHeight();
-  var magic = $('header').Height() + $('pagebar_main').Height();
+  var magic = $dynano('header').Height() + $dynano('pagebar_main').Height();
   var top = getScrollOffset();
   if ( typeof(top) != 'number' )
   {