From fb59756bc6a3d4674bf77ea67e7eed1146fdcbbc Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Sat, 31 Jan 2015 18:33:15 -0500
Subject: [PATCH] this fixes #656

---
 src/js/element-picker.js | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/src/js/element-picker.js b/src/js/element-picker.js
index 6d06c6b86..db79f6173 100644
--- a/src/js/element-picker.js
+++ b/src/js/element-picker.js
@@ -829,15 +829,17 @@ var startPicker = function(details) {
             'width: 100%;',
         '}',
         '#µBlock > div > div > textarea {',
-            'border: 1px solid #ccc;',
-            'padding: 2px;',
-            'box-sizing: border-box;',
-            'width: 100% !important;',
-            'height: 100% !important;',
-            'overflow: hidden !important;',
-            'resize: none;',
             'background-color: white;',
+            'border: 1px solid #ccc;',
+            'box-sizing: border-box;',
             'font: 11px monospace;',
+            'height: 100% !important;',
+            'max-height: 100% !important;',
+            'min-height: 100% !important;',
+            'overflow: hidden !important;',
+            'padding: 2px;',
+            'resize: none;',
+            'width: 100% !important;',
         '}',
         '#µBlock > div > div > div {',
             'bottom: 2px;',