:root{font-synthesis:none;text-rendering:optimizeLegibility}body{margin:0;background:radial-gradient(circle at 10% 0%,light-dark(rgba(116,143,252,.1),rgba(76,110,245,.08)),transparent 28rem),var(--mantine-color-body)}a{color:inherit;text-decoration:none}.app-header{background:color-mix(in srgb,var(--mantine-color-body) 88%,transparent);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px)}.brand-link{color:var(--mantine-color-text)}.bootstrap-page{background:radial-gradient(circle at 50% 20%,light-dark(rgba(92,124,250,.17),rgba(76,110,245,.15)),transparent 26rem),var(--mantine-color-body)}.substrate-card{color:inherit;min-height:210px;transition:transform .14s ease,border-color .14s ease,box-shadow .14s ease}.substrate-card:hover{transform:translateY(-2px);border-color:var(--mantine-color-indigo-4);box-shadow:var(--mantine-shadow-md)}.card-arrow{color:var(--mantine-color-dimmed);transition:transform .14s ease}.substrate-card:hover .card-arrow{color:var(--mantine-color-indigo-5);transform:translate(2px,-2px)}.graph-viewport{overflow:auto;max-height:min(70vh,calc(var(--perspective-limit, 25) * 8rem));padding:.25rem}.graph-level{position:relative;padding:1.4rem 0}.graph-level--focus{padding:1.8rem 0}.graph-label{font-weight:700;letter-spacing:.1em;text-align:center;margin-bottom:.75rem}.graph-connected-above:before{content:"";position:absolute;top:0;left:50%;width:1px;height:1.25rem;background:light-dark(var(--mantine-color-gray-3),var(--mantine-color-dark-4))}.proposition-card{width:100%;text-align:left;color:var(--mantine-color-text);background:var(--mantine-color-body);transition:border-color .14s ease,transform .14s ease,box-shadow .14s ease}button.proposition-card{cursor:pointer;font:inherit}button.proposition-card:hover{border-color:var(--mantine-color-indigo-4);transform:translateY(-1px);box-shadow:var(--mantine-shadow-sm)}.proposition-card--selected{border-color:var(--mantine-color-indigo-5);box-shadow:0 0 0 1px var(--mantine-color-indigo-5),var(--mantine-shadow-sm)}.observable-pill{padding:3px 7px;border-radius:var(--mantine-radius-sm);color:light-dark(var(--mantine-color-gray-7),var(--mantine-color-gray-3));background:light-dark(var(--mantine-color-gray-1),var(--mantine-color-dark-6));cursor:help}.observable-pill[data-empty=true]{color:var(--mantine-color-dimmed)}.chirality-icon{animation:chirality-spin var(--spin-speed, 5s) linear infinite}.chirality-icon--slow{--spin-speed: 8s}@keyframes chirality-spin{to{transform:rotate(360deg)}}@media(prefers-reduced-motion:reduce){.chirality-icon{animation:none}.substrate-card,.proposition-card{transition:none}}@media(max-width:48em){.graph-viewport{max-height:none}}