From d84a0425cf657c9ce47bc2db2e5e891b82e173a7 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 12 Aug 2011 16:24:57 +0200
Subject: [PATCH] use google web font by default

---
 lib/ace/css/editor.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 81890948..af3bd04e 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -1,7 +1,10 @@
+@import url(http://fonts.googleapis.com/css?family=Droid+Sans+Mono);
+
+
 .ace_editor {
     position: absolute;
     overflow: hidden;
-    font-family: Monaco, "Menlo", "Courier New", monospace;
+    font-family: 'Droid Sans Mono', 'Monaco', 'Menlo', 'Courier New', monospace;
     font-size: 12px;
 }