diff --git a/.gitignore b/.gitignore index 6562b76..5c7b275 100755 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ *~ *\# +config.php \ No newline at end of file diff --git a/components/editor/init.js b/components/editor/init.js index fdbac78..d126d7a 100755 --- a/components/editor/init.js +++ b/components/editor/init.js @@ -19,7 +19,7 @@ var editor = { // Editor-wide settings settings: { theme: 'twilight', - font_size: 14, + font_size: 15, print_margin: false, highlight_line: true, indent_guides: true, @@ -31,7 +31,7 @@ var editor = { // Apply the current configuration settings: i.setTheme('ace/theme/' + this.settings.theme); - i.setFontSize(this.settings.font_size); + i.setFontSize(18); i.setShowPrintMargin(this.settings.print_margin); i.setHighlightActiveLine(this.settings.highlight_line); i.setDisplayIndentGuides(this.settings.indent_guides); diff --git a/components/editor/screen.css b/components/editor/screen.css index 3a23cfb..baa2497 100755 --- a/components/editor/screen.css +++ b/components/editor/screen.css @@ -7,7 +7,6 @@ height: 100%; background: #1a1a1a; color: #fff; - font-size: 14px; } .ace_content { padding: 0; @@ -18,8 +17,6 @@ -webkit-box-shadow: inset -3px 0px 10px 0px rgba(0, 0, 0, .5); -moz-box-shadow: inset -3px 0px 10px 0px rgba(0, 0, 0, .5); box-shadow: inset -3px 0px 10px 0px rgba(0, 0, 0, .5); - /*background: #303030; - */ background: url(gutter-bg.jpg); } .ace_error { diff --git a/components/user/screen.css b/components/user/screen.css old mode 100644 new mode 100755 diff --git a/config.example.php b/config.example.php old mode 100644 new mode 100755