Browse Source

Actually, DejaVu sans (not mono) turns out to be better for smalltalk code :)

Sebastian Sastre 12 years ago
parent
commit
ee868deea1
1 changed files with 1 additions and 1 deletions
  1. 1 1
      css/amber.css

+ 1 - 1
css/amber.css

@@ -246,7 +246,7 @@ body.jtalkBody {
 }
 
 .talkTool .CodeMirror-scroll pre {
-    font-family: Menlo, "DejaVu Sans Mono","DejaVu Sans", Helvetica, sans;
+    font-family: "DejaVu Sans", Helvetica, sans;
 }
 
 .jtalkTool .jt_clear {