/* Fix IE flicker issue
try {
  document.execCommand("BackgroundImageCache", false, true);
} catch(err) {}
 */
/*Event.observe(window, 'load', function()
{
  var menu = $('menu');
  Effect.Appear('onzeklanten');
  
  [menu.getElementsByClassName('level1'),
   menu.getElementsByClassName('level2'),
   menu.getElementsByClassName('level3')
  ].each(function(sub_menu_level)
  {
    sub_menu_level.each(function(sub_menu, index)
    {
      var trigger = sub_menu.parentNode.firstChild;
      
      trigger.observe('click', function(event)
      {
        // Stop the click event (don't follow the normal link)
        Event.stop(event);
        
        Effect.Appear(sub_menu.id);
        
        /* xxx the following isn't exactly cross-browser
        if (document.defaultView.getComputedStyle(sub_menu, null).getPropertyValue('display') == 'none') {
          sub_menu.style.display = 'block';
        }
        else {
          sub_menu.style.display = 'none';
        } */ /*
      });
    });
  });
}); */