From f04334b132c84259a7d5d0592e38ab87fab5fee2 Mon Sep 17 00:00:00 2001
From: Holger Levsen
- A #
sign after the name of a package indicates that a bug is
- filed against it. Likewise, a +
means that there is bug with a
- patch attached. In case of more than one bug, the symbol is repeated.
+ A #
sign after the name of a
+ package indicates that a bug is filed against it. Likewise, a
+ +
sign indicates there is
+ a patch available. #
+ indicates a closed bug. In cases of several bugs, the symbol is repeated.
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."
- write_page " A #
sign after the name of a package indicates that a bug is filed against it. Likewise, a +
means that there is bug with a patch attached. In case of more than one bug, the symbol is repeated.
#
sign after the name of a package indicates that a bug is filed against it. Likewise, a +
sign indicates there is a patch available. #
indicates a closed bug. In cases of several bugs, the symbol is repeated."
}
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 {
--
cgit v1.2.3-70-g09d2