From 82b14fc4396b0040df52f156c40dfa09e6cfc226 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 27 Jan 2011 18:24:36 +0100
Subject: [PATCH] move more textarea styles to CSS

---
 lib/ace/css/editor.css        | 5 +++++
 lib/ace/keyboard/textinput.js | 7 -------
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 5830a649..df204e58 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -74,6 +74,11 @@
 }
 
 .ace_editor textarea {
+  position: "absolute";
+  z-index: -1;
+  opacity: 0;
+  width: 10px;
+  height: 30px;
   border: none;
   resize: none;
   outline: none;
diff --git a/lib/ace/keyboard/textinput.js b/lib/ace/keyboard/textinput.js
index 11bbfe0d..dded6dc0 100644
--- a/lib/ace/keyboard/textinput.js
+++ b/lib/ace/keyboard/textinput.js
@@ -43,13 +43,6 @@ var useragent = require("pilot/useragent");
 var TextInput = function(parentNode, host) {
 
     var text = document.createElement("textarea");
-    var style = text.style;
-    style.position = "absolute";
-    style.zIndex = -1;
-    style.opacity = 0;
-    style.border = "none";
-    style.width = "10px";
-    style.height = "30px";
     parentNode.appendChild(text);
 
     var PLACEHOLDER = String.fromCharCode(0);