function basename(path){return path.replace( /.*\//, "" );} window.onload = function() {var menuItems = document.getElementById('sidebar_content').getElementsByTagName('a');for( var i = 0; i < menuItems.length; i++ ) {
if( basename(menuItems[i].href) == basename(window.location.pathname) ) {menuItems[i].parentNode.className += ' selected';}}}