1 files changed, 62 insertions, 26 deletions

diff --git a/doc/sample_html/style.css b/doc/sample_html/style.css
index 34ab10e3..b2987ea3 100644
--- a/doc/sample_html/style.css
+++ b/doc/sample_html/style.css
@@ -2,14 +2,14 @@
 /* Page-wide styles */
 html, body, h1, h2, h3, p, td, th {
     margin: 0;
-	padding: 0;
-	border: 0;
-	outline: 0;
-	font-weight: inherit;
-	font-style: inherit;
-	font-size: 100%;
-	font-family: inherit;
-	vertical-align: baseline;
+    padding: 0;
+    border: 0;
+    outline: 0;
+    font-weight: inherit;
+    font-style: inherit;
+    font-size: 100%;
+    font-family: inherit;
+    vertical-align: baseline;
     }
 
 /* Set baseline grid to 16 pt. */
@@ -89,9 +89,14 @@ h2.stats {
     cursor: pointer;
     border-color: #999 #ccc #ccc #999;
 }
-.stats span.hide {
+.stats span.hide_run, .stats span.hide_exc,
+.stats span.hide_mis, .stats span.hide_par,
+.stats span.par.hide_run.hide_par {
     border-color: #ccc #999 #999 #ccc;
 }
+.stats span.par.hide_run {
+    border-color: #999 #ccc #ccc #999;
+}
 
 /* Source file styles */
 .linenos p {
@@ -100,7 +105,7 @@ h2.stats {
     padding: 0 .5em;
     color: #999999;
     font-family: verdana, sans-serif;
-    font-size: .625em;       /* 10/16 */
+    font-size: .625em;   /* 10/16 */
     line-height: 1.6em;  /* 16/10 */
     }
 td.text {
@@ -117,7 +122,7 @@ td.text {
     background: #ffdddd;
     border-left: 2px solid #ff0000;
     }
-.text p.run {
+.text p.run, .text p.run.hide_par {
     background: #ddffdd;
     border-left: 2px solid #00ff00;
     }
@@ -125,40 +130,69 @@ td.text {
     background: #eeeeee;
     border-left: 2px solid #808080;
     }
-.text p.hide {
+.text p.par, .text p.par.hide_run {
+    background: #ffffaa;
+    border-left: 2px solid #eeee99;
+    }
+.text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par,
+.text p.hide_run.hide_par {
     background: inherit;
     }
 
+.text span.annotate {
+    font-family: georgia;
+    font-style: italic;
+    color: #666;
+    float: right;
+    padding-right: .5em;
+    }
+.text p.hide_par span.annotate {
+    display: none;
+    }
+
 /* Syntax coloring */
 .text .com {
-	color: green;
-	font-style: italic;
-	line-height: 1px;
-	}
+    color: green;
+    font-style: italic;
+    line-height: 1px;
+    }
 .text .key {
-	font-weight: bold;
-	line-height: 1px;
-	}
+    font-weight: bold;
+    line-height: 1px;
+    }
 .text .str {
-	color: #000080;
-	}
+    color: #000080;
+    }
 
 /* index styles */
 #index td, #index th {
     text-align: right;
-    width: 6em;
-    padding: .25em 0;
+    width: 5em;
+    padding: .25em .5em;
     border-bottom: 1px solid #eee;
     }
 #index th {
     font-style: italic;
     color: #333;
     border-bottom: 1px solid #ccc;
+    cursor: pointer;
+    }
+#index th:hover {
+    background: #eee;
+    border-bottom: 1px solid #999;
+    }
+#index td.left, #index th.left {
+    padding-left: 0;
+    }
+#index td.right, #index th.right {
+    padding-right: 0;
+    }
+#index th.headerSortDown, #index th.headerSortUp {
+    border-bottom: 1px solid #000;
     }
 #index td.name, #index th.name {
     text-align: left;
     width: auto;
-    height: 1.5em;
     }
 #index td.name a {
     text-decoration: none;
@@ -169,10 +203,12 @@ td.text {
     color: #000;
     }
 #index tr.total {
-    font-weight: bold;
     }
 #index tr.total td {
-    padding: .25em 0;
+    font-weight: bold;
     border-top: 1px solid #ccc;
     border-bottom: none;
     }
+#index tr.file:hover {
+    background: #eeeeee;
+    }