1 files changed, 35 insertions, 9 deletions

diff --git a/doc/sample_html/style.css b/doc/sample_html/style.css
index 811c6401..15b08904 100644
--- a/doc/sample_html/style.css
+++ b/doc/sample_html/style.css
@@ -1,6 +1,9 @@
-/* CSS styles for Coverage. */
+/* Licensed under the Apache License: http://www.apache.org/licenses/LICENSE-2.0 */
+/* For details: https://bitbucket.org/ned/coveragepy/src/default/NOTICE.txt */
+
+/* CSS styles for coverage.py. */
 /* Page-wide styles */
-html, body, h1, h2, h3, p, td, th {
+html, body, h1, h2, h3, p, table, td, th {
     margin: 0;
     padding: 0;
     border: 0;
@@ -31,6 +34,17 @@ p {
 table {
     border-collapse: collapse;
     }
+td {
+    vertical-align: top;
+}
+table tr.hidden {
+    display: none !important;
+    }
+
+p#no_rows {
+    display: none;
+    font-size: 1.2em;
+    }
 
 a.nav {
     text-decoration: none;
@@ -53,11 +67,11 @@ a.nav:hover {
     font-family: "courier new", monospace;
     }
 
-#indexfile #footer {
+.indexfile #footer {
     margin: 1em 3em;
     }
 
-#pyfile #footer {
+.pyfile #footer {
     margin: 1em 1em;
     }
 
@@ -80,6 +94,16 @@ a.nav:hover {
 
 h1 {
     font-size: 1.25em;
+    display: inline-block;
+}
+
+#filter_container {
+    display: inline-block;
+    float: right;
+    margin: 0 2em 0 0;
+}
+#filter_container input {
+    width: 10em;
 }
 
 h2.stats {
@@ -130,6 +154,7 @@ h2.stats {
 /* Help panel */
 #keyboard_icon {
     float: right;
+    margin: 5px;
     cursor: pointer;
 }
 
@@ -141,11 +166,11 @@ h2.stats {
     display: none;
 }
 
-#indexfile .help_panel {
+.indexfile .help_panel {
     width: 20em; height: 4em;
 }
 
-#pyfile .help_panel {
+.pyfile .help_panel {
     width: 16em; height: 8em;
 }
 
@@ -227,7 +252,6 @@ td.text {
 
 .text span.annotate {
     font-family: georgia;
-    font-style: italic;
     color: #666;
     float: right;
     padding-right: .5em;
@@ -288,9 +312,11 @@ td.text {
     text-decoration: underline;
     color: #000;
     }
-#index tr.total {
+#index tr.total,
+#index tr.total_dynamic {
     }
-#index tr.total td {
+#index tr.total td,
+#index tr.total_dynamic td {
     font-weight: bold;
     border-top: 1px solid #ccc;
     border-bottom: none;