make default font size smaller

This commit is contained in:
Fabian Jakobs 2010-10-20 13:25:00 +02:00
commit f6b03d1a0a

View file

@ -1,7 +1,7 @@
.ace-tm .ace_editor { .ace-tm .ace_editor {
border: 2px solid rgb(159, 159, 159); border: 2px solid rgb(159, 159, 159);
font-family: "Menlo", "Monaco", "Courier New", "Courier", monospace; font-family: "Menlo", "Monaco", "Courier New", "Courier", monospace;
font-size: 12px; font-size: 11px;
} }
.ace-tm .ace_editor.ace_focus { .ace-tm .ace_editor.ace_focus {
@ -12,8 +12,8 @@
width: 50px; width: 50px;
background: #e8e8e8; background: #e8e8e8;
color: #333; color: #333;
font-family: Menlo, Monaco, "Courier New"; font-family: "Menlo", "Monaco", "Courier New", monospace;
font-size: 12px; font-size: 11px;
overflow : hidden; overflow : hidden;
} }