From 4cb6f375d758b59846945cdec497212a3bdc1d7b Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Sat, 25 Feb 2006 06:07:51 +0100
Subject: [PATCH] fix headlines height for Opera

---
 tt-rss.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tt-rss.js b/tt-rss.js
index 758e3e89..4deac445 100644
--- 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) {
-- 
2.39.5