Make the index page display the same in all browsers, and give it a hover effect.

2 files changed, 5 insertions, 3 deletions

diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html
index 5129c301..03a83cc3 100644
--- a/coverage/htmlfiles/index.html
+++ b/coverage/htmlfiles/index.html
@@ -17,7 +17,7 @@
 

 <div id='index'>

 <table class='index'>

-<tr>

+<tr class='tablehead'>

     <th class='name'>Module</th>

     <th>statements</th>

     <th>run</th>

@@ -28,7 +28,7 @@
     <th>coverage</th>

 </tr>

 {% for file in files %}

-<tr>

+<tr class='file'>

     <td class='name'><a href='{{file.html_filename}}'>{{file.cu.name}}</a></td>

     <td>{{file.stm}}</td>

     <td>{{file.run}}</td>

diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 48961e53..7c2ae797 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;
+	}