From aa9cd40a0110b33a99d66e5a39a1613df4d416f6 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 18 Oct 2010 19:53:08 +0200
Subject: [PATCH] update theme

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

diff --git a/src/ace/theme/tm.css b/src/ace/theme/tm.css
index ab3c995f..202deaa7 100644
--- a/src/ace/theme/tm.css
+++ b/src/ace/theme/tm.css
@@ -1,6 +1,6 @@
 .ace-tm .ace_editor {
   border: 2px solid rgb(159, 159, 159);
-  font-family: Monaco, "Courier New";
+  font-family: "Menlo", "Monaco", "Courier New", "Courier", monospace;
   font-size: 12px;  
 }
 
@@ -12,7 +12,7 @@
   width: 50px;
   background: #e8e8e8;
   color: #333;
-  font-family: Monaco, "Courier New";
+  font-family: Menlo, Monaco, "Courier New";
   font-size: 12px;
   overflow : hidden;
 }