From 71caccde61deca9dc5eed740d52e5c5d53b13805 Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Fri, 30 Oct 2009 20:17:42 -0400 Subject: Make the index page display the same in all browsers, and give it a hover effect. --- coverage/htmlfiles/index.html | 4 ++-- coverage/htmlfiles/style.css | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) (limited to 'coverage/htmlfiles') diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 5129c30..03a83cc 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -17,7 +17,7 @@
- + @@ -28,7 +28,7 @@ {% for file in files %} - + diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 48961e5..7c2ae79 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -162,7 +162,6 @@ td.text { #index td.name, #index th.name { text-align: left; width: auto; - height: 1.5em; } #index td.name a { text-decoration: none; @@ -180,3 +179,6 @@ td.text { border-top: 1px solid #ccc; border-bottom: none; } +#index tr.file:hover { + background: #eeeeee; + } -- cgit v1.2.1
Module statements runcoverage
{{file.cu.name}} {{file.stm}} {{file.run}}