1 files changed, 12 insertions, 0 deletions

diff --git a/index.html b/index.html
index d385e4ba..37daee4b 100755
--- a/index.html
+++ b/index.html
@@ -183,6 +183,8 @@
         <script type="text/javascript" src="imports/codemirror/mode/xml/xml.js"></script>
         <script type="text/javascript" src="imports/codemirror/mode/javascript/javascript.js"></script>
         <script type="text/javascript" src="imports/codemirror/mode/css/css.js"></script>
+        <script type="text/javascript" src="imports/codemirror/lib/util/searchcursor.js"></script>
+        <script type="text/javascript" src="imports/codemirror/lib/util/match-highlighter.js"></script>
 
         <script type="text/javascript" src="node_modules/montage/montage.js"></script>
 
@@ -199,6 +201,16 @@
                     }
                 }
         </script>
+
+        <style type="text/css">
+          .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
+          span.CodeMirror-matchhighlight { background: #e9e9e9 }
+          .CodeMirror-focused span.CodeMirror-matchhighlight { background: #e7e4ff; !important }
+          .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
+          .activeline {background: #e8f2ff !important;}
+          div.CodeMirror span.CodeMirror-matchingbracket {color: #000;background-color: #ffd500;}
+          .CodeMirror-scroll {height: auto; overflow-y: hidden; overflow-x: auto; width: 100%;}
+        </style>
         
         </head>