function toggleBigger(makeBigger) {

	if (makeBigger) {
		document.getElementById("searchbox").style.width = '12em';
	}
	else {
		document.getElementById("searchbox").style.width = '6em';
	}
}