// javascript functions

// show the specified div and alter color of headline
function showDiv( name )
{
    var divID = name + "Detail";
    var details = document.getElementById( divID );
    if( details != null )
    {
        details.style.visibility = 'visible';
    }

    var headline = document.getElementById( name );
    if( headline != null)
    {
        headline.style.color = '#3366ff';
    }
}

// hide the specified div and alter color of headline
function hideDiv( name )
{
    var divID = name + "Detail";
    var details = document.getElementById( divID );
    if( details != null )
    {
        details.style.visibility = 'hidden';
    }

    var headline = document.getElementById( name );
    if( headline != null)
    {
        headline.style.color = '#fff';
    }
}