1 files changed, 2 insertions, 7 deletions
diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js
index 27b49b36..c2151d34 100644
--- a/coverage/htmlfiles/coverage_html.js
+++ b/coverage/htmlfiles/coverage_html.js
@@ -311,11 +311,6 @@ coverage.line_elt = function (n) {
     return $("#t" + n);
 };
 
-// Return the nth line number div.
-coverage.num_elt = function (n) {
-    return $("#n" + n);
-};
-
 // Set the selection.  b and e are line numbers.
 coverage.set_sel = function (b, e) {
     // The first line selected.
@@ -514,9 +509,9 @@ coverage.show_selection = function () {
     var c = coverage;
 
     // Highlight the lines in the chunk
-    $(".linenos .highlight").removeClass("highlight");
+    $("#source .highlight").removeClass("highlight");
     for (var probe = c.sel_begin; probe > 0 && probe < c.sel_end; probe++) {
-        c.num_elt(probe).addClass("highlight");
+        c.line_elt(probe).addClass("highlight");
     }
 
     c.scroll_to_selection();