Hide locked inventory items

Solves leanprover-community#265
miguelmarco · Oct 10, 2024 · 5b81566 · 5b81566
1 parent 4ac38ef
commit 5b81566
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/client/src/css/inventory.css b/client/src/css/inventory.css
@@ -36,6 +36,7 @@
 .inventory .item.locked {
   border: solid 1px #ccc;
   color: #ccc;
+  visibility: collapse;
 }
 
 .inventory .item.disabled {