From 5b9b213b675e08b2dba6518d24257256113c1864 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 17 Nov 2015 17:41:17 +0100 Subject: Remove unused CSS --- css/codeq.css | 17 ----------------- 1 file changed, 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 { -- cgit v1.2.1