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 0c9177f63e2cee2ba88e9219b840406e083d523a..76d325152107dc02baa0abb24ee1a79a887aa2a4 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;
 }
@@ -295,16 +313,22 @@ 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));
   height: 31px;
   margin: 0;
   padding: 0;
-  position: relative;
+  position: fixed;
   vertical-align: middle;
   width: 100%;
-  z-index: 9;
+  z-index: 2;
+}
+
+.managed-prefs-banner[hidden] {
+  height: 0;
 }
 
 .managed-prefs-banner.clickable:active {