docs/_static/toc.js
/*
 * Dynamic Table of Contents script
 * by Matt Whitlock <http://www.whitsoftdev.com/>
 */
Dynamic Table of Contents script
by Matt Whitlock
Dynamic Table of Contents script by Matt Whitlock
function createLink(href, innerHTML) {
	var a = document.createElement("a");
	a.setAttribute("href", href);
	a.innerHTML = innerHTML;
	return a;
}
function createLink ( href , innerHTML ) { var a = document . createElement ( "a" ) ; a . setAttribute ( "href" , href ) ; a . innerHTML = innerHTML ; return a ; }
Dynamic Table of Contents script
 by Matt Whitlock <http://www.whitsoftdev.com/>
Dynamic Table of Contents script by Matt Whitlock <http : // www . whitsoftdev . com / >