diff --git a/editor.php b/editor.php index 2bdecd6..f3ab724 100644 --- a/editor.php +++ b/editor.php @@ -26,6 +26,8 @@ span.CodeMirror-matchhighlight {background: #555} .CodeMirror-focused span.CodeMirror-matchhighlight {color: #000; background: #555; !important} /* Make sure this next one remains the 6th item, updated with JS */ .cm-tab:after {position: relative; display: inline-block; width: 0; left: -1.4em; overflow: visible; color: #aaa; content: "";} +.lint-error {font-family: arial; font-size: 80%; background: #ccc; color: #b00; padding: 2px 5px 3px} +.lint-error-icon {color: white; background-color: #b00; font-weight: bold; border-radius: 50%; padding: 0 3px; margin-right: 7px;} @@ -92,6 +94,8 @@ span.CodeMirror-matchhighlight {background: #555}