From 136798ef488c926f10c02d3b5aa0190ac27b69f2 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Fri, 24 Apr 2009 23:28:27 -0400
Subject: Use jquery to enable hiding and showing highlighting of source lines
 in HTML reports.

---
 coverage/htmlfiles/style.css | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'coverage/htmlfiles/style.css')

diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 7aa6d697..012cfac0 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -68,10 +68,14 @@ h1 {
 h2.stats {
     margin-top: .5em;
 }
-.stats  span {
-    border: 1px solid black;
+.stats span {
+    border: 1px solid;
     padding: .1em .25em;
     cursor: pointer;
+    border-color: #888 #ccc #ccc #888;
+}
+.stats span.hide {
+    border-color: #ccc #888 #888 #ccc;
 }
 
 /* Source file styles */
@@ -102,3 +106,6 @@ td.text {
 .text p.exc {
     background: #eeeeee;
     }
+.text p.hide {
+    background: inherit;
+    }
-- 
cgit v1.2.1