diff options
author | Valerie R Young <spectranaut@riseup.net> | 2016-07-15 11:10:45 -0400 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-07-24 11:46:03 -0400 |
commit | f4ea95be872e2aebcf5ac6b46b5d504d35c078be (patch) | |
tree | 53bd6b16a08edf729eabbeb36c9a8197b07d14c7 /userContent/reproducible | |
parent | b1c19f2ae8ef5a4ed498c9a596aa75dd863cd878 (diff) | |
download | jenkins.debian.net-f4ea95be872e2aebcf5ac6b46b5d504d35c078be.tar.xz |
reproducible debian: first pass at main navigation improvements
Reshuffled links, added headers, added hover text, small changes
in highlighting of links.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'userContent/reproducible')
-rw-r--r-- | userContent/reproducible/static/style.css | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index df093045..5637ee7d 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -91,10 +91,6 @@ a.package:visited, a.noted:visited { font-size: 0.9em; } -ul.menu { - margin-bottom: 1em; -} - .head li { list-style: none; display: block !important; @@ -121,10 +117,8 @@ ul.menu { } -ul.reproducible-links { - margin-top: 1em; +ul.new-menu { border-top: 1px solid #eee; - padding-top: 0.5em; } ul.reproducible-links li { @@ -144,6 +138,7 @@ header { } header.head { + padding-top: 0.5em; background: #fafafa; } @@ -174,6 +169,9 @@ ul li { background-color: #bfeaff; } +.current { + font-weight: bold; +} h1 { font-size : 250%; @@ -197,6 +195,12 @@ h3 { font-size : 110%; } +h4 { + color: #d70a53; + font-size : 90%; + margin: 0.5em; +} + table { counter-reset: rowNumber; /* used for automatic row count with CSS */ border: 1px solid #ddd; @@ -435,7 +439,7 @@ span.dangerous { color: orange; } border: none; border-right: 1px solid #eee; height: 100%; - padding-top: 0px; + padding-top: 0.5em; overflow: auto; } .mainbody { |