/*

This is included by CommonScribe.    What will it do...?

*/


function show_source_lines() {
    nodes = document.getElementsByTagName("pre");
    for (i in nodes) {
	node = nodes[i];
	if (node.style) {
           node.style.display = "block";
        }
    }
}

function commonscribe_begin() {
    // called at the end of the document, so we can do something...
    ;
}