From 4ccbeb23fafd047c6763efe25a14d45ecbe221c1 Mon Sep 17 00:00:00 2001 From: DanyaPostfactum Date: Thu, 24 Jan 2013 06:49:02 +1000 Subject: [PATCH] Monokai theme tweak --- lib/ace/theme/monokai.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/ace/theme/monokai.css b/lib/ace/theme/monokai.css index 1d772e24..d93600d2 100644 --- a/lib/ace/theme/monokai.css +++ b/lib/ace/theme/monokai.css @@ -1,6 +1,6 @@ .ace-monokai .ace_gutter { - background: #2f3129; - color: #f1f1f1 + background: #2F3129; + color: #8F908A } .ace-monokai .ace_print-margin { @@ -56,7 +56,7 @@ } .ace-monokai .ace_invisible { - color: #49483E + color: #52524d } .ace-monokai .ace_entity.ace_name.ace_tag,