Improve hover highlight.

lapo-luchini · Apr 1, 2024 · 6052316 · 6052316
1 parent b6c0059
commit 6052316
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/dom.js b/dom.js
@@ -58,7 +58,7 @@ export class ASN1DOM extends ASN1 {
         let isOID = (typeof oids === 'object') && (this.tag.isUniversal() && (this.tag.tagNumber == 0x06) || (this.tag.tagNumber == 0x0D));
         let node = DOM.tag('div', 'node');
         node.asn1 = this;
-        let head = DOM.tag('div', 'head');
+        let head = DOM.tag('span', 'head');
         head.appendChild(DOM.tag('span', 'spaces', spaces));
         const typeName = this.typeName().replace(/_/g, ' ');
         if (this.def) {

diff --git a/index-dark.css b/index-dark.css
@@ -18,6 +18,7 @@
     --preview-border-color: #b5b3b3;
     --dump-bg-color: #0c0e11;
     --dump-border-color: #505050;
+    --hover-bg-color: #505050;
 }
 h1 {
     font-weight: 200;

diff --git a/index.css b/index.css
@@ -18,6 +18,7 @@
     --preview-border-color: #505050;
     --dump-bg-color: #C0C0C0;
     --dump-border-color: #E0E0E0;
+    --hover-bg-color: #E0E0E0;
 }
 html, body {
     background-color: var(--page-bg-color);
@@ -128,7 +129,7 @@ header {
 }
 .node:hover > .head, .node.hover > .head {
     color: var(--link-color);
-    font-weight: bold;
+    background-color: var(--hover-bg-color);
 }
 .node:hover > .head:hover, .node.hover > .head.hover {
     color: var(--link-hover-color);