fix headlines height for Opera

diff --git a/tt-rss.js b/tt-rss.js
index 758e3e8954feeef395ae1ac2c60328f63b9e38a7..4deac445623b3bd3bb22c56efa17dd314e065ed7 100644 (file)
--- a/tt-rss.js
+++ b/tt-rss.js
@@ -424,6 +424,15 @@ function init_second_stage() {
 
                if (navigator.userAgent.match("Opera")) {
                        resize_feeds_frame();
+
+                       // fix headlines frame height for Opera
+                       var h = document.getElementById("headlines");
+                       var c = document.getElementById("content");
+                       var nh = document.body.scrollHeight * 0.25;
+       
+                       h.style.height = nh + "px";
+                       c.style.height = c.scrollHeight - nh + "px";
+                       
                }
        
        } catch (e) {