//
// This file is included by all demo files
//
// REMEMBER THAT YOU MAY NEED TO EDIT DEMOS-ACTUAL.JS
//
// Do not remove this:
//
// This function gets the source code from a demo page and presents
// it as a PRE section in the HTML page. It's called from a
// DOMContentLoaded call down below.
//
function showSource (opt = {})
{
document.write('
');
document.write('
');
showSource_libraries(opt);
showSource_tag(opt);
showSource_source(opt);
}
//
// Extract the libraries from the page and show
// them
//
function showSource_libraries(opt)
{
// Get all of the