@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{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--paper:#eef3f6;--ink:#173448;--accent:#12547a;--muted:#506575;--line:#a7bac6;--chalk:#f9fcfd;--danger:#9d352a;background:var(--paper);color:var(--ink);font:18px/1.5 Source Sans,sans-serif}*{box-sizing:border-box}[hidden]{display:none!important}html{scroll-padding-top:20px}body{margin:0}a{color:var(--accent);text-underline-offset:4px}a:hover{text-decoration-thickness:2px}button,select,input,textarea{font:inherit;color:inherit}button,select{cursor:pointer}button,select,input,textarea{border:1px solid var(--line);background:var(--chalk);border-radius:3px}button,select{min-height:44px;padding:.5rem .75rem}button{line-height:1.25}button:hover{border-color:var(--accent);background:#dfebf1}button[aria-pressed=true],button.primary{background:var(--ink);border-color:var(--ink);color:var(--chalk)}button:disabled{cursor:default;opacity:.55}button[aria-pressed=true]:disabled{opacity:1}input,textarea{max-width:100%;padding:.6rem}textarea{resize:vertical;width:100%;display:block}:focus-visible{outline:3px solid var(--accent);outline-offset:4px}input[type=checkbox]{width:24px;height:24px;accent-color:var(--accent);cursor:pointer}p{margin:.65em 0 1em}h1,h2,.wordmark,.greek,.latin{font-family:Literata,serif}h1,h2,h3{line-height:1.2}h1,h2{letter-spacing:-.035em;font-weight:500}h1{margin:0;font-size:clamp(2.35rem,4.6vw,4.1rem)}h2{margin:0 0 .7rem;font-size:clamp(1.6rem,2.6vw,2.2rem)}h3{margin:0 0 .65rem;font-size:1.1rem;font-weight:650}label{display:block}select{width:100%;margin-top:.3rem;display:block}fieldset{min-width:0}legend{padding:0}.small{color:var(--muted);font-size:.88rem}.sr-only{clip-path:inset(50%);width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}.skip{z-index:5;background:var(--chalk);padding:12px;position:absolute;top:-80px;left:12px}.skip:focus{top:12px}.room-header,main,footer{width:min(1320px,100%);margin-inline:auto;padding-inline:clamp(18px,4vw,60px)}.room-header{border-bottom:1px solid var(--line);align-items:center;gap:36px;min-height:95px;display:flex}.wordmark{color:var(--ink);white-space:nowrap;font-size:1.85rem;text-decoration:none}.wordmark span{color:var(--accent);margin-left:6px;font-size:.95rem}.rooms,.reading-nav{align-items:center;gap:22px;display:flex}.rooms a,.reading-nav a{padding-block:14px;font-size:.88rem}.rooms a[aria-current]{color:var(--ink);font-weight:650;text-decoration-thickness:3px}.reading-nav{margin-left:auto}.opening{grid-template-columns:1.5fr 1fr;align-items:center;gap:48px;padding-block:52px 34px;display:grid}.opening p{max-width:40em}.opening-source{border-left:2px solid var(--line);padding-left:32px}.opening-source p[lang=grc]{margin-top:0;font-family:Literata,serif;font-size:1.4rem;line-height:1.65}.opening-source p:last-child{color:var(--muted);font-size:.88rem}.experiment-heading{border-top:1px solid var(--line);justify-content:space-between;align-items:flex-end;gap:30px;padding-block:20px 25px;display:flex}.experiment-heading h2{font-size:1.45rem}.experiment-heading p{margin-bottom:0}.experiment-heading label{min-width:280px;font-size:.88rem}.workbench{grid-template-columns:1.1fr 1fr;align-items:start;gap:32px;display:grid}#scene svg{width:100%;height:auto;display:block}.present h3{margin-bottom:16px}.present-controls{border:0;gap:10px;margin:16px 0 0;padding:0;display:flex}.present-controls legend{margin-bottom:8px;font-size:.88rem}.present-controls button{flex:1}.present-label{font-weight:650}.case-desk{padding:0 0 0 12px}.case-desk>p{font-size:.94rem}.cases{border-collapse:collapse;width:100%}.cases th,.cases td{text-align:left;border-bottom:1px solid var(--line);padding:10px 8px}.cases thead th{color:var(--muted);font-size:.8rem;font-weight:500}.cases thead th:nth-child(2),.cases td:nth-child(2){text-align:center}.cases tbody th{padding-left:4px;font-weight:600}.cases tr[data-current=true]{background:#d9eaf0}.cases tr[data-case="2"] th:after{content:"True / false";color:var(--danger);font-size:.73rem;font-weight:500;display:block}.cases tr[data-impossible=true] th{font-size:.82rem;font-weight:400}.cases tr[data-impossible=true] th:after{content:"One statement cannot disagree with itself";color:var(--muted);font-size:.72rem}.cases td button{width:100%;min-width:86px;font-size:.85rem}.cases .allow-label{place-items:center;min-width:44px;min-height:44px;display:grid}.table-actions{flex-wrap:wrap;gap:8px;display:flex}.table-actions button{padding-inline:.55rem;font-size:.82rem}.draft-conflict{border:1px solid var(--danger);border-left:5px solid var(--danger);background:#fcf1eb;align-items:center;gap:20px;margin-top:24px;padding:14px 20px;display:flex}.draft-conflict p{margin:0}.draft-conflict button{flex-shrink:0}.verdicts{border-block:2px solid var(--ink);grid-template-columns:1fr 1fr;gap:32px;margin-top:22px;padding-block:22px;display:grid}.verdict:first-child{border-right:1px solid var(--line);padding-right:28px}.verdict .result{margin:.35em 0;font:500 2.1rem/1.2 Literata,serif}.verdict .result[data-result=false],.verdict .result[data-result=fails],.verdict .result[data-result=empty]{color:var(--danger)}.verdict>p:not(.result){max-width:36em;font-size:.94rem}.verdict>a{margin-right:.5rem;font-size:.85rem;display:inline-block}#use-counterexample{margin-bottom:14px;font-size:.85rem}.vacuity{border-left:3px solid var(--danger);padding-left:12px}.model-boundary{max-width:82ch;color:var(--muted);font-size:.87rem}.experiment-actions{flex-wrap:wrap;gap:10px;margin-top:22px;display:flex}.try{max-width:78ch;margin-top:24px}summary{cursor:pointer;padding-block:.5rem;font-weight:600}li{margin-bottom:.6rem}#comparison,#reader,.keep,.scope{border-top:1px solid var(--line);margin-top:30px;padding-block:36px}.section-heading{justify-content:space-between;align-items:center;gap:25px;display:flex}.section-heading>a{font-size:.88rem}#comparison-content{grid-template-columns:1fr 1fr;gap:32px;display:grid}.comparison-item{border-left:3px solid var(--line);padding-left:20px}.comparison-item h3{margin-top:10px}.comparison-item dl{margin-block:10px}.comparison-item dt{color:var(--muted);font-size:.8rem}.comparison-item dd{margin:0 0 12px}#reader>p{max-width:80ch}.reader-layout{grid-template-columns:1fr 1fr;gap:40px;margin-top:24px;display:grid}.text-column,.source-column{min-width:0}.greek{margin-top:18px;font-size:1.25rem;line-height:1.95}.greek button{font:inherit;line-height:inherit;border:0;border-bottom:1px dashed var(--accent);min-height:0;color:var(--ink);background:0 0;border-radius:0;padding:0;display:inline}.greek button:hover,.greek button[aria-pressed=true]{color:var(--ink);background:#d9eaf0}.word-note{border-left:3px solid var(--accent);background:#dfeaf0;min-height:85px;margin-bottom:24px;padding:16px;font-size:.9rem}.word-note strong{font-family:Literata,serif}.latin{line-height:1.85}.editorial{color:var(--muted);margin-top:24px;font-size:.88rem}.scan-toolbar{flex-wrap:wrap;align-items:flex-end;gap:8px;display:flex}.scan-toolbar label{font-size:.85rem}.scan-toolbar select{min-width:80px}.scan-toolbar button{font-size:.8rem}.source-viewport{border:1px solid var(--line);background:#dce4e9;min-height:150px;max-height:640px;overflow:auto}.source-viewport img{width:100%;max-width:100%;height:auto;display:block}.source-viewport.enlarged img{width:2096px;max-width:none}.source-viewport:focus-visible{outline-offset:2px}.text-button{color:var(--accent);font:inherit;background:0 0;border:0;min-height:0;padding:0;text-decoration:underline}.edition{max-width:86ch;margin-top:24px;font-size:.88rem}.keep{grid-template-columns:1.1fr 1fr;gap:40px;display:grid}.save-actions{flex-wrap:wrap;gap:10px;display:flex}.save-actions button{flex:42%}.file-label{margin-top:24px}.file-label input{width:100%;margin-top:8px;font-size:.85rem;display:block}#cancel-export{margin-top:16px}.scope-columns{grid-template-columns:1fr 1fr;gap:40px;font-size:.94rem;display:grid}.scope h3{margin-top:20px}footer{border-top:1px solid var(--line);color:var(--muted);grid-template-columns:1fr 1.2fr 1fr;gap:30px;padding-block:22px 32px;font-size:.8rem;display:grid}@media (max-width:900px){.room-header{flex-wrap:wrap;gap:20px;padding-block:14px}.rooms{gap:16px;margin-left:auto}.reading-nav{width:100%;margin:0}.reading-nav a{padding-block:0}.opening{gap:24px;padding-top:36px}.opening-source{padding-left:20px}.workbench{gap:20px}.cases th,.cases td{padding-inline:3px}.cases td button{min-width:74px;padding-inline:.4rem}}@media (max-width:700px){.room-header{gap:12px}.wordmark{font-size:1.6rem}.wordmark span{display:none}.rooms a{font-size:.8rem}.opening{grid-template-columns:1fr;gap:14px;padding-block:28px}.opening-source{padding-left:16px}.opening-source p[lang=grc]{margin-bottom:8px;font-size:1.1rem}.opening-source br,.opening p br{display:none}.experiment-heading{display:block}.experiment-heading label{margin-top:18px}.workbench,.verdicts,.reader-layout,.keep,.scope-columns,#comparison-content{grid-template-columns:1fr}.case-desk{margin-top:16px;padding:0}.verdicts{gap:20px}.verdict:first-child{border:0;border-bottom:1px solid var(--line);padding:0 0 20px}.section-heading,.draft-conflict{display:block}.section-heading>a{margin-bottom:15px;display:inline-block}.draft-conflict button{margin-top:14px}.source-viewport{max-height:520px}.keep{gap:20px}.scope-columns{gap:10px}footer{grid-template-columns:1fr;gap:0}.save-actions button{flex-basis:100%}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto}}