document.onready = function()

in script/doc.js [43:51]


document.onready = function() {
    try {
	check_flag();
	raise_flag();
        add_toc();
    } catch (error) {
        // uh oh
    }
}