+var basetitle = document.title;
+
function setmode(classname, restore) {
// set style for each #rows>li>ul>li to display:none unless it matches classname
var showclass = classname ? '^mode '+classname+'(?!\\w)' : '^(?!mode)';
if (h3s[i].parentNode.style.display != 'block') continue;
var header = h3s[i].firstChild.data;
document.getElementsByTagName('H2')[0].innerHTML = header;
+ document.title = basetitle + ': ' + header;
if (restore) break;
history.pushState(null, header, classname ? '#'+classname : '#');
break;