.proof{height:100%;position:relative;overflow:auto}.proof-page{max-width:var(--measure);padding:48px var(--gutter) 30vh;overflow-wrap:break-word;margin:0 auto;font-size:16px;line-height:1.75}.proof-page>:first-child{margin-top:0}.proof-page h1,.proof-page [data-h="1"],.proof-page h2,.proof-page [data-h="2"],.proof-page h3,.proof-page [data-h="3"],.proof-page h4,.proof-page [data-h="4"]{margin:1.9em 0 .6em;scroll-margin-top:32px;line-height:1.25}.proof-page [data-h]{font-weight:700}.proof-page h1,.proof-page [data-h="1"]{letter-spacing:-.02em;font-size:1.9em}.proof-page h2,.proof-page [data-h="2"]{letter-spacing:-.01em;font-size:1.4em}.proof-page h3,.proof-page [data-h="3"]{font-size:1.15em}.proof-page a{color:inherit;-webkit-text-decoration-color:var(--faint);text-decoration-color:var(--faint);text-underline-offset:3px}.proof-page a:hover{-webkit-text-decoration-color:var(--accent);text-decoration-color:var(--accent)}.proof-page blockquote{border-left:2px solid var(--line);color:var(--muted);margin:1.4em 0;padding-left:1em}.proof-page code{font:.88em var(--mono);background:var(--code-bg);border-radius:3px;padding:.12em .35em}.proof-page pre{background:var(--code-bg);margin:1.4em 0;padding:16px 18px;line-height:1.6;overflow:auto}.proof-page pre code{background:0 0;border-radius:0;padding:0;font-size:13px}.proof-page table{border-collapse:collapse;width:100%;font-size:.94em}.proof-page th,.proof-page td{border-bottom:1px solid var(--line);text-align:left;padding:6px 8px}.proof-page img{max-width:100%}.proof-page hr{border:0;border-top:1px solid var(--line);margin:2.4em 0}.hljs-keyword,.hljs-selector-tag,.hljs-built_in{color:var(--code-keyword)}.hljs-string,.hljs-attr,.hljs-template-tag{color:var(--code-string)}.hljs-number,.hljs-literal{color:var(--code-number)}.hljs-title,.hljs-function .hljs-title,.hljs-title.function_{color:var(--code-function)}.hljs-comment,.hljs-quote{color:var(--faint);font-style:italic}.proof-after{max-width:var(--measure);padding:0 var(--gutter) 30vh;margin:0 auto;font-size:16px}.proof-page:has(+.proof-after){padding-bottom:0}.guide-actions{font-family:var(--ui);flex-wrap:wrap;gap:10px;padding:18px 0 8px;display:flex}.guide-button{border:1px solid var(--line);background:var(--paper);height:34px;color:var(--ink);font:600 13px/1 var(--ui);cursor:pointer;border-radius:999px;align-items:center;gap:8px;padding:0 14px;transition:border-color .15s;display:inline-flex}.guide-button.is-connect{padding-left:6px}.guide-button.is-prompts:before{content:"";opacity:.7;background:currentColor;width:14px;height:14px;-webkit-mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M8 1.5l1.6 4.2 4.4.4-3.4 2.9 1 4.4L8 11.1l-3.6 2.3 1-4.4L2 6.1l4.4-.4z'/%3E%3C/svg%3E") 50%/contain no-repeat;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M8 1.5l1.6 4.2 4.4.4-3.4 2.9 1 4.4L8 11.1l-3.6 2.3 1-4.4L2 6.1l4.4-.4z'/%3E%3C/svg%3E") 50%/contain no-repeat}.guide-button:hover{border-color:var(--accent)}.guide-button:hover .quill-face+.quill-face{margin-left:2px}