Index: admin_menu.js
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- admin_menu.js	(revision e2b8917c449b289be7284f643b6f5ffe817d828a)
+++ admin_menu.js	(revision )
@@ -95,21 +95,6 @@
 };
 
 /**
- * Apply margin to page.
- *
- * Note that directly applying marginTop does not work in IE. To prevent
- * flickering/jumping page content with client-side caching, this is a regular
- * Drupal behavior.
- */
-Drupal.behaviors.adminMenuMarginTop = {
-  attach: function (context, settings) {
-    if (!settings.admin_menu.suppress && settings.admin_menu.margin_top) {
-      $('body:not(.admin-menu)', context).addClass('admin-menu');
-    }
-  }
-};
-
-/**
  * Retrieve content from client-side cache.
  *
  * @param hash
Index: admin_menu.module
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- admin_menu.module	(revision e2b8917c449b289be7284f643b6f5ffe817d828a)
+++ admin_menu.module	(revision )
@@ -241,6 +241,20 @@
 }
 
 /**
+ * Implements MODULE_preprocess_HOOK().
+ */
+function admin_menu_preprocess_html(&$variables) {
+  // @todo This solution should be removed once hook_page_build() will allow
+  // to set a CSS class on the body yet.
+  if (!user_access('access administration menu') || admin_menu_suppress(FALSE)) {
+    return;
+  }
+  if ($setting = variable_get('admin_menu_margin_top', 1)) {
+    $variables ['classes_array'][] = 'admin-menu';
+  }
+}
+
+/**
  * Suppress display of administration menu.
  *
  * This function should be called from within another module's page callback