diff --git a/dom.js b/dom.js index 288a083..8ae7c1e 100644 --- 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 index eb4097e..1e6680e 100644 --- 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 index 0151f84..4adef4e 100644 --- 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);