// expandButton.js


function expandButton(id)
{
    var buttonid = document.getElementById(id);
    buttonid.className='menubuttonpressed';
} 



function normalizeButton(id)
{
    var buttonid = document.getElementById(id); 
    buttonid.className='menubutton'; 
}