diff options
Diffstat (limited to 'userContent/reproducible')
| -rw-r--r-- | userContent/reproducible/static/style.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index bd6f2e2f..4ad5a4bd 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -178,6 +178,7 @@ a.bug-patch:after { a.bug-done { text-decoration: line-through; color: #73d216; + font-weight: bold; } span.bug { @@ -193,6 +194,7 @@ span.bug-patch { span.bug-done { text-decoration: line-through; color: #73d216; + font-weight: bold; } td, th { |