demo gui query font size

2016-03-20 17:30:28 +01:00 · 2016-03-20 17:30:28 +01:00 · c14fc8cb2f
commit c14fc8cb2f
parent 7f841dfa71
1 changed files with 4 additions and 0 deletions
--- a/demo/static/demo.css
+++ b/demo/static/demo.css
@ -3,6 +3,10 @@ body {
  background-color: #eee;
 }

+.CodeMirror pre {
+    font-size: 13px;
+}
+
 /* label color inactive */
 .input-field label {
    color: #000;