Mercurial Repositories > eric / file diff

diff -r f1cbc18f88b2 -r fac17a82b431 DebugClients/Python3/coverage/htmlfiles/style.css
--- a/DebugClients/Python3/coverage/htmlfiles/style.css	Fri Apr 04 22:57:07 2014 +0200
+++ b/DebugClients/Python3/coverage/htmlfiles/style.css	Thu Apr 10 23:02:20 2014 +0200
@@ -20,12 +20,12 @@
 
 html>body {
     font-size: 16px;
-    }    
+    }
 
 /* Set base font size to 12/16 */
 p {
-    font-size: .75em;        /* 12/16 */
-    line-height: 1.3333em;   /* 16/12 */
+    font-size: .75em;           /* 12/16 */
+    line-height: 1.33333333em;  /* 16/12 */
     }
 
 table {
@@ -53,10 +53,14 @@
     font-family: "courier new", monospace;
     }
 
-#footer {
+#indexfile #footer {
     margin: 1em 3em;
     }
 
+#pyfile #footer {
+    margin: 1em 1em;
+    }
+
 #footer .content {
     padding: 0;
     font-size: 85%;
@@ -98,6 +102,76 @@
     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;
+    cursor: pointer;
+}
+
+.help_panel {
+    position: absolute;
+    background: #ffc;
+    padding: .5em;
+    border: 1px solid #883;
+    display: none;
+}
+
+#indexfile .help_panel {
+    width: 20em; height: 4em;
+}
+
+#pyfile .help_panel {
+    width: 16em; height: 8em;
+}
+
+.help_panel .legend {
+    font-style: italic;
+    margin-bottom: 1em;
+}
+
+#panel_icon {
+    float: right;
+    cursor: pointer;
+}
+
+.keyhelp {
+    margin: .75em;
+}
+
+.keyhelp .key {
+    border: 1px solid black;
+    border-color: #888 #333 #333 #888;
+    padding: .1em .35em;
+    font-family: monospace;
+    font-weight: bold;
+    background: #eee;
+}
+
 /* Source file styles */
 .linenos p {
     text-align: right;
@@ -108,6 +182,18 @@
     font-size: .625em;   /* 10/16 */
     line-height: 1.6em;  /* 16/10 */
     }
+.linenos p.highlight {
+    background: #ffdd00;
+    }
+.linenos p a {
+    text-decoration: none;
+    color: #999999;
+    }
+.linenos p a:hover {
+    text-decoration: underline;
+    color: #999999;
+    }
+
 td.text {
     width: 100%;
     }
@@ -115,7 +201,7 @@
     margin: 0;
     padding: 0 0 0 .5em;
     border-left: 2px solid #ffffff;
-    white-space: nowrap;  
+    white-space: nowrap;
     }
 
 .text p.mis {