#proof-close{position:absolute;inset:0;pointer-events:none;color:#f2efe8}
#proof-close[hidden]{display:none}
#proof-evidence{position:absolute;left:5%;right:43%;top:15%}
#proof-evidence .code{font:10px Notation;color:#b9baac;letter-spacing:.08em}
#proof-evidence h2{font:500 clamp(32px,4.2vw,62px)/1.02 Familjen;letter-spacing:-.045em;margin:30px 0 36px}
.proof-path{display:flex;justify-content:space-between;border-top:1px solid #777865;padding-top:12px;font:10px Notation;gap:10px}
.proof-path span+span:before{content:'→';margin-right:10px;color:#d6f32b}
.proof-note{font:12px/1.6 Inter;color:#aaa99e;max-width:370px;margin-top:18px}
.proof-recovery{font:24px/1.25 Familjen;margin-top:45px}.proof-recovery span{font:12px/1.6 Inter;color:#aaa99e}
#close-line{position:absolute;bottom:4%;left:0;right:0;text-align:center;font:500 24px/1.05 Familjen;letter-spacing:-.025em;margin:0}#close-line span{color:#aaa99e}
@media(max-width:760px){#proof-evidence{left:5%;right:5%;top:9%}#proof-evidence h2{font-size:36px;margin:22px 0}.proof-path{font-size:8px;gap:4px}.proof-path span+span:before{margin-right:4px}.proof-note{font-size:10px;margin-top:12px}.proof-recovery{font-size:22px;margin-top:24px}.proof-recovery span{font-size:10px}#close-line{font-size:22px;bottom:7%}}
/* A still argument spanning the demonstrated workflow. */
#proof-evidence{right:40%;top:18%}#proof-evidence h2{font-size:clamp(36px,4.5vw,70px);margin-bottom:40px}
.proof-path{display:block;border-top:0;padding:0;font:12px/1.5 Inter}.proof-path span{display:flex;gap:20px;border-top:1px solid #45463c;padding:12px 0}.proof-path b{font:10px Notation;font-weight:400;width:62px;color:#aaa99e;flex-shrink:0;padding-top:4px}.proof-path span+span:before{display:none}
#close-line{bottom:2.5%;font-size:21px}
@media(max-width:760px){#proof-evidence{left:5%;right:5%;top:11%}#proof-evidence h2{font-size:35px;margin-bottom:25px}.proof-path{font-size:10px}.proof-path span{padding:9px 0;gap:14px}.proof-path b{font-size:9px;width:53px}#close-line{bottom:5%;font-size:22px}}