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 25e7d11..a9ab535 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%;
     }