45 lines
982 B
Plaintext
45 lines
982 B
Plaintext
@c Syntax highlighting for texinfo's HTML output
|
|
|
|
@html
|
|
<script src="highlight.pack.js"></script>
|
|
<script>
|
|
var hls = [];
|
|
var syntaxAuto = true;
|
|
addEventListener("DOMContentLoaded", function() {
|
|
// Highlight blocks with fixed language
|
|
for (let x of hls) {
|
|
let next = x[0].nextElementSibling;
|
|
console.log("next", next);
|
|
let blocks = next.querySelectorAll("pre.example");
|
|
for (let i = 0; i < blocks.length; i++) {
|
|
blocks[i].classList.add("language-" + x[1]);
|
|
hljs.highlightBlock(blocks[i]);
|
|
}
|
|
}
|
|
// auto-detect other blocks if not disabled
|
|
if (syntaxAuto) {
|
|
let blocks = document.querySelectorAll("pre.example");
|
|
for (let i = 0; i < blocks.length; i++) {
|
|
hljs.highlightBlock(blocks[i]);
|
|
}
|
|
}
|
|
});
|
|
</script>
|
|
@end html
|
|
|
|
@macro setsyntax{lang}
|
|
@html
|
|
<script>
|
|
hls.push([document.currentScript, "\lang\"]);
|
|
</script>
|
|
@end html
|
|
@end macro
|
|
|
|
@macro setsyntaxnoauto{}
|
|
@html
|
|
<script>
|
|
syntaxAuto = false;
|
|
</script>
|
|
@end html
|
|
@end macro
|