/* This file is NOT part of highlight.js */
document.addEventListener('DOMContentLoaded', (event) => {
document.querySelectorAll('pre.programlisting, pre.screen').forEach((block) => {
hljs.highlightBlock(block);
});