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;