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 /bin/reproducible_common.py | |
parent | 15f3b81176be945769a15574afe682552e9d770c (diff) | |
download | jenkins.debian.net-24ed2787e3ff0083bed1264e0e1bef072623c063.tar.xz |
reproducible debian: use bold font in note to explain bold font
Diffstat (limited to 'bin/reproducible_common.py')
-rwxr-xr-x | bin/reproducible_common.py | 2 |
1 files changed, 1 insertions, 1 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 |