.page_container__yefPD{max-width:1200px;padding:2rem 1rem;margin:0 auto}@keyframes page_spin__0JzD3{0%{transform:rotate(0deg)}to{transform:rotate(1turn)}}.page_errorContainer__Qp0Ua{padding:1rem;margin-bottom:2rem;color:#dc2626;background-color:#fef2f2;border:1px solid #fca5a5;border-radius:.5rem}[data-theme=dark] .page_errorContainer__Qp0Ua{color:#fca5a5;background-color:#3f1f1f;border-color:#7f1d1d}.page_badgeContainer__GUj5I{display:flex;flex-wrap:wrap;gap:.75rem;align-items:center}.page_badge__ob9Qy{padding:.375rem .75rem;font-size:.875rem;font-weight:500;white-space:nowrap;border-radius:.375rem}.page_versionBadge__LBAp3{color:#1e40af;background-color:#dbeafe}[data-theme=dark] .page_versionBadge__LBAp3{color:#93c5fd;background-color:#1e3a8a}.page_languageBadge__sg6G9{color:#374151;background-color:#f3f4f6}[data-theme=dark] .page_languageBadge__sg6G9{color:#d1d5db;background-color:#374151}.page_readmeBadge__Ke6bl{color:#059669;background-color:#d1fae5}[data-theme=dark] .page_readmeBadge__Ke6bl{color:#34d399;background-color:#064e3b}.page_section__ZIyKg{margin-bottom:1rem}.page_sectionLabel__YbkEf{margin-bottom:.375rem;font-size:.875rem;font-weight:500;color:var(--text-color);opacity:.7}.page_sectionContent__V5_HA{font-size:1rem;color:var(--text-color)}.page_cidText___6iZ3{padding:.5rem;font-family:Courier New,monospace;font-size:.875rem;word-break:break-all;background-color:var(--button-bg);border-radius:.25rem}.page_referencesList__gSetw{padding-left:1.5rem;margin:0;font-size:.875rem;color:var(--text-color)}.page_referenceItem__j1ayU{margin-bottom:.375rem;word-break:break-all}.page_contentSection__9Tui4{margin-bottom:3rem;overflow:hidden;background-color:var(--bg-color);border:1px solid var(--border-color);border-radius:.75rem}.page_contentHeader__aGcD7{display:flex;align-items:center;justify-content:space-between;padding:1rem 2rem;background-color:var(--button-bg);border-bottom:1px solid var(--border-color)}.page_contentTitle__YZsoV{margin:0;font-size:1.5rem;font-weight:600;color:var(--text-color)}.page_copyButtonContainer__KCv0O{display:flex;gap:1rem;align-items:center}.page_copyButton__LjG_o{padding:.5rem 1rem;font-size:.875rem;font-weight:500;color:#374151;cursor:pointer;background-color:#f9fafb;border:1px solid #d1d5db;border-radius:.375rem;transition:all .2s ease}[data-theme=dark] .page_copyButton__LjG_o{color:#d1d5db;background-color:#374151;border-color:#4b5563}.page_copyButton__LjG_o:disabled{cursor:not-allowed;opacity:.5}.page_copyButton__LjG_o:hover:not(:disabled){background-color:#f3f4f6;border-color:#9ca3af}.page_compactButton__lYYPp{padding:.25rem .5rem;font-size:.75rem;border-radius:.25rem}[data-theme=dark] .page_copyButton__LjG_o:hover:not(:disabled){background-color:#4b5563;border-color:#6b7280}.page_copiedMessage__y1BTS{font-size:.875rem;font-weight:500;color:#059669;animation:page_fade-in-out__ZMpDw 3s ease-in-out}[data-theme=dark] .page_copiedMessage__y1BTS{color:#34d399}@keyframes page_fade-in-out__ZMpDw{0%{opacity:0;transform:translateY(-10px)}20%{opacity:1;transform:translateY(0)}80%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(-10px)}}.page_markdownContent__y1PVM{padding:2rem;font-size:1rem;line-height:1.7;color:var(--text-color)}.page_markdownContent__y1PVM h1,.page_markdownContent__y1PVM h2,.page_markdownContent__y1PVM h3,.page_markdownContent__y1PVM h4,.page_markdownContent__y1PVM h5,.page_markdownContent__y1PVM h6{margin-top:2rem;margin-bottom:1rem;font-weight:600;color:var(--text-color)}.page_markdownContent__y1PVM h1:first-child,.page_markdownContent__y1PVM h2:first-child,.page_markdownContent__y1PVM h3:first-child{margin-top:0}.page_markdownContent__y1PVM p{margin-bottom:1rem}.page_markdownContent__y1PVM ol,.page_markdownContent__y1PVM ul{padding-left:2rem;margin-bottom:1rem}.page_markdownContent__y1PVM li{margin-bottom:.5rem}.page_markdownContent__y1PVM blockquote{padding:1rem 1.5rem;margin:1.5rem 0;background-color:var(--button-bg);border-left:4px solid #3b82f6;border-radius:.25rem}.page_markdownContent__y1PVM code{padding:.25rem .375rem;font-family:Courier New,monospace;font-size:.875rem;background-color:var(--button-bg);border-radius:.25rem}.page_markdownContent__y1PVM pre{padding:1.5rem;margin:1.5rem 0;overflow-x:auto;background-color:var(--button-bg);border-radius:.5rem}.page_markdownContent__y1PVM pre code{padding:0;background-color:transparent}.page_markdownContent__y1PVM img{max-width:100%;height:auto;border-radius:.5rem}.page_markdownContent__y1PVM table{display:block;width:100%;margin:1.5rem 0;overflow-x:auto;white-space:nowrap;border-collapse:collapse}.page_markdownContent__y1PVM td,.page_markdownContent__y1PVM th{min-width:100px;padding:.75rem 1rem;text-align:left;white-space:normal;border:1px solid var(--border-color)}.page_markdownContent__y1PVM th{font-weight:600;background-color:var(--button-bg)}@media (max-width:768px){.page_container__yefPD{padding:1rem .5rem}.page_contentHeader__aGcD7{flex-direction:column;gap:1rem;align-items:flex-start;padding:1rem 1.5rem}.page_contentTitle__YZsoV{font-size:1.25rem}.page_copyButtonContainer__KCv0O{justify-content:flex-end;width:100%}.page_markdownContent__y1PVM{padding:1.5rem}}.OTSButton_button__yNBuq{padding:8px 12px;font-size:14px;border:none;border-radius:4px}.OTSButton_button__yNBuq,.OTSButton_compactButton___2Jit{font-weight:500;color:#fff;cursor:pointer;background-color:#8b4513;transition:background-color .2s}.OTSButton_compactButton___2Jit{padding:4px 8px;font-size:12px;border:none;border-radius:3px}[data-theme=dark] .OTSButton_button__yNBuq,[data-theme=dark] .OTSButton_compactButton___2Jit{background-color:#654321}.OTSButton_button__yNBuq:disabled{cursor:not-allowed;background-color:#ccc}.OTSButton_button__yNBuq:hover:not(:disabled){background-color:sienna}.OTSButton_compactButton___2Jit:disabled{cursor:not-allowed;background-color:#ccc}.OTSButton_compactButton___2Jit:hover:not(:disabled){background-color:sienna}.OTSButton_error__hmNsX{margin-top:4px;font-size:12px;color:#d32f2f}[data-theme=dark] .OTSButton_button__yNBuq:hover:not(:disabled),[data-theme=dark] .OTSButton_compactButton___2Jit:hover:not(:disabled){background-color:#8b4513}[data-theme=dark] .OTSButton_error__hmNsX{color:#f87171}.ProofCard_proofCard__VxgnE{padding:1.5rem;background-color:var(--bg-color);border:1px solid var(--border-color);border-radius:.5rem;box-shadow:0 1px 3px 0 rgba(0,0,0,.1),0 1px 2px 0 rgb(0 0 0/6%);transition:border-color .2s ease}.ProofCard_detailCard__VwfmV{padding:2rem;margin-bottom:3rem;border-radius:.75rem}[data-theme=dark] .ProofCard_proofCard__VxgnE{box-shadow:0 1px 3px 0 rgba(0,0,0,.2),0 1px 2px 0 rgba(0,0,0,.12)}.ProofCard_proofHeader__N89ha{display:flex;gap:1rem;align-items:flex-start;margin-bottom:1rem}.ProofCard_detailCard__VwfmV .ProofCard_proofHeader__N89ha{margin-bottom:1.5rem}.ProofCard_proofTitle__zq2M0{flex:1 1;min-width:0;margin:0;font-size:1.25rem;font-weight:600;color:var(--text-color)}.ProofCard_detailTitle__meCi1{font-size:1.875rem;font-weight:700;line-height:1.2}.ProofCard_proofTitleLink__SemZX{color:#2563eb;text-decoration:none}.ProofCard_proofTitleLink__SemZX:hover{color:#1d4ed8;text-decoration:underline}[data-theme=dark] .ProofCard_proofTitleLink__SemZX{color:#60a5fa}[data-theme=dark] .ProofCard_proofTitleLink__SemZX:hover{color:#93c5fd}.ProofCard_headerRight__YDGZo{display:flex;flex-direction:column;gap:.5rem;align-items:flex-end}.ProofCard_badgeContainer__AQMzi{display:flex;flex-shrink:0;flex-wrap:wrap;gap:.5rem;align-items:center}.ProofCard_detailCard__VwfmV .ProofCard_badgeContainer__AQMzi{gap:.75rem}.ProofCard_badge__Tk_OI{padding:.25rem .5rem;font-size:.75rem;font-weight:500;white-space:nowrap;border-radius:.25rem}.ProofCard_detailCard__VwfmV .ProofCard_badge__Tk_OI{padding:.375rem .75rem;font-size:.875rem;border-radius:.375rem}.ProofCard_versionBadge__ohHRP{color:#1e40af;background-color:#dbeafe}[data-theme=dark] .ProofCard_versionBadge__ohHRP{color:#93c5fd;background-color:#1e3a8a}.ProofCard_languageBadge__ZNdOy{color:#374151;background-color:#f3f4f6}[data-theme=dark] .ProofCard_languageBadge__ZNdOy{color:#d1d5db;background-color:#374151}.ProofCard_section__L9YAo{margin-bottom:.75rem}.ProofCard_detailCard__VwfmV .ProofCard_section__L9YAo{margin-bottom:1rem}.ProofCard_sectionHeader__jcezZ{display:flex;gap:.5rem;align-items:center;justify-content:space-between}.ProofCard_sectionLabel__KyXo3{margin-bottom:.25rem;font-size:.875rem;font-weight:500;color:var(--text-color);opacity:.7}.ProofCard_detailCard__VwfmV .ProofCard_sectionLabel__KyXo3{margin-bottom:.375rem}.ProofCard_sectionContent__G41Uh{color:var(--text-color)}.ProofCard_detailCard__VwfmV .ProofCard_sectionContent__G41Uh{font-size:1rem}.ProofCard_authorEmail__xWSso{font-family:Courier New,monospace;font-size:.75rem;color:var(--text-color);opacity:.6}.ProofCard_cidText__LmSCu{font-family:Courier New,monospace;font-size:.875rem;word-break:break-all}.ProofCard_detailCard__VwfmV .ProofCard_cidText__LmSCu{padding:.5rem;background-color:var(--button-bg);border-radius:.25rem}.ProofCard_referencesList__dnJzS{padding-left:1rem;margin:0;font-size:.875rem;color:var(--text-color)}.ProofCard_detailCard__VwfmV .ProofCard_referencesList__dnJzS{padding-left:1.5rem}.ProofCard_referenceItem__uMTNV{margin-bottom:.25rem;word-break:break-all}.ProofCard_detailCard__VwfmV .ProofCard_referenceItem__uMTNV{margin-bottom:.375rem}.ProofCard_proofFooter__oyusL{display:flex;align-items:center;justify-content:space-between;padding-top:1rem;margin-top:1rem;font-size:.875rem;color:var(--text-color);border-top:1px solid var(--border-color);opacity:.6}.ProofCard_detailCard__VwfmV .ProofCard_proofFooter__oyusL{padding-top:1.5rem;margin-top:1.5rem}.ProofCard_previousProof__mclE2{margin-top:.5rem;font-size:.875rem;color:var(--text-color);opacity:.7}.ProofCard_detailCard__VwfmV .ProofCard_previousProof__mclE2{margin-top:1rem}@media (max-width:768px){.ProofCard_proofCard__VxgnE{padding:1rem}.ProofCard_detailCard__VwfmV{padding:1.5rem;margin-bottom:2rem}.ProofCard_proofHeader__N89ha{flex-direction:column;gap:.75rem;align-items:flex-start}.ProofCard_detailCard__VwfmV .ProofCard_proofHeader__N89ha{gap:1rem}.ProofCard_proofTitle__zq2M0{font-size:1.125rem}.ProofCard_detailTitle__meCi1{font-size:1.5rem}.ProofCard_proofFooter__oyusL{flex-direction:column;gap:.5rem;align-items:flex-start}}.page_container__aoG4z{max-width:1200px;padding:2rem 1rem;margin:0 auto}.page_loadingContainer__pshup{display:flex;align-items:center;justify-content:center;min-height:50vh}.page_spinner__1WnEQ{width:3rem;height:3rem;border:3px solid var(--border-color);border-top:3px solid #3b82f6;border-radius:50%;animation:page_spin__W_8_q 1s linear infinite}@keyframes page_spin__W_8_q{0%{transform:rotate(0deg)}to{transform:rotate(1turn)}}.page_errorContainer__lj1Ea{padding:1rem;margin-bottom:2rem;color:#dc2626;background-color:#fef2f2;border:1px solid #fca5a5;border-radius:.5rem}[data-theme=dark] .page_errorContainer__lj1Ea{color:#fca5a5;background-color:#3f1f1f;border-color:#7f1d1d}.page_emptyState__Zyc7X{padding:3rem 0;text-align:center}.page_emptyText__ZIypX{font-size:1.125rem;color:var(--text-color);opacity:.6}.page_proofsGrid__e_GkJ{display:flex;flex-direction:column;gap:1.5rem}.page_badgeContainer__oQyXZ{display:flex;gap:.5rem;align-items:center}.page_badge__s34Is{padding:.25rem .5rem;font-size:.75rem;font-weight:500;border-radius:.25rem}.page_versionBadge__8x3yb{color:#1e40af;background-color:#dbeafe}[data-theme=dark] .page_versionBadge__8x3yb{color:#93c5fd;background-color:#1e3a8a}.page_languageBadge__1Di3H{color:#374151;background-color:#f3f4f6}[data-theme=dark] .page_languageBadge__1Di3H{color:#d1d5db;background-color:#374151}.page_section__61PEw{margin-bottom:.75rem}.page_sectionLabel__leOgg{margin-bottom:.25rem;font-size:.875rem;font-weight:500;color:var(--text-color);opacity:.7}.page_sectionContent__BH_RX{color:var(--text-color)}.page_cidText__eyWDD{font-family:Courier New,monospace;font-size:.875rem;word-break:break-all}.page_referencesList__fjxsj{padding-left:1rem;margin:0;font-size:.875rem;color:var(--text-color)}.page_referenceItem__FCBZw{margin-bottom:.25rem;word-break:break-all}.page_pagination__8VB5K{display:flex;gap:1rem;align-items:center;justify-content:center;margin-top:2rem}.page_paginationButton__PGVno{padding:.5rem 1rem;font-size:.875rem;font-weight:500;color:#fff;cursor:pointer;background-color:#3b82f6;border:none;border-radius:.375rem;transition:background-color .15s ease-in-out}.page_paginationButton__PGVno:disabled{color:var(--text-color);cursor:not-allowed;background-color:var(--button-bg);opacity:.5}.page_paginationButton__PGVno:hover:not(:disabled){background-color:#2563eb}.page_pageInfo__wIB9Q{font-size:.875rem;color:var(--text-color);opacity:.8}@media (max-width:768px){.page_container__aoG4z{padding:1rem .5rem}}