From d37af74b9e56d30044b45913afb21a86c9ad2b79 Mon Sep 17 00:00:00 2001 From: Sebastian Silva Date: Fri, 18 Nov 2011 22:51:18 +0000 Subject: UI Tweaks --- (limited to 'app/templates/editor.html') 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"); -- cgit v0.9.1