+
+#frame-header .frame-header-right {
+ margin-top: 3px;
+}
+
+#frame-header #ajax-spinner {
+ margin-top: 2px;
+ margin-right: 10px;
+ display: none;
+ width: 16px;
+ height: 16px;
+ min-width: 16px;
+ min-height: 16px;
+}
+
+#frame-header input {
+ font-size: 100%;
+}