/* Integrated revision R9. These overrides preserve the original page and explorer. */
.revision-badge{display:inline-block;color:var(--muted);border:1px solid var(--line);border-radius:3px;padding:6px 10px;font:12px/1.4 var(--sans);margin:0 0 22px}.joint-work{font-size:15px;line-height:1.7;max-width:970px;margin:22px 0 30px;padding:18px 0 0;border-top:1px solid var(--line)}.joint-work p{font-weight:650;margin-bottom:8px}.joint-work ol{padding-left:1.4em}.joint-work li+li{margin-top:12px}.joint-work a{text-underline-offset:3px}.revision-footer{font-size:12px!important;padding-bottom:20px}.revision-footer a,.paper-link p a{color:var(--aqua)}
.classical .quantifier{font-size:17px;color:var(--ink);margin-bottom:15px}.classical>div{line-height:1.65;margin:7px 0}.result-heading h2{font-size:clamp(1.85rem,3.2vw,2.55rem);line-height:1.22}.result-heading h2 .math{display:block;margin-top:12px}.equation{overflow-x:auto;padding:5px 0 10px}.equation math{font-family:'Cambria Math','DejaVu Math TeX Gyre',math;text-align:left;margin:0;line-height:1.5}.overline{display:inline-block;white-space:nowrap;border-top:1px solid currentColor;text-decoration:none;padding-top:.18em}.cell-circle{font-size:.95em!important;line-height:0!important;position:relative;vertical-align:super;top:-.08em;margin-left:.04em}.inline-link{padding:0!important;display:inline}
.injection-cases{display:flex;align-items:center;gap:20px;margin:24px 0;overflow-x:auto;padding:5px 0 12px;font-size:19px}.case-left{flex-shrink:0}.cases{border-left:2px solid var(--teal);padding-left:20px;display:grid;gap:16px;min-width:460px}.cases>div{display:grid;grid-template-columns:65px 1fr;gap:15px}.cases>div>span{font-size:16px}.changed-pair td{color:var(--teal);font-weight:650}.lemma-callout{padding:20px 22px;border-left:3px solid var(--teal);background:#edf7f4;margin:24px 0;font-size:17px;line-height:1.65}.is-invalid{border-color:#ad3a44;background:#fcf1f1}.definition-grid table{width:100%}.definition-grid .equation{font-size:20px}
.pattern-lead{font-size:19px}.pattern-two-tests{display:grid;grid-template-columns:1fr auto 1fr;gap:22px;align-items:center;margin:24px 0}.pattern-two-tests span{padding:18px;background:#edf5f6;border:1px solid var(--line)}.pattern-two-tests>b{color:var(--teal);font-size:13px}.source-figure{margin:28px 0 40px;padding:18px;border:1px solid var(--line);background:white}.source-figure img{display:block;max-width:100%;width:100%;height:auto}.source-figure figcaption{font-size:13px;line-height:1.65;color:var(--muted);margin-top:12px}.pattern-h-control{display:block;font-size:14px;margin:20px 0}.pattern-h-control select{display:block;width:min(100%,540px);font:15px/1.4 var(--sans);margin-top:8px;padding:12px;border:1px solid var(--line);border-radius:3px;background:white;color:var(--ink)}.availability-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;margin:18px 0}.availability-card{font-family:var(--sans);text-align:left;border:1px solid var(--line);border-radius:3px;padding:15px 12px;background:white;color:var(--ink);min-height:126px}.availability-card b{font:23px var(--serif)}.availability-card span,.availability-card small{display:block;font-size:12px;line-height:1.5;margin-top:7px}.availability-card small{color:var(--muted)}.availability-card.possible{border-top:3px solid #078378}.availability-card.excluded{border-top:3px solid #919ea4;background:#f3f5f6}.availability-card[aria-pressed=true]{outline:2px solid var(--teal);outline-offset:1px}.pattern-witness{display:grid;grid-template-columns:1fr 360px;align-items:center;gap:12px 30px;padding:22px;border:1px solid var(--line);margin:-10px 0 36px}.pattern-witness svg{width:100%;max-width:380px}.pattern-witness .small{grid-column:1/-1}.pattern-example{padding:28px;background:#f1f6f8;margin:40px 0}.pattern-example h3{font:500 27px/1.25 var(--serif)}.example-word{display:grid;grid-template-columns:repeat(8,minmax(0,1fr));gap:7px;margin:24px 0}.word-entry{background:#fff;border:1px solid var(--line);text-align:center;padding:9px 3px}.word-entry small{display:block;font-size:10px;color:var(--muted)}.word-entry b{display:block;font:30px var(--serif);margin:5px 0}.word-entry.chosen{border-bottom:3px solid var(--teal);background:#ddf0eb}.example-tabs{display:flex;flex-wrap:wrap;gap:10px;margin:20px 0}.example-tabs button{font:16px var(--sans);border:1px solid var(--line);padding:12px 19px;border-radius:3px;background:#fff;color:var(--ink)}.example-tabs b{font:23px var(--serif);display:block}.example-tabs span{font-size:13px;display:block;margin-top:4px}.example-tabs [aria-pressed=true]{background:var(--ink);color:#fff;border-color:var(--ink)}.variation-switch{display:flex;align-items:center;gap:10px;font-size:15px;font-weight:550;margin:25px 0 8px}.variation-switch input{width:20px;height:20px;accent-color:var(--teal);flex-shrink:0}.pattern-check-grid{display:grid;grid-template-columns:1fr 1fr;gap:22px;margin-top:24px}.pattern-check-grid>div{min-width:0;padding:20px;background:white;border:1px solid var(--line)}.pattern-check-grid svg{display:block;width:100%;height:auto}.pattern-check-grid p{font-size:14px}.test-fail{color:#a22d38;background:#fff4f4}.pattern-example table{width:100%}.pattern-example td{font-family:var(--serif)}
.topbar>div{gap:18px}.topbar>div a{font-size:13px}.result-section .hgp-result-note{margin-bottom:28px}.hgp-lemma-note{margin-bottom:24px}.hgp-section details summary{margin:0}.hgp-section details summary::after{right:0}.hgp-section .hgp-equation{min-width:0}.hgp-wrap{width:min(1160px,calc(100% - 72px))}.hgp-section .hgp-formula-grid{align-items:stretch}.hgp-section .hgp-card h3{line-height:1.4}
@media(max-width:950px){.topbar{flex-wrap:wrap}.topbar>div{gap:14px}.availability-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.pattern-witness{grid-template-columns:1fr 300px}.definition-grid .equation{font-size:19px}}
@media(max-width:760px){.joint-work{font-size:14px}.result-heading h2{font-size:1.85rem}.availability-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.pattern-two-tests{grid-template-columns:1fr;gap:8px}.pattern-two-tests b{text-align:center}.pattern-witness{display:block;padding:17px}.pattern-witness svg{margin:auto;display:block}.pattern-example{padding:18px 12px}.pattern-check-grid{grid-template-columns:1fr;gap:16px}.example-word{gap:3px}.word-entry small{font-size:8px}.word-entry b{font-size:24px}.example-tabs{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.example-tabs button{padding:10px 4px}.example-tabs b{font-size:20px}.example-tabs span{font-size:12px}.injection-cases{display:block}.cases{margin-top:14px;min-width:370px}.source-figure{padding:10px;margin:24px 0}.hgp-wrap{width:calc(100% - 36px)}.revision-badge{font-size:10px}.pattern-example .equation{font-size:17px}.topbar>div{gap:16px}.topbar{position:relative}.byline{line-height:1.7}.pattern-lead{font-size:17px}}
@media print{.revision-badge,.offline-download{display:none}.pattern-h-control,.availability-grid,.example-tabs,.variation-switch{display:none}.pattern-check-grid,.hgp-formula-grid{break-inside:avoid}.joint-work{font-size:10pt}.hgp-section{padding:24px 0}}

/* R10: distinguish the long-term question from the scope of this talk. */
.motivation-goals{margin:36px 0 24px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}
.motivation-goals .question-box{margin:0;border:0;grid-template-columns:172px 1fr;gap:24px;padding:24px 0}
.motivation-goals .question-box+.question-box{border-top:1px solid var(--line)}
.motivation-goals .question-box p{margin:0;font-size:21px;line-height:1.55}
.motivation-goals .talk-goal{background:rgba(0,126,114,.045);padding-left:20px;padding-right:20px}
.motivation-goals .talk-goal .eyebrow{color:#007e72}
@media(max-width:700px){.motivation-goals .question-box{display:block;padding:20px 0}.motivation-goals .talk-goal{padding:20px 15px}.motivation-goals .question-box p{font-size:19px}}