// fix opera bug, where dropdown menu will not draw correctly when menu is aligned right

if (window.opera) {
    document.getElementById('menu').style.right = 'auto';
    document.getElementById('menu').style.left = 904 - document.getElementById('menu').clientWidth + 'px';
}