From 101fa70c89878c070af6009fda749c3adc54435f Mon Sep 17 00:00:00 2001 From: Michael Ficarra Date: Mon, 7 Aug 2023 19:02:03 -0600 Subject: [PATCH 1/3] change header of references pane to show heading instead of anchor --- js/menu.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/menu.js b/js/menu.js index dde18a88..aea226b6 100644 --- a/js/menu.js +++ b/js/menu.js @@ -762,7 +762,7 @@ let referencePane = { let previousId; let previousCell; let dupCount = 0; - this.$headerRefId.textContent = '#' + entry.id; + this.$headerRefId.innerHTML = entry.titleHTML; this.$headerRefId.setAttribute('href', makeLinkToId(entry.id)); this.$headerRefId.style.display = 'inline'; (entry.referencingIds || []) From 7578ade75e967b377f90de6ccac51528961e5480 Mon Sep 17 00:00:00 2001 From: Michael Ficarra Date: Tue, 8 Aug 2023 10:33:16 -0600 Subject: [PATCH 2/3] support all reference-able things --- js/menu.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/menu.js b/js/menu.js index aea226b6..f6e110ba 100644 --- a/js/menu.js +++ b/js/menu.js @@ -762,7 +762,7 @@ let referencePane = { let previousId; let previousCell; let dupCount = 0; - this.$headerRefId.innerHTML = entry.titleHTML; + this.$headerRefId.innerHTML = getKey(entry); this.$headerRefId.setAttribute('href', makeLinkToId(entry.id)); this.$headerRefId.style.display = 'inline'; (entry.referencingIds || []) From a9e7e9b3ef3a27d75b0fd95d68bc135d272674ff Mon Sep 17 00:00:00 2001 From: Michael Ficarra Date: Tue, 8 Aug 2023 10:33:34 -0600 Subject: [PATCH 3/3] update styles a bit --- css/elements.css | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/css/elements.css b/css/elements.css index 41156ffe..2276a4ac 100644 --- a/css/elements.css +++ b/css/elements.css @@ -899,15 +899,13 @@ tr.del > td { } .menu-pane-header { - padding: 0 5px; - text-transform: uppercase; - background-color: #aaa; - color: #335; + padding: 2px 8px; + background-color: #bbb; font-weight: bold; - letter-spacing: 2px; + letter-spacing: 1px; flex-grow: 0; flex-shrink: 0; - font-size: 0.8em; + font-size: 80%; } .menu-pane-header emu-opt,