diff options
author | Prefetch | 2021-06-02 13:28:53 +0200 |
---|---|---|
committer | Prefetch | 2021-06-02 13:28:53 +0200 |
commit | cc295b5da8e3db4417523a507caf106d5839d989 (patch) | |
tree | d86d4898ac3fddceecff67dff047a3aa4aef784b /static | |
parent | aab299218975a8e775cda26ce256ffb1fe36c863 (diff) |
Introduce collapsible proofs to some articles
Diffstat (limited to 'static')
-rw-r--r-- | static/main.css | 10 |
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;} |