Merge pull request #721 from sharelatex/as-rt-search

Add CodeMirror search styles

services/web/public/stylesheets/_style_includes.less

@@ -91,3 +91,4 @@
 @import	"../js/libs/pdfListView/HighlightsLayer.css";
 @import	"../js/libs/select/select.css";
 @import "vendor/codemirror.css";
+@import "vendor/codemirror-dialog.css";

services/web/public/stylesheets/vendor/codemirror-dialog.css

@@ -0,0 +1,32 @@
+.CodeMirror-dialog {
+  position: absolute;
+  left: 0; right: 0;
+  background: inherit;
+  z-index: 15;
+  padding: .1em .8em;
+  overflow: hidden;
+  color: inherit;
+}
+
+.CodeMirror-dialog-top {
+  border-bottom: 1px solid #eee;
+  top: 0;
+}
+
+.CodeMirror-dialog-bottom {
+  border-top: 1px solid #eee;
+  bottom: 0;
+}
+
+.CodeMirror-dialog input {
+  border: none;
+  outline: none;
+  background: transparent;
+  width: 20em;
+  color: inherit;
+  font-family: monospace;
+}
+
+.CodeMirror-dialog button {
+  font-size: 70%;
+}