// JavaScript Document

function make_hover(elmnt){
	elmnt.style.textDecoration = 'underline';
	}

function remove_hover(elmnt){
	elmnt.style.textDecoration = 'none';
	}