This script turns a nested HTML list into a collapsible menu that uses cookies to remember which nodes are expanded, even when you navigate to a different page. If JavaScript is disabled, the list just remains in its default fully-expanded state. (This is the same script that’s powering the menus in the sidebar on this site.)