// mousing.js


function onMouseOver(ele) 
{
    ele.className = "highlight";
}

function onMouseOut(ele) 
{
    ele.className = "plain";
}