var elements = document.getElementsByClassName("readme");
var names = '';
if (elements.length < 2){}
else
{
	document.write("<div id=\"scrollmenu\">");
	for(var i=0; i<elements.length; i++) {
	document.write("<a class=\"scrollitem\" href=\"#"+elements[i].name.replace(" ", "-")+"\"><span class=\"sidebar\">"+elements[i].name.replace(/-/g, " ")+"</span></a><br />");
	}
	document.write("<a class=\"scrollitem\" id=\"scrolltop\" href=\"#pagetop\"><span class=\"sidebartop\">Top of the page</span></a>");
	document.write("</div>");
}

if (q != "true")
{
	document.write("</div>");
}