pkgs/misc/documentation-highlighter/loader.js


1
2
3
4
5
6
7

/* This file is NOT part of highlight.js */
document.onreadystatechange = function () {
    var listings = document.querySelectorAll('.programlisting, .screen');
    for (i = 0; i < listings.length; ++i) {
        hljs.highlightBlock(listings[i]);
    }
}