function linkMouseOver(pointer)
{
pointer.style.backgroundColor="white";

pointer.style.borderLeft="10px solid gray";

}


function linkMouseOut(pointer)
{
pointer.style.backgroundColor='rgb(85%,85%,70%)';
pointer.style.borderLeft="10px solid rgb(90%,90%,90%)";
}

function ShowContent() {
document.getElementById("inner_list").className = "visible";
return false;
}