diff options
Diffstat (limited to 'userContent/reproducible')
| -rw-r--r-- | userContent/reproducible/static/style.css | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 13f38ca6..d431d3f6 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -177,17 +177,22 @@ a.bug-patch:after { a.bug-done { text-decoration: line-through; + color: green; } -span.bug-patch { +span.bug { color: red; font-weight: bold; } +span.bug-patch { + color: yellow; + font-weight: bold; +} + span.bug-done { text-decoration: line-through; - font-weight: bold; - color: black; + color: green; } td, th { |