From 7c0f3a6826c0b865f63e180e60eb03e2ab032071 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gerhard=20Gro=C3=9Fmann?= <postfach2b@web.de>
Date: Wed, 1 Jul 2015 12:13:37 +0200
Subject: [PATCH] Added Helvetica Neue to the Normal font

---
 src/static/js/pad_editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/static/js/pad_editor.js b/src/static/js/pad_editor.js
index dd1f798e..6616ebe8 100644
--- a/src/static/js/pad_editor.js
+++ b/src/static/js/pad_editor.js
@@ -185,7 +185,7 @@ var padeditor = (function()
 
       // No font has been previously selected so use the Normal font
       if(normalFont){
-        self.ace.setProperty("textface", "Arial, sans-serif");
+        self.ace.setProperty("textface", "'Helvetica Neue',Arial, sans-serif");
         // $("#viewfontmenu").val("normal");
       }