Bug#508043: debbugs: Patch to turn link underlines into dotted lines.

[nyov]

tags 508043 patch

Hello.

Attached is a CSS fragment that will turn link underlines into dotted lines.

diff --git a/html/bugs.css b/html/bugs.css
index 7bddb101..401e1095 100644
--- a/html/bugs.css
+++ b/html/bugs.css
@@ -39,6 +39,7 @@ h3 {
 a:link {
     color: #1b56ce;
     font-weight: bold;
+    text-decoration: underline dotted;
 }
 
 a:visited {
@@ -56,7 +57,7 @@ a:link:hover, a:visited:hover {
 .link, .link abbr, .link abbr:hover {
     color: #1b56ce;
     font-weight: bold;
-    text-decoration: underline;
+    text-decoration: underline dotted;
 }
 
 .link span:hover {