/**
 * Markiert in der Karte das Restaurant
 *
 * @param number Restaurant Nummer in der Liste
 * @access public
 */
var icon = document.getElementById('map_highlight');
var iconClassName = icon.className;

function highlightRestaurant(number)
{
    icon.className = iconClassName + '_' + number;
    document.getElementById('restaurant_' + number).className = 'highlight';
}

/**
 * Versteckt in der Karte das Restaurant
 *
 * @param number Restaurant Nummer in der Liste
 * @access public
 */
function hideRestaurant(number)
{
    icon.className = iconClassName;
    document.getElementById('restaurant_' + number).className = '';
}

/**
 * geht zum Restaurant, welches ausgewählt wurde
 *
 * @param select Auswahl Box
 * @access public
 */
function goToRestaurant(selectElem)
{
    if(selectElem.options[selectElem.selectedIndex].value != 0)
    {
        window.location.href = window.location.href + 'cafes_restaurants/' + selectElem.options[selectElem.selectedIndex].value;
    }
}