From: Andrew Dolgov Date: Thu, 18 May 2006 13:51:15 +0000 (+0100) Subject: opera fixes X-Git-Tag: 1.2.0~79 X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=292a8a12246dd386e36c20b24369d50bb60defa8;p=tt-rss.git opera fixes --- diff --git a/backend.php b/backend.php index 766fe218..d7567330 100644 --- a/backend.php +++ b/backend.php @@ -1823,7 +1823,6 @@ cellspacing='0' cellpadding='0'>    "; + size=\"40\"> "; print"= 0) { notify_opacity = notify_opacity - 0.2; n.style.opacity = notify_opacity; - notify_hide_timerid = window.setTimeout(hide_notify, 20); + notify_hide_timerid = window.setTimeout("hide_notify()", 20); } else { n.style.display = "none"; - n.style.opacity = 1; + n.style.opacity = 1; } } else { n.style.display = "none"; @@ -126,7 +130,7 @@ function notify_real(msg, doc, no_hide, is_err) { notify_opacity = 1; if (!no_hide) { - notify_hide_timerid = window.setTimeout(hide_notify, 3000); + notify_hide_timerid = window.setTimeout("hide_notify()", 3000); } } diff --git a/opera.css b/opera.css index ce039440..eba519d1 100644 --- a/opera.css +++ b/opera.css @@ -5,3 +5,40 @@ table.main td.headlines { border-color : #c0c0c0; } +#infoBoxTitle { + border-width : 1px 1px 1px 1px; + border-style : solid; + border-color : #88b0f0; + background-color : #88b0f0; + padding : 2px; + color : white; +} + + +#infoBox { + border-width : 1px 1px 1px 1px; + border-style : solid; + border-color : #88b0f0; + font-size : small; + position : relative; + top : 30%; + left : 30%; + width : 30%; + padding-bottom : 5px; + background-image : url("images/prefs-content.png"); + background-position : top left; + background-repeat : repeat-x; + background-color : white; +} + +#infoBoxShadow { + background-image : url("images/overlay.png"); + left : 0; + top : 0; + height : 100%; + width : 100%; + z-index : 3; + position : absolute; + display : none; +} + diff --git a/prefs.js b/prefs.js index 2c15ae92..ccc0d785 100644 --- a/prefs.js +++ b/prefs.js @@ -1214,7 +1214,7 @@ function localPiggieFunction(enable) { var piggie = document.getElementById("piggie"); piggie.style.display = "block"; - if (browser.isNS && Math.random(1) > 0.5) { + if (navigator.userAgent.match("Gecko") && Math.random(1) > 0.5) { piggie2_callback(); } else { piggie_callback(); diff --git a/tt-rss.css b/tt-rss.css index eabe3e6f..248c13cd 100644 --- a/tt-rss.css +++ b/tt-rss.css @@ -142,6 +142,7 @@ ul.feedList { list-style-type : none; margin : 5px; padding : 0px 0px 0px 10px; + font-size : x-small; } ul.feedList li.feedCat {