- if (typeof(elem.style.opacity) != 'undefined') { // W3C
- elem.style.opacity = amount;
- } else if (typeof(elem.style.mozOpacity) != 'undefined') { // older Mozilla
- elem.style.mozOpacity = amount;
- } else if (typeof(elem.style.filter) != 'undefined') { // IE
- if (elem.style.filter.indexOf("alpha") == -1) {
- // add an alpha filter if there isn't one already
- if (elem.style.filter) {
- elem.style.filter += " ";
- } else {
- elem.style.filter = "";
- }
- elem.style.filter += "alpha(opacity=" + (amount*100.0) + ")";
- } else {
- // ugh? this seems to break in color index mode...
- if (typeof(elem.filters) == 'unknown') {
- elem.style.filter = "alpha(opacity=" + (amount*100.0) + ")";
- } else {
- elem.filters.alpha.opacity = (amount * 100.0);
- }
- }
- } else { // no alpha support
- if (amount > 0.5) {
- elem.style.visibility = "visible";
- elem.style.zorder = 1;
- } else {
- elem.style.visibility = "hidden";
+
+ // If optionmenu is visible, options is also visible.
+ if (id === "options" && amount < 0.7) {
+ var optionmenu = document.getElementById("optionmenu");
+ if (optionmenu.style.display === "block") {
+ amount = 0.7;