make search box in settings page not get hidden behind enterprise warning

chrome/browser/resources/options2/options_page.css

Index: chrome/browser/resources/options2/options_page.css
diff --git a/chrome/browser/resources/options2/options_page.css b/chrome/browser/resources/options2/options_page.css
index 18b59c4fb7fb2bf3bf1815b035b10b61d4e86088..c734b6ee0eec429e12551aad00d075b1bdeda3ff 100644
--- a/chrome/browser/resources/options2/options_page.css
+++ b/chrome/browser/resources/options2/options_page.css
@@ -42,6 +42,24 @@ html.hide-menu #mainview {
   min-width: 600px;
 }
 
+#page-container .page {
+  -webkit-transition-duration: 200ms;
+  -webkit-transition-property: margin-top;
+}
+
+#page-container .page.under-managed-prefs-banner {
+  margin-top: 31px;
+}
+
+#page-container header {
+  -webkit-transition-duration: 200ms;
+  -webkit-transition-property: top;
+}
+
+#page-container .page.under-managed-prefs-banner header {
+  top: 31px;
+}
+
 div.disabled {
   color: #888;
 }
@@ -291,6 +309,8 @@ html.hide-menu .close-subpage {
 }
 
 .managed-prefs-banner {
+  -webkit-transition-duration: 200ms;
+  -webkit-transition-property: height;
   background: -webkit-linear-gradient(rgb(255, 242, 183),
                                       rgb(250, 230, 145) 97%,
                                       rgb(135, 135, 135));
@@ -298,9 +318,13 @@ html.hide-menu .close-subpage {
   width: 100%;
   margin: 0;
   padding: 0;
-  position: relative;
+  position: fixed;
   vertical-align: middle;
-  z-index: 9;
+  z-index: 2;
+}
+
+.managed-prefs-banner.hidden {
+  height: 0;
 }
 
 .managed-prefs-banner.clickable:active {