From 11906fa4b6a80a2c592e1cbf51f16c19a12fd5cb Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 17 May 2010 12:43:04 +0200
Subject: [PATCH] make editor CSS more DRY

---
 css/tm.css | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/css/tm.css b/css/tm.css
index 71d59656..e90dba23 100644
--- a/css/tm.css
+++ b/css/tm.css
@@ -1,5 +1,7 @@
 .ace_editor {
   border: 2px solid rgb(159, 159, 159);
+  font-family: Monaco, "Courier New";
+  font-size: 12px;  
 }
 
 .ace_editor.ace_focus {
@@ -11,8 +13,6 @@
   background: rgb(227, 227, 227);
   border-right: 1px solid rgb(159, 159, 159);	 
   color: rgb(136, 136, 136);
-  font-family: Monaco, "Courier New";
-  font-size: 12px;  
 }
 
 .ace_editor .ace_printMargin {
@@ -26,8 +26,6 @@
 }
 
 .ace_text-layer {
-  font-family: Monaco, "Courier New", monospace;
-  font-size: 12px;
   cursor: text;
 }