use google web font by default

This commit is contained in:
Fabian Jakobs 2011-08-12 16:24:57 +02:00
commit d84a0425cf

View file

@ -1,7 +1,10 @@
@import url(http://fonts.googleapis.com/css?family=Droid+Sans+Mono);
.ace_editor {
position: absolute;
overflow: hidden;
font-family: Monaco, "Menlo", "Courier New", monospace;
font-family: 'Droid Sans Mono', 'Monaco', 'Menlo', 'Courier New', monospace;
font-size: 12px;
}