diff options
Diffstat (limited to 'userContent/theme/debian.css')
-rw-r--r-- | userContent/theme/debian.css | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/userContent/theme/debian.css b/userContent/theme/debian.css index 8a76fe1b..19ac348f 100644 --- a/userContent/theme/debian.css +++ b/userContent/theme/debian.css @@ -1,27 +1,24 @@ @charset "utf-8"; -#top-panel { - background: url(title.png) 0 0 no-repeat; } - #top-panel td#login-field span a { - background: none; } - #top-panel td #searchform a { - background: none; - height: auto; - width: auto; } - #top-panel td > a { +#jenkins-name-icon { + display: none; +} +#jenkins-home-link { background: url(title.png) 0 0 no-repeat; display: block; + margin: 0 0 0 1em; + width: 300px; height: 34px; - width: 800px; // - margin: 10px 0 0 10px; // } - #top-panel td > a img { - display: none; } +#jenkins-head-icon { + position: absolute; + left: 3px; +} -#main-table { +body { background-image: url(debian-swirl.png) !important; + background-repeat: no-repeat; background-position: bottom right !important; } - |