diff --git a/doc/interactive.js b/doc/interactive.js index 3ece0b3..f9ed78c 100644 --- a/doc/interactive.js +++ b/doc/interactive.js @@ -1,2 +1,25 @@ +/** + * Makes HTML documentation interactive + */ + +var head = document.getElementsByTagName( 'head' )[ 0 ], + sjquery = document.createElement( 'script' ), + sjquery_ui = document.createElement( 'script' ), + css = document.createElement( 'link' ); + +sjquery.type = sjquery_ui.type = 'text/javascript'; + +css.type = 'text/css'; +css.rel = 'stylesheet'; + +sjquery.src = + 'https://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js'; +sjquery_ui.src = + 'https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.11/jquery-ui.min.js'; +css.href = + 'http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.10/themes/base/jquery-ui.css'; + +head.appendChild( sjquery ); +head.appendChild( sjquery_ui ); +head.appendChild( css ); -// placeholder