diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-15 17:15:04 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-16 11:50:01 +0100 |
commit | f2d3f6c17b871e303034b38981aa58944b1c45aa (patch) | |
tree | 23933c437205b1bd0942e99023ba5f234bb449be /userContent | |
parent | 0f0545fe5345cf80febc719aec68f9560da155d3 (diff) | |
download | jenkins.debian.net-f2d3f6c17b871e303034b38981aa58944b1c45aa.tar.xz |
reproducible: initial work to add bug information to rb pages. now add bugs number to /rb-pkg/* heads
Diffstat (limited to 'userContent')
-rw-r--r-- | userContent/static/style.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/userContent/static/style.css b/userContent/static/style.css index 5c560efc..4b69e7f5 100644 --- a/userContent/static/style.css +++ b/userContent/static/style.css @@ -154,6 +154,16 @@ tr:nth-child(odd) { background-color: #fafafa; } +a.bug-patch:after { + content: "p"; + color: red; + font-weight: bold; +} + +a.bug-done { + text-decoration: line-through; +} + td, th { text-align: left; padding: 0.25em 0.5em; |