pkgs/misc/documentation-highlighter/loader.js

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