//categories.js
//javascript to make category heads jump

function rise(cat){
	var element = document.getElementById(cat);
	element.style.bottom = 10 + "px";
}

function fall(cat){
	var element = document.getElementById(cat);
	element.style.bottom = 0 + "px";
}