change header of references pane to show heading instead of anchor (#542

)
tc39 · Aug 30, 2023 · 959b412 · 959b412
1 parent 0ad7237
commit 959b412
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 7 deletions.
diff --git a/css/elements.css b/css/elements.css
@@ -981,15 +981,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,

diff --git 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 = getKey(entry);
     this.$headerRefId.setAttribute('href', makeLinkToId(entry.id));
     this.$headerRefId.style.display = 'inline';
     (entry.referencingIds || [])