Index: trunk/FACT++/www/viewer/index.css
===================================================================
--- trunk/FACT++/www/viewer/index.css	(revision 17814)
+++ trunk/FACT++/www/viewer/index.css	(revision 17815)
@@ -1,13 +1,22 @@
-.CodeMirror
-{
-    border: 0;
-    font-size:9pt
-}
+.CodeMirror { border: 0; font-size:9pt; }
 
-.cm-s-blackboard.CodeMirror
-{
-    background: #000000;
-    color: #F8F8F8;
-}
+.cm-s-fact.CodeMirror { background: #000000; color: /*#F8F8F8*/ lightgrey; font-weight:bold; }
+.cm-s-fact .CodeMirror-selected { background: #253B76 !important; }
+.cm-s-fact .CodeMirror-gutters { background: #0C1021; border-right: 0; }
+.cm-s-fact .CodeMirror-linenumber { color: #888; }
+.cm-s-fact .CodeMirror-cursor { border-left: 1px solid #C7C7C7 !important; }
+
+.cm-s-fact .cm-keyword { color: #F8F8F8 /*#FBDE2D*/; } /* new, var, for, if, return */
+.cm-s-fact .cm-atom { color: #C8C8C8; }    /* null */
+.cm-s-fact .cm-number { color: /*red*/ #D8FA3C; }  /* 0, 1, 2, 3, ... */
+.cm-s-fact .cm-variable { color: #FFA440; }
+.cm-s-fact .cm-operator { color: lightblue;/*blueviolet*/ #FBDE2D;}
+.cm-s-fact .cm-comment { color: olive/*#5EAE5E*/; }
+.cm-s-fact .cm-string { color: #61CE3C; }
+.cm-s-fact .cm-string-2 { color: #61CE3C; }
+.cm-s-fact .cm-property { color: #FF6400; }
+
+.cm-s-fact .CodeMirror-activeline-background {background: #252020 !important;}
+.cm-s-fact .CodeMirror-matchingbracket {color:red !important; font-weight:bold !important;}
 
 .CodeMirror-focused .cm-matchhighlight
@@ -17,4 +26,15 @@
     background-repeat: repeat-x;
 }
+
+/* From FTE:
+   keyword:   white
+   atom:      grey
+   variable:  grey
+   number:    red
+   operator:  dark cyan
+   comment:   military green
+   string:    yellow
+   brackets:  dark cyan
+*/
 
 .myaccordion .ui-accordion-header