From fb3f2b4e138bd03b34bb4a369cc10c89791c02d1 Mon Sep 17 00:00:00 2001
From: "Mr.doob" <info@mrdoob.com>
Date: Thu, 25 Oct 2012 14:43:09 +0200
Subject: [PATCH] Editor: Improved UI.Number and UI.Input style.

---
 editor/js/UI.js | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/editor/js/UI.js b/editor/js/UI.js
index b58ffb5194..30f4ce3aee 100644
--- a/editor/js/UI.js
+++ b/editor/js/UI.js
@@ -310,8 +310,10 @@ UI.Input = function ( position ) {
 
 	var dom = document.createElement( 'input' );
 	dom.style.position = position || 'relative';
+	dom.style.padding = '2px';
 	dom.style.marginTop = '-2px';
 	dom.style.marginLeft = '-2px';
+	dom.style.border = '1px solid #ccc';
 
 	this.dom = dom;
 
@@ -681,11 +683,12 @@ UI.Number = function ( position ) {
 	dom.style.position = position || 'relative';
 	dom.style.color = '#0080f0';
 	dom.style.fontSize = '12px';
-	dom.style.cursor = 'col-resize';
 	dom.style.backgroundColor = 'transparent';
-	dom.style.borderColor = 'transparent';
+	dom.style.border = '1px solid transparent';
 	dom.style.marginTop = '-2px';
 	dom.style.marginLegt = '-2px';
+	dom.style.padding = '2px';
+	dom.style.cursor = 'col-resize';
 	dom.value = '0.00';
 
 	this.dom = dom;
@@ -760,7 +763,7 @@ UI.Number = function ( position ) {
 	var onFocus = function ( event ) {
 
 		dom.style.backgroundColor = '';
-		dom.style.borderColor = '';
+		dom.style.borderColor = '#ccc';
 		dom.style.cursor = '';
 
 	};
-- 
GitLab