* update gutter font color

This commit is contained in:
Giannis 2012-06-27 18:26:46 +03:00
commit 78975a0fc2
14 changed files with 15 additions and 15 deletions

View file

@ -9,7 +9,7 @@
.ace-kr-theme .ace_gutter {
background: #1c1917;
color: #333;
color: #FCFFE0;
}
.ace-kr-theme .ace_print_margin {