From 8576f7cb8d79adb09da4b839c8a85e3ac0168709 Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Wed, 28 May 2025 11:36:55 +0200
Subject: [PATCH] cleanup CSS

---
 src/component/expr/ExprBlock.css | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/src/component/expr/ExprBlock.css b/src/component/expr/ExprBlock.css
index 30d2bb1..750df93 100644
--- a/src/component/expr/ExprBlock.css
+++ b/src/component/expr/ExprBlock.css
@@ -2,8 +2,12 @@
   padding: 2px;
   position: relative;
 }
-.editor.error {
-  border: 1px solid red !important;
+.editor.unknown {
+  border: 1px dashed dodgerblue;
+  display: inline-block;
+}
+.editor.error, .editor.unknown.error {
+  border: 1px solid red;
   display: inline-block;
 }
 
@@ -18,16 +22,6 @@
   width: max-content;
 }
 
-.editor.unknown {
-  border: 1px dashed dodgerblue;
-  display: inline-block;
-}
-
-*:hover:not(:has(> *:hover)) {
-  /* useful for debugging: */
-  /* border-width: 2px !important; */
-}
-
 .offending .error {
   background-color: transparent;
 }