// JavaScript Document

function basename(path) {
return path.replace( /.*\//, "" );
}

window.onload = function() {
var menuItems = document.getElementById('subnav').getElementsByTagName('a');
for( var i = 0; i < menuItems.length; i++ ) {
if( basename(menuItems[i].href) == basename(window.location.pathname) ) {
menuItems[i].parentNode.className += ' focus';
}
}
}