coverage update

HelpfulScripts · Dec 2, 2018 · deee636 · deee636
1 parent 226096f
commit deee636
Show file tree

Hide file tree

Showing 5 changed files with 303 additions and 389 deletions.
diff --git a/docs/data/src/hsOsaes6/coverage/base.css b/docs/data/src/hsOsaes6/coverage/base.css
@@ -152,15 +152,9 @@ table.coverage td span.cline-any {
     background-position: 0 -10px;
 }
 .status-line {  height: 10px; }
-/* yellow */
-.cbranch-no { background: yellow !important; color: #111; }
 /* dark red */
 .red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
 .low .chart { border:1px solid #C21F39 }
-.highlighted,
-.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no{
-  background: #C21F39 !important;
-}
 /* medium red */
 .cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
 /* light red */
@@ -173,24 +167,19 @@ table.coverage td span.cline-any {
 .status-line.high, .high .cover-fill { background:rgb(77,146,33) }
 .high .chart { border:1px solid rgb(77,146,33) }
 
+
 .medium .chart { border:1px solid #666; }
 .medium .cover-fill { background: #666; }
 
+.cbranch-no { background:  yellow !important; color: #111; }
+
 .cstat-skip { background: #ddd; color: #111; }
 .fstat-skip { background: #ddd; color: #111 !important; }
 .cbranch-skip { background: #ddd !important; color: #111; }
 
 span.cline-neutral { background: #eaeaea; }
 .medium { background: #eaeaea; }
 
-.coverage-summary td.empty {
-    opacity: .5;
-    padding-top: 4px;
-    padding-bottom: 4px;
-    line-height: 1;
-    color: #888;
-}
-
 .cover-fill, .cover-empty {
   display:inline-block;
   height: 12px;

diff --git a/docs/data/src/hsOsaes6/coverage/block-navigation.js b/docs/data/src/hsOsaes6/coverage/block-navigation.js
diff --git a/docs/data/src/hsOsaes6/coverage/index.html b/docs/data/src/hsOsaes6/coverage/index.html
@@ -40,9 +40,6 @@ <h1>
         <span class='fraction'>63/80</span>
       </div>
     </div>
-    <p class="quiet">
-      Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
-    </p>
   </div>
   <div class='status-line medium'></div>
 <div class="pad1">
@@ -102,6 +99,5 @@ <h1>
 };
 </script>
 <script src="sorter.js"></script>
-<script src="block-navigation.js"></script>
 </body>
 </html>