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