diff options
-rwxr-xr-x | bin/reproducible_common.py | 10 | ||||
-rwxr-xr-x | bin/reproducible_common.sh | 2 | ||||
-rw-r--r-- | userContent/reproducible/static/style.css | 11 |
3 files changed, 15 insertions, 8 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index fc5488a4..cc7789b6 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -171,9 +171,11 @@ html_foot_page_style_note = Template((tab*2).join(""" A package name displayed with a bold font is an indication that this package has a note. Visited packages are linked in green, those which have not been visited are linked in blue.<br /> - A <code>#</code> sign after the name of a package indicates that a bug is - filed against it. Likewise, a <code>+</code> means that there is bug with a - patch attached. In case of more than one bug, the symbol is repeated. + A <code><span class="bug">#</span></code> sign after the name of a + package indicates that a bug is filed against it. Likewise, a + <code><span class="bug-patch">+</span></code> sign indicates there is + a patch available. <code><span class="bug-done">#</span></code> + indicates a closed bug. In cases of several bugs, the symbol is repeated. </p>""".splitlines(True))) @@ -488,7 +490,7 @@ def get_trailing_icon(package, bugs): elif bugs[package][bug]['patch']: html += 'bug-patch" title="#' + str(bug) + ', with patch">+</span>' else: - html += '" title="#' + str(bug) + '">#</span>' + html += 'bug" title="#' + str(bug) + '">#</span>' return html diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 49a70ca8..69c205a7 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -238,7 +238,7 @@ write_page_footer() { write_page_meta_sign() { write_page "<p style=\"font-size:0.9em;\">A package name displayed with a bold font is an indication that this package has a note. Visited packages are linked in green, those which have not been visited are linked in blue.</br>" - write_page " A <code>#</code> sign after the name of a package indicates that a bug is filed against it. Likewise, a <code>+</code> means that there is bug with a patch attached. In case of more than one bug, the symbol is repeated.</p>" + write_page "A <code><span class=\"bug\">#</span></code> sign after the name of a package indicates that a bug is filed against it. Likewise, a <code><span class=\"bug-patch\">+</span></code> sign indicates there is a patch available. <code><span class=\"bug-done\">#</span></code> indicates a closed bug. In cases of several bugs, the symbol is repeated.</p>" } publish_page() { 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 { |