From 673e9155ba4aecfc1c60b55297b05547e0608a36 Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Fri, 29 Jun 2018 15:33:50 +0100 Subject: [PATCH] Add CodeMirror search styles --- .../public/stylesheets/_style_includes.less | 1 + .../stylesheets/vendor/codemirror-dialog.css | 32 +++++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 services/web/public/stylesheets/vendor/codemirror-dialog.css diff --git a/services/web/public/stylesheets/_style_includes.less b/services/web/public/stylesheets/_style_includes.less index bbe3463cba..fe6c315a4d 100644 --- a/services/web/public/stylesheets/_style_includes.less +++ b/services/web/public/stylesheets/_style_includes.less @@ -88,3 +88,4 @@ @import "../js/libs/pdfListView/AnnotationsLayer.css"; @import "../js/libs/pdfListView/HighlightsLayer.css"; @import "vendor/codemirror.css"; +@import "vendor/codemirror-dialog.css"; \ No newline at end of file diff --git a/services/web/public/stylesheets/vendor/codemirror-dialog.css b/services/web/public/stylesheets/vendor/codemirror-dialog.css new file mode 100644 index 0000000000..677c078387 --- /dev/null +++ b/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%; +}