diff --git a/docs/data/src/hsOsaes6/coverage/base.css b/docs/data/src/hsOsaes6/coverage/base.css
index 7090209..417c7ad 100644
--- 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,9 +167,12 @@ 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; }
@@ -183,14 +180,6 @@ table.coverage td span.cline-any {
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
deleted file mode 100644
index 0c71903..0000000
--- a/docs/data/src/hsOsaes6/coverage/block-navigation.js
+++ /dev/null
@@ -1,63 +0,0 @@
-var jumpToCode = (function init () {
- // Classes of code we would like to highlight
- var missingCoverageClasses = [ '.cbranch-no', '.cstat-no', '.fstat-no' ];
-
- // We don't want to select elements that are direct descendants of another match
- var notSelector = ':not(' + missingCoverageClasses.join('):not(') + ') > '; // becomes `:not(a):not(b) > `
-
- // Selecter that finds elements on the page to which we can jump
- var selector = notSelector + missingCoverageClasses.join(', ' + notSelector); // becomes `:not(a):not(b) > a, :not(a):not(b) > b`
-
- // The NodeList of matching elements
- var missingCoverageElements = document.querySelectorAll(selector);
-
- var currentIndex;
-
- function toggleClass(index) {
- missingCoverageElements.item(currentIndex).classList.remove('highlighted');
- missingCoverageElements.item(index).classList.add('highlighted');
- }
-
- function makeCurrent(index) {
- toggleClass(index);
- currentIndex = index;
- missingCoverageElements.item(index)
- .scrollIntoView({ behavior: 'smooth', block: 'center', inline: 'center' });
- }
-
- function goToPrevious() {
- var nextIndex = 0;
- if (typeof currentIndex !== 'number' || currentIndex === 0) {
- nextIndex = missingCoverageElements.length - 1;
- } else if (missingCoverageElements.length > 1) {
- nextIndex = currentIndex - 1;
- }
-
- makeCurrent(nextIndex);
- }
-
- function goToNext() {
- var nextIndex = 0;
-
- if (typeof currentIndex === 'number' && currentIndex < (missingCoverageElements.length - 1)) {
- nextIndex = currentIndex + 1;
- }
-
- makeCurrent(nextIndex);
- }
-
- return function jump(event) {
- switch (event.which) {
- case 78: // n
- case 74: // j
- goToNext();
- break;
- case 66: // b
- case 75: // k
- case 80: // p
- goToPrevious();
- break;
- }
- };
-}());
-window.addEventListener('keydown', jumpToCode);
diff --git a/docs/data/src/hsOsaes6/coverage/index.html b/docs/data/src/hsOsaes6/coverage/index.html
index 1849ef9..ac6c69c 100644
--- a/docs/data/src/hsOsaes6/coverage/index.html
+++ b/docs/data/src/hsOsaes6/coverage/index.html
@@ -40,9 +40,6 @@
63/80
-
- Press n or j to go to the next uncovered block, b, p or k for the previous block.
-
@@ -102,6 +99,5 @@
};
-