diff options
| author | DecorativeFamily <185765765+decorativefamily@users.noreply.github.com> | 2024-11-12 00:58:00 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-12 00:58:00 +0300 |
| commit | 35df2a05052560cc3be9874b1431f4976a463027 (patch) | |
| tree | 394122ea67674ee870849a13c46ec8a07eec065f /web/assets/codemirror/lint | |
| parent | 9f445686a4586822f6de35b460cdcd4de7ff7abd (diff) | |
[CodeFactor] Apply fixes (#2595)
Co-authored-by: codefactor-io <support@codefactor.io>
Diffstat (limited to 'web/assets/codemirror/lint')
| -rw-r--r-- | web/assets/codemirror/lint/lint.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/assets/codemirror/lint/lint.css b/web/assets/codemirror/lint/lint.css index e1560db9..8bb5804b 100644 --- a/web/assets/codemirror/lint/lint.css +++ b/web/assets/codemirror/lint/lint.css @@ -6,7 +6,7 @@ .CodeMirror-lint-tooltip { background-color: #ffd; border: 1px solid black; - border-radius: 4px 4px 4px 4px; + border-radius: 4px; color: black; font-family: monospace; font-size: 10pt; |