// JavaScript Document
function webSearch() {
document.getElementById('searchbox').style.display = 'block';
document.getElementById('webSearchButton').className = 'selectedSearch';
document.getElementById('dirSearch').style.display = 'none';
document.getElementById('dirSearchButton').className = 'altSearch';
}
function dirSearch() {
document.getElementById('searchbox').style.display = 'none';
document.getElementById('webSearchButton').className = 'altSearch';
document.getElementById('dirSearch').style.display = 'block';
document.getElementById('dirSearchButton').className = 'selectedSearch';
}