summaryrefslogtreecommitdiff
path: root/source/_includes/proof
diff options
context:
space:
mode:
authorPrefetch2023-03-03 14:09:23 +0100
committerPrefetch2023-03-03 14:09:23 +0100
commit7edaa33d1b9aef05fedc82375ca010461c009edf (patch)
treec60710ce64920a1cdd8d0cfa387d6f479868928a /source/_includes/proof
parent52ff45a7c687d502492be0fa6e54f9b99d501465 (diff)
Mobile-friendly header redesign, CSS improvements
Diffstat (limited to 'source/_includes/proof')
-rw-r--r--source/_includes/proof/start.html12
1 files changed, 6 insertions, 6 deletions
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>