/*
 ROLLOVER-MENÜ JS
 Copyright (c) 2007, ALLESO oHG Germany
 --------------------------------------------------
 Anpassung des IE
 Muss immer im Head eingebunden werden.
*/
if (window.navigator.systemLanguage && !window.navigator.language) {
function hoverIE(n) { var LI = document.getElementById('Buttons').firstChild; do{ if (findUL(LI.firstChild)) {LI.onmouseover = showIE; LI.onmouseout = hideIE;} LI = LI.nextSibling; }while(LI); }
function findUL(UL) { do{ if (UL) UL = UL.nextSibling; if (UL && UL.nodeName == 'UL') return UL; }while(UL); return false; }
function showIE() { var UL = findUL(this.firstChild); UL.style.display = 'block'; UL.style.backgroundColor = 'transparent'; }
function hideIE() { findUL(this.firstChild).style.display = 'none'; }
window.onload = hoverIE; }