Make themes lesse-dark and ambiance *less big* when switching between…

… themes.
codemirror · Jun 22, 2012 · 47f9262 · 47f9262
1 parent 32ca16c
commit 47f9262
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/demo/theme.html b/demo/theme.html
@@ -21,7 +21,7 @@
     <link rel="stylesheet" href="../doc/docs.css">
 
     <style type="text/css">
-      .CodeMirror {border: 1px solid black;}
+      .CodeMirror {border: 1px solid black; font-size:13px}
     </style>
   </head>
   <body>