diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-03-07 15:55:21 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-03-07 15:55:21 +0100 |
commit | 24ed2787e3ff0083bed1264e0e1bef072623c063 (patch) | |
tree | 88cbb768c7dbfcf8d0a9c1dfb4f15f8635d29de4 | |
parent | 15f3b81176be945769a15574afe682552e9d770c (diff) | |
download | jenkins.debian.net-24ed2787e3ff0083bed1264e0e1bef072623c063.tar.xz |
reproducible debian: use bold font in note to explain bold font
-rwxr-xr-x | bin/reproducible_common.py | 2 | ||||
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 6fe77579..19e8a382 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -219,7 +219,7 @@ $links html_foot_page_style_note = Template((tab*2).join(""" <p style="font-size:0.9em;"> - A package name displayed with a bold font is an indication that this + A package name displayed with a <span style="font-weight: bold;">bold font</span> 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><span class="bug">#</span></code> sign after the name of a diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 50915761..14d8bdee 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -353,7 +353,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 "<p style=\"font-size:0.9em;\">A package name displayed with a <span style=\"font-weight: bold;\">bold font</span> 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><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, a <code><span class="bug-pending">P</span></code> means a pending bug while <code><span class=\"bug-done\">#</span></code> indicates a closed bug. In cases of several bugs, the symbol is repeated.</p>" } |