Latest sample HTML.

1 files changed, 25 insertions, 0 deletions

diff --git a/doc/sample_html/style.css b/doc/sample_html/style.css
index c40357b8..70715ac1 100644
--- a/doc/sample_html/style.css
+++ b/doc/sample_html/style.css
@@ -102,6 +102,31 @@ h2.stats {
     border-color: #999 #ccc #ccc #999;
 }
 
+.stats span.run {
+    background: #ddffdd;
+}
+.stats span.exc {
+    background: #eeeeee;
+}
+.stats span.mis {
+    background: #ffdddd;
+}
+.stats span.hide_run {
+    background: #eeffee;
+}
+.stats span.hide_exc {
+    background: #f5f5f5;
+}
+.stats span.hide_mis {
+    background: #ffeeee;
+}
+.stats span.par {
+    background: #ffffaa;
+}
+.stats span.hide_par {
+    background: #ffffcc;
+}
+
 /* Help panel */
 #keyboard_icon {
     float: right;