summaryrefslogtreecommitdiff
path: root/static
diff options
context:
space:
mode:
authorPrefetch2021-06-02 13:28:53 +0200
committerPrefetch2021-06-02 13:28:53 +0200
commitcc295b5da8e3db4417523a507caf106d5839d989 (patch)
treed86d4898ac3fddceecff67dff047a3aa4aef784b /static
parentaab299218975a8e775cda26ce256ffb1fe36c863 (diff)
Introduce collapsible proofs to some articles
Diffstat (limited to 'static')
-rw-r--r--static/main.css10
1 files changed, 10 insertions, 0 deletions
diff --git a/static/main.css b/static/main.css
index 5283181..542790e 100644
--- a/static/main.css
+++ b/static/main.css
@@ -22,3 +22,13 @@ pre {filter:invert(100%);}
@media (prefers-color-scheme: dark) {
body {background:#222;filter:invert(100%);}
}
+.accordion {
+ display:block;
+ padding:0ch 1ch;
+ border-style:dotted;
+}
+input {display:none;}
+label {color:#00f;cursor:pointer;}
+input + label + .hidden {display:none;}
+input:checked + label {display:none;}
+input:checked + label + .hidden {display:block;}