.proof-document { max-width: 1120px; margin: 0 auto; padding: 40px 28px 88px; }
.proof-nav { display: flex; gap: 20px; justify-content: space-between; align-items: center; margin-bottom: 64px; }
.proof-nav a, .proof-document a { color: var(--color-primary-bright); }
.proof-nav a:first-child { color: var(--color-text); font-weight: 700; text-decoration: none; }
.proof-intro { max-width: 800px; margin-bottom: 48px; }
.proof-intro h1 { margin: 16px 0 24px; }
.proof-intro p, .proof-document section > p { color: var(--color-text-muted); line-height: 1.8; }
.proof-index { display: flex; flex-wrap: wrap; gap: 12px 28px; padding: 20px 0; border-block: 1px solid var(--color-border); }
.proof-document section { padding: 56px 0 20px; scroll-margin-top: 24px; }
.proof-document h2 { margin: 12px 0 24px; }
.proof-document h3 { margin: 24px 0 12px; }
.proof-document figure { margin: 32px 0; }
.proof-document img, .proof-document video { display: block; width: 100%; height: auto; border-radius: 10px; }
.proof-document figcaption { color: var(--color-text-muted); font-size: .85rem; line-height: 1.7; margin-top: 12px; }
.proof-sequence { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 28px; list-style: none; padding: 0; margin: 28px 0; }
.proof-sequence li { border-top: 2px solid var(--color-primary-deep); padding-top: 16px; line-height: 1.7; color: var(--color-text-muted); }
.proof-sequence b { display: block; color: var(--color-text); margin-bottom: 8px; }
.proof-document details { border-block: 1px solid var(--color-border); padding: 18px 0; margin: 24px 0; }
.proof-document summary { cursor: pointer; font-weight: 600; }
.proof-document blockquote { border-left: 2px solid var(--color-primary); padding-left: 20px; margin: 20px 0; line-height: 1.8; color: var(--color-text-muted); }
.proof-document ul { padding-left: 22px; line-height: 1.9; color: var(--color-text-muted); }
.proof-files { display: flex; flex-wrap: wrap; gap: 12px 24px; margin: 24px 0; }
.proof-game-pair { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,1fr); gap: 40px; align-items: center; }
.proof-game-pair video { max-width: 360px; margin: auto; }
.proof-note { padding: 20px; background: var(--color-surface); border-radius: 8px; color: var(--color-text-muted); line-height: 1.8; }
.proof-document footer { margin-top: 56px; border-top: 1px solid var(--color-border); padding-top: 24px; color: var(--color-text-muted); }
@media(max-width:700px) { .proof-document { padding: 24px 20px 60px; } .proof-sequence,.proof-game-pair { grid-template-columns: 1fr; } .proof-nav { margin-bottom: 40px; } }