/// <summary>
/// navigeert naar de opgegeven pagina.
/// </summary>
function NavigateTo(URL) 
{
    window.location.href = URL;
}

/// <summary>
/// creëert een zwarte rand rond het opgegeven element en verandert de muis-pointer in een hand.
/// </summary>
function HighlightBorder(element) 
{
    if (element) 
    {
        element.style.border = "solid 1px #000000";
        document.body.style.cursor = 'pointer';
    }
}

/// <summary>
/// verandert de rand van het opgegeven element in een witte rand, en verandert de muis pointer in de default view.
/// De witte kleur is hier wit omdat de achtergrond wit is, dit heeft gewoon tot gevolg dat de rand niet zichtbaar is
/// zonder dat de elementen veranderen van grootte omdat er al dan niet een rand verdwijnt.
/// </summary>
function NoBorder(element) 
{
    if (element) 
    {
        element.style.border = "solid 1px #FFFFFF";
        document.body.style.cursor = 'default';
    }
}