| |
Sign In
<script src="/JumpMenu.js" type="text/javascript"></script><select id="jumpNavSelect" name="jumpNavSelect" onchange="JumpToHeading(this.selectedIndex)"> <option value="">On this page...</option></select>
var array;function CreateAnchorMenu() { array = document.getElementsByTagName("h2"); var src = document.getElementById('jumpNavSelect'); // iterate through all H2 headings, add dropdown items for each. for (var i = 0; i < array.length; i++) { var heading = array[i]; var text = heading.firstChild.nodeValue; if (!text) continue; src[i+1] = new Option(text, i); }}function JumpToHeading(HeadingIndex) { if (HeadingIndex == 0) return; var heading = array[HeadingIndex-1]; ScrollToElement(heading);}function ScrollToElement(theElement) { var selectedPosX = 0; var selectedPosY = 0; while (theElement != null) { selectedPosX += theElement.offsetLeft; selectedPosY += theElement.offsetTop; theElement = theElement.offsetParent; } window.scrollTo(selectedPosX, selectedPosY);}window.onload = CreateAnchorMenu;
Remember Me