function showTab(t) {
var currTab = t.href.substring(t.href.indexOf("#")+1,t.href.length-1);
document.getElementById("basic").style.display = "none";
document.getElementById("implementation").style.display = "none";
document.getElementById("covenants").style.display = "none";
var child = document.getElementById("menuTabs").firstChild; 
while(child){
if (child.firstChild.href.substring(child.firstChild.href.indexOf("#")+1,child.firstChild.href.length-1)==currTab) {
child.id = "currTab"
child.className = "currTab";
} else {
child.id = ""
child.className = "";
}
child = child.nextSibling;
}
document.getElementById(currTab).style.display = "block";
}

function printPID() {
var currTab = "basic"
var child = document.getElementById("menuTabs").firstChild; 
while(child){
if (child.firstChild.href.substring(child.firstChild.href.indexOf("#")+1,child.firstChild.href.length-1)==currTab) {
child.id = "currTab"
child.className = "currTab";
} else {
child.id = ""
child.className = "";
}
child = child.nextSibling;
}
document.getElementById("basic").style.display = "block";
document.getElementById("implementation").style.display = "block";
document.getElementById("covenants").style.display = "block";
window.print();
}