Fix #EDU-526 Set task description font size depends on editor font size Change fonts...
[idea/community.git] / python / educational-core / student / resources / code-mirror / codemirror.css
index 464ad6715e5ca28f8a253efd660590b48c6311aa..02a90171af550eb4ae8c833b02e675b26b77ba9c 100644 (file)
@@ -1,8 +1,11 @@
 body {
     margin-left: 20px;
-    /*font-family: Serif, serif;*/
-    font-family: monospace;
-    font-weight: lighter;
+    font-family: Helvetica, sans-serif;
+    color: #4f5254;
+}
+
+code {
+    font-family: "Source Code Pro", fantasy;
 }
 /* BASICS */
 .task-help pre code {