fix(css): Fix css id for the jenkins page.

fix(css): Fix css id for the jenkins page. Keeping old id for backward compatibility. See: Issue jenkinsci/simple-theme-plugin#83 on Jenkins plugins
cossons · Jun 27, 2022 · 1a8d066 · 1a8d066
1 parent 4dd0c6d
commit 1a8d066
Showing 1 changed file with 27 additions and 0 deletions.
diff --git a/less/style.less b/less/style.less
@@ -76,6 +76,33 @@ a, a:hover, a:visited, a:link {
   }
 }
 
+#page-header {
+  .shadow1();
+  height: 64px;
+  background-color: @color-primary;
+  text-transform: uppercase;
+  right: 0;
+  left: 0;
+  top: 0;
+  letter-spacing: 1px;
+  padding: 12px 10px;
+  z-index: 2000;
+
+  .login {
+    top: inherit;
+    margin-top: 3px
+  }
+
+  .login b {
+    font-weight: 400
+  }
+
+  #search-box {
+    background: @color-bg;
+    padding-left: 10px;
+  }
+}
+
 #breadcrumbBar {
   #breadcrumbs {
     border: none !important;