Make the two html templates more similar in style.

1 files changed, 15 insertions, 0 deletions

diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js
index c0abab81..faea61af 100644
--- a/coverage/htmlfiles/coverage_html.js
+++ b/coverage/htmlfiles/coverage_html.js
@@ -62,3 +62,18 @@ function index_page_ready($) {
         document.cookie = cookie_name + "=" + sort_list.toString() + "; path=/" 
     });
 }
+
+// -- pyfile stuff --
+
+function toggle_lines(btn, cls) {
+    var btn = $(btn);
+    var hide = "hide_"+cls;
+    if (btn.hasClass(hide)) {
+        $("#source ."+cls).removeClass(hide);
+        btn.removeClass(hide);
+    }
+    else {
+        $("#source ."+cls).addClass(hide);
+        btn.addClass(hide);
+    }
+}