From 1796c76a84b528b4015b1ca3b9836600f8ec3ec2 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 29 Feb 2024 01:27:26 +0100
Subject: [PATCH] remove debugging css

---
 client/src/css/level.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/client/src/css/level.css b/client/src/css/level.css
index ff96f7f..b04b12a 100644
--- 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);
-}
+} */