diff --git a/src/static/js/pad_editor.js b/src/static/js/pad_editor.js index dd1f798eb..6616ebe88 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"); }