[Qa-jenkins-scm] [jenkins.debian.net] 01/01: reproducible debian: use bold font in note to explain bold font

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository jenkins.debian.net.

commit 24ed2787e3ff0083bed1264e0e1bef072623c063
Author: Holger Levsen <holger at layer-acht.org>
Date:   Mon Mar 7 15:55:21 2016 +0100

    reproducible debian: use bold font in note to explain bold font
---
 bin/reproducible_common.py | 2 +-
 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 6fe7757..19e8a38 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 5091576..14d8bde 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>"
 }
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/qa/jenkins.debian.net.git