diff options
author | Aleš Smodiš <aless@guru.si> | 2015-07-15 22:32:32 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-07-15 22:32:32 +0200 |
commit | f1fc2707bb1081cf63169d71cde259482b7bcddc (patch) | |
tree | ddac344f39d8134a675c8b80df5bd37f2960dc0f /css | |
parent | 6a7d1532a223ccf6d69f573c4d6b91fa2bc840d8 (diff) |
Added support for displaying hints. For now triggered by hand via a console, e.g. FireBug.
Diffstat (limited to 'css')
-rw-r--r-- | css/codeq.css | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/css/codeq.css b/css/codeq.css index f4a7894..1cfeae5 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -178,4 +178,19 @@ body { color: #fff; } -*/
\ No newline at end of file +*/ + + +/* codeq hints */ + +/* the highlighted part of the text, used in pop-up and drop-down hints */ +.editor-mark { + background-color: #e7c3c3; +} + +/* 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; +} |