remove debugging css

leanprover-community · Feb 29, 2024 · 1796c76 · 1796c76
1 parent a75a4a8
commit 1796c76
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/client/src/css/level.css b/client/src/css/level.css
@@ -370,6 +370,6 @@ td code  {
 }
 
 /* DEBUG */
-.proof .step {
+/* .proof .step {
   border: 2px solid rgb(0, 123, 255);
-}
+} */