From 7edaa33d1b9aef05fedc82375ca010461c009edf Mon Sep 17 00:00:00 2001
From: Prefetch
Date: Fri, 3 Mar 2023 14:09:23 +0100
Subject: Mobile-friendly header redesign, CSS improvements

---
 source/_includes/proof/start.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'source/_includes/proof')

diff --git a/source/_includes/proof/start.html b/source/_includes/proof/start.html
index 780b159..062c9d6 100644
--- a/source/_includes/proof/start.html
+++ b/source/_includes/proof/start.html
@@ -1,6 +1,6 @@
-<div class="proof">
-<input type="checkbox" class="proof" id="{{ include.id }}"/>
-<label class="proof" for="{{ include.id }}">{{ include.label | default: "Proof" }}</label>
-<div class="proof-hidden" markdown="1">
-<div class="proof-starts"></div>
-<label class="proof" for="{{ include.id }}">{{ include.label | default: "Proof" }}.</label>
+<div class="collapse proof">
+<input type="checkbox" id="{{ include.id }}" class="collapse-toggle"/>
+<label for="{{ include.id }}">{{ include.label | default: "Proof" }}</label>
+<div class="collapse-hidden" markdown="1">
+<div class="collapse-starts"></div>
+<label for="{{ include.id }}">{{ include.label | default: "Proof" }}.</label>
-- 
cgit v1.2.3