diff options
| -rw-r--r-- | css/codeq.css | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/css/codeq.css b/css/codeq.css index 03bb08e..b0c6066 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -437,23 +437,6 @@ div.vertical-line{ } } -/* codeq hints */ - -/* the pop-up window, it is already absolutely positioned and its and positioning properties controlled from CodeMirror */ -.editor-popup { - background: #245269; - color: #e7c3c3; - border: 1px solid black; -} - -.editor-statusbar { - background-color: #F7F7F7; - border-top: 1px solid #e5e5e5; - font-family: monospace; - padding: 1px 4px; - text-align: left; -} - /***** helpers *****/ /** webkit-scrollbar 1 **/ /*::-webkit-scrollbar { |