From ce9f9eec252c435bfc1a9d637ae23c5178f9c1e4 Mon Sep 17 00:00:00 2001
From: czaks <marcin@6irc.net>
Date: Fri, 6 May 2016 17:11:12 +0200
Subject: [PATCH] settings dialog refinements: now you can resize it

---
 stylesheets/style.css | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/stylesheets/style.css b/stylesheets/style.css
index b36a9de9..39d1fd04 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -819,10 +819,14 @@ pre {
 }
 
 #options_div {
-  width: 600px;
-  height: 320px;
+  width: 620px;
+  height: 400px;
+  resize: both;
+  overflow: auto;
 }
 
+
+
 #alert_div {
   width: 500px;
 }
@@ -853,7 +857,7 @@ pre {
 #options_tablist {
   padding: 0px 5px;
   left: 0px;
-  width: 70px;
+  width: 90px;
   top: 0px;
   bottom: 0px;
   height: 100%;
@@ -882,11 +886,12 @@ pre {
   padding: 10px;
   position: absolute;
   top: 0px;
-  bottom: 0px;
-  left: 81px;
+  bottom: 10px;
+  left: 101px;
   right: 0px;
   text-align: left;
   font-size: 12px;
+  overflow-y: auto;
 }
 
 .options_tab h2 {