@font-face{font-family:Literata;src:url(/horos/fonts/literata.woff2)format("woff2");font-weight:200 900;font-display:swap}@font-face{font-family:Source Sans;src:url(/horos/fonts/sourcesans3.woff2)format("woff2");font-weight:200 900;font-display:swap}:root{color:#26342f;--paper:#f4f3ed;--ink:#26342f;--accent:#a33624;--muted:#58635c;--line:#b8beb0;--board:#eeeee4;--good:#295b4b;--bad:#9b3325;background:#f4f3ed;font-family:Source Sans,sans-serif;font-size:18px;line-height:1.5}.room-selector{flex-wrap:wrap;gap:12px 30px;width:min(1320px,100%);margin:0 auto;padding:12px clamp(18px,4vw,60px);font-size:.88rem;display:flex}.room-selector [aria-current]{color:var(--ink);font-weight:650}*{box-sizing:border-box}body{margin:0}button,input,select,textarea{font:inherit;color:inherit}button,select{cursor:pointer}button,input,select,textarea{background:#fafaf4;border:1px solid #929b8e;border-radius:2px}button{min-height:44px;padding:.5rem .85rem;line-height:1.25}button:hover{border-color:var(--ink);background:#e2e5d8}button:active{background:#d1d9c6}button:disabled{cursor:default;opacity:.55}button.primary{background:var(--ink);color:#fcfcf3;border-color:var(--ink)}button.primary:hover{background:#415849}input,select,textarea{max-width:100%;padding:.55rem}input[type=checkbox]{width:20px;height:20px;accent-color:var(--ink)}select{min-height:46px}textarea{resize:vertical;width:100%}a{color:var(--accent);text-underline-offset:3px}a:hover{text-decoration-thickness:2px}:focus-visible{outline-offset:4px;outline:3px solid #9c3f2b}p{margin:.65em 0 1em}h1,h2{letter-spacing:-.035em;font-family:Literata,serif;font-weight:500;line-height:1.2}h1{margin:0;font-size:clamp(2.1rem,4.6vw,3.65rem)}h1 em{color:var(--accent);font-style:normal}h2{margin:.2em 0 .7em;font-size:clamp(1.55rem,2.5vw,2.25rem)}h3{margin:1.2rem 0 .6rem;font-size:1.05rem;line-height:1.3}label{display:block}fieldset{border:0;min-width:0;margin:0;padding:0}legend{margin-bottom:.4rem;font-weight:600}table{border-collapse:collapse;text-align:left;width:100%;font-size:.94rem}th,td{border-bottom:1px solid var(--line);vertical-align:top;padding:.6rem}th{font-weight:600}caption{text-align:left;color:var(--muted);margin:.8rem 0;font-size:.85rem}summary{cursor:pointer;min-height:44px;padding:.65rem 0;font-weight:600}details{border-block:1px solid var(--line);margin:1rem 0}.small{color:var(--muted);font-size:.86rem;line-height:1.5}.eyebrow{letter-spacing:.09em;text-transform:uppercase;color:var(--muted);font-size:.76rem}[hidden]{display:none!important}.sr-only{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.skip{background:var(--paper);z-index:10;padding:12px;position:absolute;top:-100px;left:12px}.skip:focus{top:10px}header,main,footer{max-width:1320px;margin:auto;padding-inline:clamp(20px,4vw,56px)}header{border-bottom:1px solid var(--line);align-items:center;gap:2rem;min-height:100px;display:flex}.wordmark{letter-spacing:-.04em;color:var(--ink);align-items:center;gap:1rem;font-family:Literata,serif;font-size:1.8rem;text-decoration:none;display:flex}.wordmark span{color:var(--accent);letter-spacing:0;font-size:1.05rem}.strap{color:var(--muted);font-size:.8rem}nav{gap:1.3rem;margin-left:auto;font-size:.85rem;display:flex}nav a{color:var(--ink)}.opening{grid-template-columns:1.25fr 1fr;align-items:center;gap:3rem;padding:2.7rem 0 2.2rem;display:grid}.opening p{max-width:46ch}.opening>div{padding-top:.5rem}.lessons{border-top:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-bottom:1.5rem;display:grid}.lessons button{text-align:left;background:0 0;border:0;border-bottom:3px solid #0000;border-radius:0;padding:1rem .75rem}.lessons button:first-of-type{padding-left:0}.lessons button[aria-pressed=true]{border-bottom-color:var(--accent)}.lessons button[aria-pressed=true] strong{color:var(--accent)}.lessons strong{font-size:.97rem;font-weight:600;display:block}.lessons small{color:var(--muted);font-size:.8rem}.workbench{grid-template-columns:minmax(290px,.85fr) minmax(0,1.25fr);align-items:start;gap:2.4rem;display:grid}.argument-sheet h2{margin-top:.4rem;font-size:1.65rem}.argument-sheet>p:not(.eyebrow){max-width:50ch;font-size:.95rem}.premise{border-top:1px solid var(--line);padding:.7rem 0}.premise strong{font-family:Literata,serif;font-size:1.1rem;font-weight:500;display:block}.truth{margin-top:.25rem;font-size:.78rem;display:block}.true{color:var(--good)}.false{color:var(--bad)}.conclusion{border-top:2px solid var(--accent);padding:1rem 0 .4rem}.conclusion label{color:var(--accent);text-transform:uppercase;letter-spacing:.08em;font-size:.78rem}.conclusion select{width:100%;color:var(--accent);margin-top:.4rem;font-family:Literata,serif;font-size:1.2rem}.conclusion p{font-size:.85rem}.existence{margin:.7rem 0}.existence legend{font-size:.85rem}.existence>div{gap:1.4rem;display:flex}.existence label{align-items:center;gap:.45rem;padding:.3rem 0;display:flex}.existence .small{margin:.3rem 0}.judgment{border-top:1px solid var(--line);padding:.2rem 0 .4rem}.judgment h3{margin:.65rem 0 .35rem}.judgment p{margin:0;font-size:.9rem}.judgment[data-status=counterexample] h3{color:var(--accent)}.world-sheet{background:var(--board);padding:1rem 1.2rem .7rem}.board-heading{justify-content:space-between;align-items:center;display:flex}.board-heading h3{margin:0;font-weight:600}.board-heading .small{font-variant-numeric:tabular-nums}.board{aspect-ratio:600/540;max-width:650px;margin:auto;position:relative}.board svg{width:100%;height:100%;display:block}.token{background:#f8f8ef;border:1.5px dashed #6c7566;border-radius:50%;width:44px;height:44px;min-height:44px;padding:0;font-size:1.1rem;line-height:1;position:absolute;transform:translate(-50%,-50%)}.token[aria-pressed=true]{background:var(--ink);color:#fcfcf5;border-style:solid;border-color:var(--ink)}.token:hover{background:#e0e6d6}.token[aria-pressed=true]:hover{background:#4d6250}.token.violates{box-shadow:0 0 0 4px #f2c3af}.world-actions{justify-content:center}.button-row{flex-wrap:wrap;gap:.5rem;display:flex}.world-actions button{font-size:.83rem}.world-sheet .object-inventory{margin-bottom:.4rem}.object-inventory summary{font-size:.86rem;font-weight:400}.object-inventory ul{padding-left:1.2rem;font-size:.85rem}.board-note{margin:.5rem 0}.investigate{border-bottom:1px solid var(--line);grid-template-columns:1fr 1fr;gap:4rem;padding:1rem 0 2rem;display:grid}.investigate p,.investigate li{font-size:.95rem}.investigate ol{padding-left:1.25rem}.investigate li{margin:.8rem 0;padding-left:.3rem}.investigate select{width:100%;margin:.5rem 0;display:block}.investigate h3{font-family:Literata,serif;font-size:1.3rem;font-weight:500}.section-heading{justify-content:space-between;align-items:baseline;gap:2rem;display:flex}.section-heading a{font-size:.85rem}.comparison{border-bottom:1px solid var(--line);padding:2.4rem 0 2rem}.world-pair{grid-template-columns:1fr 1fr;gap:1.2rem;display:grid}.world-pair figure{margin:0}.world-pair svg{width:100%;max-height:260px;display:block}.world-pair figcaption{padding:.5rem 0;font-size:.85rem}.comparison table{margin:1rem 0}#reader{padding:3rem 0}.reader-layout{grid-template-columns:1fr 1fr;gap:3rem;display:grid}.reader-layout>*{min-width:0}.reader-layout select{max-width:100%;font-size:.9rem}.text-column>select{width:100%}.text-column>label{font-size:.85rem}.greek{margin:1.3rem 0;font-family:Literata,serif;font-size:1.12rem;line-height:1.95}.greek button{min-height:0;font-family:inherit;line-height:inherit;vertical-align:baseline;text-align:left;background:0 0;border:0;border-bottom:1px dashed #8f4b36;border-radius:0;padding:0;display:inline}.greek button:hover,.greek button[aria-pressed=true]{background:#e3dfc9}.word-note{background:#e6e8dc;min-height:7rem;padding:1rem;font-size:.9rem}.word-note strong{display:block}.word-note em{color:var(--accent);font-style:normal}.latin{font-family:Literata,serif;line-height:1.8}.editorial{color:var(--muted);border-left:1px solid var(--line);margin:1.4rem 0;padding-left:1rem;font-size:.88rem}.scan-toolbar{flex-wrap:wrap;align-items:center;gap:.6rem;font-size:.85rem;display:flex}.scan-toolbar button{margin-left:auto;font-size:.85rem}.scan-viewport{border:1px solid var(--line);background:#e5e4d8;height:650px;max-height:80vh;overflow:auto}.scan-viewport img{width:100%;height:auto;display:block}.scan-viewport.enlarged img{width:var(--source-width,2175px);max-width:none}.text-button{min-height:30px;color:var(--accent);text-underline-offset:3px;background:0 0;border:0;padding:0;text-decoration:underline}.edition{margin-top:2rem;font-size:.9rem}.keep{border-block:1px solid var(--line);grid-template-columns:1.2fr 1fr;gap:4rem;padding:3rem 0;display:grid}.keep label{margin:.75rem 0 .35rem;font-size:.9rem}.keep h3{margin-top:.5rem}.file-label input{width:100%;margin:.4rem 0;font-size:.85rem;display:block}.citation{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:.7rem;padding:.4rem 0;font-size:.85rem;display:flex}.citation button{font-size:.8rem}.scope{padding:3rem 0}.scope-columns{grid-template-columns:1fr 1fr;gap:4rem;display:grid}.scope p{max-width:64ch;font-size:.95rem}footer{border-top:1px solid var(--line);color:var(--muted);grid-template-columns:1fr 1fr 1fr;gap:2rem;padding-block:1.8rem;font-size:.8rem;display:grid}footer strong{color:var(--ink);font-family:Literata,serif;font-size:1.2rem}@media (min-width:1400px){.board{max-width:600px}}@media (max-width:950px){.strap{display:none}.workbench{grid-template-columns:minmax(270px,.9fr) minmax(0,1fr);gap:1.4rem}.world-sheet{padding:.8rem}.reader-layout{gap:1.6rem}.keep,.investigate{gap:2rem}.token{width:40px;height:40px;min-height:40px}.scope-columns{gap:2rem}}@media (max-width:720px){header{flex-wrap:wrap;gap:.3rem;min-height:90px;padding-block:.7rem}.wordmark{font-size:1.5rem}nav{justify-content:space-between;gap:.7rem;width:100%;margin-left:0;font-size:.8rem}.opening{padding:1.7rem 0 1rem;display:block}.opening>div{padding-top:.7rem}.opening p{font-size:.95rem}.opening .small{font-size:.8rem}.lessons{grid-template-columns:1fr 1fr;margin-bottom:1rem}.lessons button,.lessons button:first-of-type{padding:.7rem .4rem}.lessons strong{font-size:.87rem}.lessons small{font-size:.74rem}.workbench{flex-direction:column;gap:1rem;display:flex}.argument-sheet,.world-sheet{width:100%}.argument-sheet .existence{margin:.5rem 0}.judgment{padding-bottom:.8rem}.world-sheet{padding:.8rem .3rem}.board-heading,#board-help,.board-note,.object-inventory{margin-inline:.5rem}.token{width:40px;height:40px;min-height:40px}.world-actions{padding:.3rem}.world-actions button{padding:.5rem .6rem;font-size:.78rem}.investigate,.reader-layout,.keep,.scope-columns{grid-template-columns:1fr;gap:1.5rem}.section-heading{display:block}.section-heading button{margin-bottom:.5rem}.comparison table{font-size:.8rem}.comparison th,.comparison td{padding:.45rem .3rem}.world-pair{gap:.5rem}.world-pair figcaption{font-size:.76rem}.scan-viewport{height:470px}.keep{padding-block:2rem}footer{grid-template-columns:1fr;gap:.4rem}footer p{margin:.3rem 0}.greek{font-size:1.08rem}#reader,.scope{padding-block:2rem}.word-note{min-height:5rem}}@media (prefers-reduced-motion:no-preference){button{transition:background-color .12s ease-out}}.existence-map{border-bottom:1px solid var(--line);padding:2.4rem 0;scroll-margin-top:1rem}.existence-intro{grid-template-columns:1.1fr 1fr;gap:4rem;display:grid}.existence-intro p{max-width:60ch}.existence-question{border-left:3px solid var(--ink);padding-left:1rem;font-family:Literata,serif;font-size:1.12rem}.existence-guide{border-left:1px solid var(--line);padding:0 1.2rem;font-size:.93rem}.existence-guide h3{margin-top:0}.existence-status{background:var(--board);padding:.7rem 1rem;font-size:.9rem}.existence-table{table-layout:fixed}.existence-table th,.existence-table td{padding:.75rem 1rem}.existence-table tbody th{font-weight:400}.existence-table .selected{background:#e1e7d9}.existence-table small{color:var(--muted);margin-top:.3rem;font-size:.8rem;display:block}.existence-table button[aria-pressed=true]{border-color:var(--ink);background:var(--ink);color:var(--paper)}.existence-table button{min-width:5rem}@media (max-width:720px){.existence-intro{grid-template-columns:1fr;gap:.8rem}.existence-guide{padding-left:1rem}.existence-table{font-size:.83rem}.existence-table th,.existence-table td{overflow-wrap:anywhere;padding:.6rem .25rem}.existence-table small{font-size:.73rem}.existence-table button{min-width:0;max-width:100%;padding:.5rem}}