diff --git a/sources/main.js b/sources/main.js index 4421a78..82600c6 100644 --- a/sources/main.js +++ b/sources/main.js @@ -112,6 +112,10 @@ $(() => { } } + document + .getElementById("output_scala") + .removeAttribute("data-highlighted"); + hljs.highlightAll(); } catch (e) { console.trace(e);