diff options
Diffstat (limited to 'public/vendor/codemirror/addon/lint/lint.css')
-rw-r--r-- | public/vendor/codemirror/addon/lint/lint.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/vendor/codemirror/addon/lint/lint.css b/public/vendor/codemirror/addon/lint/lint.css index 414a9a0e..f097cfe3 100644 --- a/public/vendor/codemirror/addon/lint/lint.css +++ b/public/vendor/codemirror/addon/lint/lint.css @@ -4,10 +4,10 @@ } .CodeMirror-lint-tooltip { - background-color: infobackground; + background-color: #ffd; border: 1px solid black; border-radius: 4px 4px 4px 4px; - color: infotext; + color: black; font-family: monospace; font-size: 10pt; overflow: hidden; |