/* DOKUWIKI:include_once js/highlighter.js */
var songBlockSelector     = 'song-with-chords';

function ready() {
    runSongHighlighter();
}

document.addEventListener("DOMContentLoaded", ready);