Merge pull request #3412 from w3c/Fix-syntax-highlighting

Fix #2914
w3c · Sep 27, 2023 · 74d3e0a · 74d3e0a
2 parents a672e57 + 4d65b1d
commit 74d3e0a
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/script/highlight.min.js b/script/highlight.min.js
@@ -494,10 +494,3 @@
  illegal:null,className:null,contains:null,skip:!0
  }),n.inherit(n.QUOTE_STRING_MODE,{illegal:null,className:null,contains:null,
  skip:!0})]}]})})());
-
- document.addEventListener('DOMContentLoaded', (event) => {
- document.querySelectorAll('pre').forEach((el) => {
- hljs.highlightElement(el);
- });
- });
- var translationStrings = {}; /* fix WAI JS */
diff --git a/xslt/base.xslt b/xslt/base.xslt
@@ -394,6 +394,13 @@
  <xsl:template name="waiscript">
  <link rel="stylesheet" href="../a11y-light.css" />
  <script src="../highlight.min.js" />
+ <script>
+ hljs.configure({
+ cssSelector: 'pre'
+ });
+ hljs.highlightAll();
+ var translationStrings = {}; /* fix WAI JS */
+ </script>
  <script src="https://www.w3.org/WAI/assets/scripts/main.js"></script>
  <!-- Matomo -->
  <script>