diff options
Diffstat (limited to 'app/templates/editor.html')
| -rw-r--r-- | app/templates/editor.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/templates/editor.html b/app/templates/editor.html index 6e0e8df..73fbcf8 100644 --- a/app/templates/editor.html +++ b/app/templates/editor.html @@ -66,7 +66,7 @@ document.ready = function() { var aceEditor = ace.edit("editor"); aceEditor.setTheme("ace/theme/twilight"); - document.getElementById('editor').style.fontSize='14pt'; + document.getElementById('editor').style.fontSize='16px'; aceEditor.getSession().setUseSoftTabs(true); // we can assume we're on unix aceEditor.getSession().setNewLineMode("unix"); |