From 7a49f7248019428eb86cc89cf98bbf6429468366 Mon Sep 17 00:00:00 2001
From: Michael Peter Christen <mc@yacy.net>
Date: Wed, 2 Apr 2014 01:16:34 +0200
Subject: [PATCH] fix for crawler column width

---
 htroot/Crawler_p.html | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/htroot/Crawler_p.html b/htroot/Crawler_p.html
index 281e32e18..9e2c0442a 100644
--- a/htroot/Crawler_p.html
+++ b/htroot/Crawler_p.html
@@ -161,14 +161,10 @@
       </form>
 </fieldset>
 <script>
-if (document.getElementById("progress").clientHeight > document.getElementById("indexsize").clientHeight) {
-	document.getElementById("indexsize").style.height = (document.getElementById("progress").clientHeight)+"px";
-	document.getElementById("progress").style.height = (document.getElementById("progress").clientHeight)+"px";
-} else {
-	document.getElementById("progress").style.height = (document.getElementById("indexsize").clientHeight)+"px";
-	document.getElementById("indexsize").style.height = (document.getElementById("indexsize").clientHeight)+"px";
-}
-document.getElementById("queues").style.height = (document.getElementById("indexsize").clientHeight)+"px"; 
+var maxh = Math.max(document.getElementById("progress").clientHeight, document.getElementById("indexsize").clientHeight, document.getElementById("queues").clientHeight);
+document.getElementById("indexsize").style.height = maxh + "px";
+document.getElementById("progress").style.height = maxh + "px";
+document.getElementById("queues").style.height = maxh + "px"; 
 </script>
 <p class="watchCrawler" style="clear:both;">
 #(info)#