// projects menu
function infoOpen()
{
document.getElementById('projects-menu').style.visibility='visible';
}
function infoClose()
{
document.getElementById('projects-menu').style.visibility='hidden';
}