diff options
Diffstat (limited to 'userContent/reproducible/static')
| -rw-r--r-- | userContent/reproducible/static/style.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 5c6af262..92efd7a6 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -179,6 +179,12 @@ a.bug-patch:after { font-weight: bold; } +a.bug-pending:after { + content: "P"; + color: #663300; + font-weight: bold; +} + a.bug-done { text-decoration: line-through; color: #73d216; @@ -195,6 +201,11 @@ span.bug-patch { font-weight: bold; } +span.bug-pending { + color: #663300; + font-weight: bold; +} + span.bug-done { text-decoration: line-through; color: #73d216; |