spec-up-t 1.6.3-beta.1 → 1.6.3

package/assets/css/terms-and-definitions.css

@@ -453,7 +453,6 @@ a.iref-go-to-glossary-button {
   white-space: nowrap;
   text-decoration: none;
   position: relative;
-  padding-left: 1.5rem;
 }
 
 a.iref-go-to-glossary-button:hover {

package/assets/css/validate-external-refs.css

@@ -171,10 +171,9 @@
 }
 
 /**
- * Show details on hover
+ * Show details on click (when the active class is applied via JavaScript)
  */
-.external-ref-validation-indicator.has-details:hover .validation-details,
-.external-ref-validation-indicator.has-details:focus .validation-details {
+.external-ref-validation-indicator.has-details.active .validation-details {
     display: block;
 }
 
@@ -367,3 +366,199 @@ a.x-term-reference + .external-ref-validation-indicator {
         font-size: 0.7em;
     }
 }
+
+/* ===== External Reference Changes Report ===== */
+
+/**
+ * Container for the changes report in the settings panel
+ */
+.external-ref-changes-report {
+    max-height: 300px;
+    overflow-y: auto;
+    border: 1px solid var(--bs-border-color, #dee2e6);
+    border-radius: 6px;
+    background: var(--bs-body-bg, #fff);
+}
+
+/**
+ * Table styling for the changes report
+ */
+.external-ref-changes-table {
+    margin-bottom: 0;
+    font-size: 0.8rem;
+}
+
+.external-ref-changes-table th {
+    position: sticky;
+    top: 0;
+    background: var(--bs-secondary-bg, #e9ecef);
+    border-bottom: 2px solid var(--bs-border-color, #dee2e6);
+    font-weight: 600;
+    font-size: 0.7rem;
+    text-transform: uppercase;
+    letter-spacing: 0.5px;
+    padding: 0.5rem 0.4rem;
+}
+
+.external-ref-changes-table td {
+    padding: 0.4rem;
+    vertical-align: middle;
+}
+
+/**
+ * Column widths
+ */
+.external-ref-changes-table .col-status {
+    width: 40px;
+    text-align: center;
+}
+
+.external-ref-changes-table .col-term {
+    min-width: 80px;
+    max-width: 120px;
+}
+
+.external-ref-changes-table .col-spec {
+    min-width: 60px;
+    max-width: 100px;
+}
+
+.external-ref-changes-table .col-similarity {
+    width: 50px;
+    text-align: center;
+}
+
+.external-ref-changes-table .col-action {
+    width: 40px;
+    text-align: center;
+}
+
+/**
+ * Status icons in the table
+ */
+.status-icon {
+    display: inline-flex;
+    align-items: center;
+    justify-content: center;
+    width: 1.5em;
+    height: 1.5em;
+    font-size: 1rem;
+}
+
+/**
+ * Term name styling
+ */
+.term-name {
+    display: block;
+    font-weight: 500;
+    word-break: break-word;
+    overflow: hidden;
+    text-overflow: ellipsis;
+}
+
+/**
+ * Spec badge styling
+ */
+.spec-badge {
+    display: inline-block;
+    padding: 0.15em 0.4em;
+    font-size: 0.7rem;
+    background: var(--bs-secondary-bg, #e9ecef);
+    border-radius: 4px;
+    word-break: break-word;
+}
+
+/**
+ * Similarity value styling
+ */
+.similarity-value {
+    font-size: 0.75rem;
+    font-weight: 500;
+    color: var(--bs-warning, #ffc107);
+}
+
+.similarity-na {
+    color: var(--bs-secondary, #6c757d);
+    font-size: 0.8rem;
+}
+
+/**
+ * Go to reference button
+ */
+.go-to-ref-btn {
+    padding: 0.15rem 0.35rem;
+    font-size: 0.75rem;
+    line-height: 1;
+}
+
+/**
+ * Row highlighting based on status
+ */
+.external-ref-changes-table tr.result-changed {
+    background-color: rgba(255, 193, 7, 0.08);
+}
+
+.external-ref-changes-table tr.result-missing {
+    background-color: rgba(220, 53, 69, 0.08);
+}
+
+.external-ref-changes-table tr.result-error {
+    background-color: rgba(108, 117, 125, 0.08);
+}
+
+.external-ref-changes-table tr:hover {
+    background-color: rgba(0, 0, 0, 0.05);
+}
+
+/**
+ * Highlight animation when scrolling to a reference
+ */
+@keyframes highlight-flash {
+    0%, 100% {
+        background-color: transparent;
+    }
+    50% {
+        background-color: rgba(255, 193, 7, 0.3);
+    }
+}
+
+.highlight-ref {
+    animation: highlight-flash 0.5s ease-in-out 3;
+    outline: 2px solid var(--bs-warning, #ffc107);
+    outline-offset: 2px;
+    border-radius: 4px;
+}
+
+/* ===== Dark Mode Support for Report ===== */
+
+[data-bs-theme="dark"] .external-ref-changes-report {
+    border-color: var(--bs-gray-700, #495057);
+}
+
+[data-bs-theme="dark"] .external-ref-changes-table th {
+    background: var(--bs-gray-800, #343a40);
+}
+
+[data-bs-theme="dark"] .spec-badge {
+    background: var(--bs-gray-700, #495057);
+}
+
+[data-bs-theme="dark"] .external-ref-changes-table tr:hover {
+    background-color: rgba(255, 255, 255, 0.05);
+}
+
+[data-bs-theme="dark"] .external-ref-changes-table tr.result-changed {
+    background-color: rgba(255, 193, 7, 0.15);
+}
+
+[data-bs-theme="dark"] .external-ref-changes-table tr.result-missing {
+    background-color: rgba(220, 53, 69, 0.15);
+}
+
+[data-bs-theme="dark"] .external-ref-changes-table tr.result-error {
+    background-color: rgba(108, 117, 125, 0.15);
+}
+
+[data-bs-theme="dark"] .highlight-ref {
+    background-color: rgba(255, 193, 7, 0.4);
+}

package/assets/js/add-href-to-snapshot-link.js

@@ -9,11 +9,17 @@
 function addHrefToSnapshotLink() {
    const snapshotLink = document.querySelector('#snapshot-link-in-content');
 
-   // Get the current URL of the page
-   const currentUrl = window.location.href;
-
-   // Remove query parameters and hash for URL processing
-   const urlWithoutParams = currentUrl.split('?')[0].split('#')[0];
+   // Get the current URL of the page using URL object for proper parsing
+   let urlWithoutParams;
+   try {
+      const url = new URL(window.location.href);
+      // Get pathname and origin, ignoring query parameters and hash
+      urlWithoutParams = url.origin + url.pathname;
+   } catch (e) {
+      // Fallback to string manipulation if URL parsing fails
+      const currentUrl = window.location.href;
+      urlWithoutParams = currentUrl.split('?')[0].split('#')[0];
+   }
 
    // Regex to match up to and including the 'versions/' directory (if it exists)
    // Updated to handle file:// URLs and various protocols

package/assets/js/download-pdf-docx.js

@@ -14,20 +14,31 @@
       .then((r) => r.ok)
       .catch(() => false);
 
-  const fileIconSvg =
-    '<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="none" stroke="currentColor" stroke-width="1.5" class="me-1" viewBox="0 0 16 16">\
-      <path d="M4 0a2 2 0 0 0-2 2v12a2 2 0 0 0 2 2h8a2 2 0 0 0 2-2V4.5L9.5 0H4zm0 1h5v4h4v9a1 1 0 0 1-1 1H4a1 1 0 0 1-1-1V2a1 1 0 0 1 1-1zm7 4h-1V2l3 3h-2z"/>\
+  // PDF icon with recognizable red color
+  const pdfIconSvg =
+    '<svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="currentColor" class="me-1">\
+      <path d="M14 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V8l-6-6z" fill="#e74c3c"/>\
+      <path d="M14 2v6h6" fill="none" stroke="#c0392b" stroke-width="1.5"/>\
+      <text x="12" y="17" font-size="6" font-weight="bold" text-anchor="middle" fill="white">PDF</text>\
     </svg>';
 
-  function createButton(href, title, cls) {
+  // DOCX/Word icon with recognizable blue color
+  const docxIconSvg =
+    '<svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="currentColor" class="me-1">\
+      <path d="M14 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V8l-6-6z" fill="#2b579a"/>\
+      <path d="M14 2v6h6" fill="none" stroke="#1e4378" stroke-width="1.5"/>\
+      <text x="12" y="17" font-size="5" font-weight="bold" text-anchor="middle" fill="white">DOCX</text>\
+    </svg>';
+
+  function createButton(href, title, cls, icon, label) {
     const a = document.createElement("a");
-    a.classList.add(cls, "btn", "d-block", "btn-sm", "btn-outline-secondary");
+    a.classList.add(cls, "btn", "btn-sm");
     a.target = "_blank";
     a.rel = "noopener noreferrer";
     a.href = href;
     a.title = title;
     a.setAttribute("aria-label", title);
-    a.innerHTML = fileIconSvg;
+    a.innerHTML = icon + '<span class="button-label visually-hidden">' + label + '</span>';
     return a;
   }
 
@@ -36,8 +47,8 @@
     if (!container) return;
 
     const items = [
-      { href: "./index.pdf", title: "Download this page as a PDF", cls: "button-pdf-download" },
-      { href: "./index.docx", title: "Download this page as a DOCX", cls: "button-docx-download" },
+      { href: "./index.pdf", title: "Download this page as a PDF", cls: "button-pdf-download", icon: pdfIconSvg, label: "PDF" },
+      { href: "./index.docx", title: "Download this page as a DOCX", cls: "button-docx-download", icon: docxIconSvg, label: "DOCX" },
     ];
 
     const exists = await Promise.all(items.map((i) => checkExists(i.href)));
@@ -47,7 +58,7 @@
     items.forEach((item, idx) => {
       if (!exists[idx]) return;
       if (buttonExists(item.cls)) return;
-      const btn = createButton(item.href, item.title, item.cls);
+      const btn = createButton(item.href, item.title, item.cls, item.icon, item.label);
       container.insertBefore(btn, anchor);
       anchor = btn;
     });

package/assets/js/edit-term-buttons.js

@@ -1,7 +1,9 @@
 /**
  * @file This file creates links to the terms definitions on GitHub via client side JS DOM manipulation.
+ * Repository information (account, repo name, branch) is obtained from the meta tag 
+ * 'spec-up-t:github-repo-info' using the getGithubRepoInfo() function.
  * @author Kor Dwarshuis
- * @version 0.0.1
+ * @version 0.0.2
  * @license MIT
  * @since 2024-06-09
  */
@@ -30,6 +32,15 @@ function editTermButtons() {
 
 
 
+   // Get GitHub repo info from meta tag
+   const repoInfo = getGithubRepoInfo();
+   
+   // Early return if no repo info available
+   if (!repoInfo) {
+      console.warn('GitHub repository information not available, edit buttons will not be added');
+      return;
+   }
+
    document.querySelectorAll('dt.term-local').forEach(item => {
       const term = findDeepestSpan(item);
       const url = term.getAttribute('id');
@@ -37,22 +48,17 @@ function editTermButtons() {
       const localFileName = url.split(":")[1];
       const pathLocalTerms = pathJoin(specConfig.spec_directory, specConfig.spec_terms_directory, localFileName + '.md');
 
-      // cut "url" on the ":" and keep the second part
-
-      const branch = specConfig.source.branch || "main";
-
-
       // add edit and history buttons to term
       term.innerHTML += `<span class="edit-term-buttons">
          <a title="Link to the term file in the Github repo in a new tab" target="_blank" rel="noopener" 
-            href="https://github.com/${specConfig.source.account}/${specConfig.source.repo}/blob/${branch}/${pathLocalTerms}" 
+            href="https://github.com/${repoInfo.username}/${repoInfo.repo}/blob/${repoInfo.branch}/${pathLocalTerms}" 
             class="p-1 edit-term-button btn">
             <svg xmlns="http://www.w3.org/2000/svg" width="18" height="18" fill="currentColor" viewBox="0 0 16 16" style="shape-rendering: geometricPrecision;">
                <path fill-rule="evenodd" d="M12.146.146a.5.5 0 0 1 .708 0l3 3a.5.5 0 0 1 0 .708l-10 10a.5.5 0 0 1-.168.11l-5 2a.5.5 0 0 1-.65-.65l2-5a.5.5 0 0 1 .11-.168l10-10zM11.207 2.5 13.5 4.793 14.793 3.5 12.5 1.207 11.207 2.5zm1.586 3L10.5 3.207 4 9.707V10h.5a.5.5 0 0 1 .5.5v.5h.5a.5.5 0 0 1 .5.5v.5h.293l6.5-6.5zm-9.761 5.175-.106.106-1.528 3.821 3.821-1.528.106-.106A.5.5 0 0 1 5 12.5V12h-.5a.5.5 0 0 1-.5-.5V11h-.5a.5.5 0 0 1-.468-.325z"/>
             </svg>
          </a>
          <a title="Link to a GitHub page that shows a history of the edits in a new tab" target="_blank" rel="noopener" 
-            href="https://github.com/${specConfig.source.account}/${specConfig.source.repo}/commits/${branch}/${pathLocalTerms}" 
+            href="https://github.com/${repoInfo.username}/${repoInfo.repo}/commits/${repoInfo.branch}/${pathLocalTerms}" 
             class="p-1 history-term-button btn">
             <svg xmlns="http://www.w3.org/2000/svg" width="18" height="18" fill="currentColor" viewBox="0 0 16 16" style="shape-rendering: geometricPrecision;">
                <path fill-rule="evenodd" d="M8 1a7 7 0 1 0 4.95 11.95l.707.707A8.001 8.001 0 1 1 8 0v1z"/>
@@ -63,66 +69,63 @@ function editTermButtons() {
       </span>`;
    });
 
-   // document.querySelectorAll('dt.term-external').forEach(item => {
-   //    const term = findDeepestSpan(item);
-   //    console.log("🚀 ~ editTermButtons ~ term:", term)
-   //    const url = term.getAttribute('id');
-
-   //    // Find the term in data-original-term attribute somewhere in a child of dt.term-external
-   //    const originalTerm = term.dataset.originalTerm || url.split(":")[1];
-   //    console.log("🚀 ~ editTermButtons ~ originalTerm:", originalTerm)
-
-   //    // Lookup this term in the embedded allXTrefs object
-   //    const matchingXtrefs = (allXTrefs?.xtrefs || []).filter(xref => xref.term === originalTerm);
-   //    console.log("🚀 ~ editTermButtons ~ matchingXtrefs:", matchingXtrefs)
-
-   //    if (matchingXtrefs.length > 0) {
-   //       // Create edit and history buttons for each matching xtref
-   //       const buttonsHtml = matchingXtrefs.map(xtref => {
-   //          // Find sourceFiles with type "tref" - these are the files that define the term
-   //          const trefFiles = xtref.sourceFiles?.filter(sf => sf.type === 'tref') || [];
-   //          console.log("🚀 ~ editTermButtons ~ trefFiles:", trefFiles)
-
-   //          if (trefFiles.length === 0) return '';
-
-   //          // Find the corresponding repoUrl, terms_dir, branch from the xref
-   //          const repoUrl = xtref.repoUrl;
-   //          const termsDir = xtref.terms_dir;
-   //          const branch = xtref.branch || "main";
-
-   //          // Construct the edit pencil from that info
-   //          return trefFiles.map(sf => {
-   //             const filePath = pathJoin(termsDir, sf.file);
-   //             console.log("🚀 ~ editTermButtons ~ filePath:", filePath)
-   //             const editUrl = `${repoUrl}/blob/${branch}/${filePath}`;
-   //             const historyUrl = `${repoUrl}/commits/${branch}/${filePath}`;
-
-   //             return `
-   //                <a title="Link to the term file '${sf.file}' in the Github repo in a new tab" target="_blank" rel="noopener" 
-   //                   href="${editUrl}" 
-   //                   class="p-1 edit-term-button btn">
-   //                   <svg xmlns="http://www.w3.org/2000/svg" width="18" height="18" fill="currentColor" viewBox="0 0 16 16" style="shape-rendering: geometricPrecision;">
-   //                      <path fill-rule="evenodd" d="M12.146.146a.5.5 0 0 1 .708 0l3 3a.5.5 0 0 1 0 .708l-10 10a.5.5 0 0 1-.168.11l-5 2a.5.5 0 0 1-.65-.65l2-5a.5.5 0 0 1 .11-.168l10-10zM11.207 2.5 13.5 4.793 14.793 3.5 12.5 1.207 11.207 2.5zm1.586 3L10.5 3.207 4 9.707V10h.5a.5.5 0 0 1 .5.5v.5h.5a.5.5 0 0 1 .5.5v.5h.293l6.5-6.5zm-9.761 5.175-.106.106-1.528 3.821 3.821-1.528.106-.106A.5.5 0 0 1 5 12.5V12h-.5a.5.5 0 0 1-.5-.5V11h-.5a.5.5 0 0 1-.468-.325z"/>
-   //                   </svg>
-   //                </a>
-   //                <a title="Link to a GitHub page that shows a history of the edits in '${sf.file}' in a new tab" target="_blank" rel="noopener" 
-   //                   href="${historyUrl}" 
-   //                   class="p-1 history-term-button btn">
-   //                   <svg xmlns="http://www.w3.org/2000/svg" width="18" height="18" fill="currentColor" viewBox="0 0 16 16" style="shape-rendering: geometricPrecision;">
-   //                      <path fill-rule="evenodd" d="M8 1a7 7 0 1 0 4.95 11.95l.707.707A8.001 8.001 0 1 1 8 0v1z"/>
-   //                      <path fill-rule="evenodd" d="M7.5 3a.5.5 0 0 1 .5.5v5.21l3.248 1.856a.5.5 0 0 1-.496.868l-3.5-2A.5.5 0 0 1 7 9V3.5a.5.5 0 0 1 .5-.5z"/>
-   //                      <circle cx="8" cy="8" r="0.3"/>
-   //                   </svg>
-   //                </a>
-   //             `;
-   //          }).join('');
-   //       }).join('');
-
-   //       if (buttonsHtml) {
-   //          term.innerHTML += `<span class="edit-term-buttons">${buttonsHtml}</span>`;
-   //       }
-   //    }
-   // });
+   // Process external terms (trefs)
+   // External terms are those referenced from external specs via [[tref: spec, term]]
+   // The pencil button should point to the LOCAL markdown file where the tref is written
+   document.querySelectorAll('dt.term-external').forEach(item => {
+      const term = findDeepestSpan(item);
+      const url = term.getAttribute('id');
+
+      // Find the term in data-original-term attribute
+      // This attribute contains the original term name from the tref
+      const originalTerm = term.dataset.originalTerm || url.split(":")[2];
+
+      // Lookup this term in the embedded allXTrefs object
+      // Match by term name - could match multiple specs
+      const matchingXtrefs = (allXTrefs?.xtrefs || []).filter(xref => xref.term === originalTerm);
+
+      if (matchingXtrefs.length > 0) {
+         // Create edit and history buttons for each matching xtref
+         // Multiple buttons may appear if the term is referenced in multiple files
+         const buttonsHtml = matchingXtrefs.map(xtref => {
+            // Find sourceFiles with type "tref" - these are the local files that reference this external term
+            const trefFiles = xtref.sourceFiles?.filter(sf => sf.type === 'tref') || [];
+
+            if (trefFiles.length === 0) return '';
+
+            // Create buttons for each local tref file that references this external term
+            return trefFiles.map(sf => {
+               // Build path to the local markdown file where the tref is written
+               const filePath = pathJoin(specConfig.spec_directory, specConfig.spec_terms_directory, sf.file);
+               const editUrl = `https://github.com/${repoInfo.username}/${repoInfo.repo}/blob/${repoInfo.branch}/${filePath}`;
+               const historyUrl = `https://github.com/${repoInfo.username}/${repoInfo.repo}/commits/${repoInfo.branch}/${filePath}`;
+
+               return `
+                  <a title="Link to the term file in the Github repo in a new tab" target="_blank" rel="noopener" 
+                     href="${editUrl}" 
+                     class="p-1 edit-term-button btn">
+                     <svg xmlns="http://www.w3.org/2000/svg" width="18" height="18" fill="currentColor" viewBox="0 0 16 16" style="shape-rendering: geometricPrecision;">
+                        <path fill-rule="evenodd" d="M12.146.146a.5.5 0 0 1 .708 0l3 3a.5.5 0 0 1 0 .708l-10 10a.5.5 0 0 1-.168.11l-5 2a.5.5 0 0 1-.65-.65l2-5a.5.5 0 0 1 .11-.168l10-10zM11.207 2.5 13.5 4.793 14.793 3.5 12.5 1.207 11.207 2.5zm1.586 3L10.5 3.207 4 9.707V10h.5a.5.5 0 0 1 .5.5v.5h.5a.5.5 0 0 1 .5.5v.5h.293l6.5-6.5zm-9.761 5.175-.106.106-1.528 3.821 3.821-1.528.106-.106A.5.5 0 0 1 5 12.5V12h-.5a.5.5 0 0 1-.5-.5V11h-.5a.5.5 0 0 1-.468-.325z"/>
+                     </svg>
+                  </a>
+                  <a title="Link to a GitHub page that shows a history of the edits in a new tab" target="_blank" rel="noopener" 
+                     href="${historyUrl}" 
+                     class="p-1 history-term-button btn">
+                     <svg xmlns="http://www.w3.org/2000/svg" width="18" height="18" fill="currentColor" viewBox="0 0 16 16" style="shape-rendering: geometricPrecision;">
+                        <path fill-rule="evenodd" d="M8 1a7 7 0 1 0 4.95 11.95l.707.707A8.001 8.001 0 1 1 8 0v1z"/>
+                        <path fill-rule="evenodd" d="M7.5 3a.5.5 0 0 1 .5.5v5.21l3.248 1.856a.5.5 0 0 1-.496.868l-3.5-2A.5.5 0 0 1 7 9V3.5a.5.5 0 0 1 .5-.5z"/>
+                        <circle cx="8" cy="8" r="0.3"/>
+                     </svg>
+                  </a>
+               `;
+            }).join('');
+         }).join('');
+
+         if (buttonsHtml) {
+            term.innerHTML += `<span class="edit-term-buttons">${buttonsHtml}</span>`;
+         }
+      }
+   });
 }
 
 document.addEventListener("DOMContentLoaded", function () {

package/assets/js/github-issues.js

@@ -3,33 +3,33 @@
 
   /* GitHub Issues */
 
-  let source = specConfig.source;
-  if (source) {
-    if (source.host === 'github') {
-      fetch(`https://api.github.com/repos/${source.account + '/' + source.repo}/issues`)
-        .then(response => response.json())
-        .then(issues => {
-          let count = issues.length;
-          document.querySelectorAll('[data-issue-count]').forEach(node => {
-            node.setAttribute('data-issue-count', count)
-          });
-          repo_issue_list.innerHTML = issues.map(issue => {
-            return `<li class="repo-issue">
-              <detail-box>
-                <div>${md.render(issue.body || '')}</div>
-                <header class="repo-issue-title">
-                  <span class="repo-issue-number">${issue.number}</span>
-                  <span class="repo-issue-link">
-                    <a href="${issue.html_url}" target="_blank">${issue.title}</a>
-                  </span>
-                  <span detail-box-toggle></span>
-                </header>
-              </detail-box>
-            </li>`
-          }).join('');
-          Prism.highlightAllUnder(repo_issue_list);
-        })
-    }
+  // Get GitHub repo info from meta tag
+  const repoInfo = getGithubRepoInfo();
+  
+  if (repoInfo) {
+    fetch(`https://api.github.com/repos/${repoInfo.username}/${repoInfo.repo}/issues`)
+      .then(response => response.json())
+      .then(issues => {
+        let count = issues.length;
+        document.querySelectorAll('[data-issue-count]').forEach(node => {
+          node.setAttribute('data-issue-count', count)
+        });
+        repo_issue_list.innerHTML = issues.map(issue => {
+          return `<li class="repo-issue">
+            <detail-box>
+              <div>${md.render(issue.body || '')}</div>
+              <header class="repo-issue-title">
+                <span class="repo-issue-number">${issue.number}</span>
+                <span class="repo-issue-link">
+                  <a href="${issue.html_url}" target="_blank">${issue.title}</a>
+                </span>
+                <span detail-box-toggle></span>
+              </header>
+            </detail-box>
+          </li>`
+        }).join('');
+        Prism.highlightAllUnder(repo_issue_list);
+      })
   }
 
 })();

package/assets/js/insert-irefs.js

@@ -131,7 +131,7 @@ function insertIrefs() {
                 const glossaryLink = document.createElement('a');
                 glossaryLink.href = `#${termIdAttr}`;
                 glossaryLink.className = 'iref-go-to-glossary-button btn btn-sm btn-outline-secondary py-1';
-                glossaryLink.innerHTML = '<span class="iref-button-icon"></span>Glossary';
+                glossaryLink.innerHTML = 'Glossary';
                 glossaryLink.title = `Go to original definition of ${originalTerm}`;
 
                 // Append the button to the cloned dt