// This script causes the clicked list item on the navbar to be highlighted in blue with white text.

function addOnload(f) {
var x = window.onload;
onload = function() { var r = f(); if (x) return x(); else return r; }
}
		

function justFile(s) {
var m = s.match(/(\/[^/?]+)/g);
m = m[m.length-1];
return m.substring(1);
}

addOnload(function() {
var d = document.links, i;
for (i=0; i<d.length; i++) {
if (justFile(d[i].href) == justFile(location.href)) {
d[i].className = 'thispage';
} else {
}
}
});