HTML line numbers are clickable, and highlight the line on arrival. Also, noticed that IE8 didn't line up the line number properly, so added an unfortunate meta tag to make it right. Closes issue #55.

1 files changed, 14 insertions, 2 deletions

diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 25e7d115..a9ab5358 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -5,8 +5,8 @@ html, body, h1, h2, h3, p, td, th {
     padding: 0;
     border: 0;
     outline: 0;
-    font-weight: inherit;
-    font-style: inherit;
+    font-weight: normal;
+    font-style: normal;
     font-size: 100%;
     font-family: inherit;
     vertical-align: baseline;
@@ -108,6 +108,18 @@ h2.stats {
     font-size: .625em;   /* 10/16 */
     line-height: 1.6em;  /* 16/10 */
     }
+.linenos p.highlight {
+    background: #ffdd00;
+    }
+.linenos p a {
+    text-decoration: none;
+    color: #999999;
+    }
+.linenos p a:hover {
+    text-decoration: underline;
+    color: #999999;
+    }
+
 td.text {
     width: 100%;
     }