#michelangelo-method .sculptor.svelte-w23njd{display:flex;align-items:center;justify-content:center;gap:3rem;margin-bottom:1.5rem}#michelangelo-method .sculptor.svelte-w23njd .block:where(.svelte-w23njd),#michelangelo-method .sculptor.svelte-w23njd .result:where(.svelte-w23njd){font-size:5rem}#michelangelo-method .sculptor.svelte-w23njd .arrow:where(.svelte-w23njd){font-size:3rem;color:var(--color-surface-400)}#michelangelo-method .caption.svelte-w23njd{font-style:italic;color:var(--color-surface-600);margin:0;font-size:1.25rem;text-align:center}@media(max-width:1100px){#michelangelo-method .sculptor.svelte-w23njd{gap:1.5rem}#michelangelo-method .sculptor.svelte-w23njd .block:where(.svelte-w23njd),#michelangelo-method .sculptor.svelte-w23njd .result:where(.svelte-w23njd){font-size:3.5rem}}#binary-inversion .metaphor.svelte-w23njd{display:flex;gap:1.25rem;background:var(--color-primary-50);border-radius:calc(var(--radius-container) * 4);padding:2rem;margin:2rem 0}#binary-inversion .metaphor.svelte-w23njd .icon:where(.svelte-w23njd){font-size:2.5rem;flex-shrink:0}#binary-inversion .metaphor.svelte-w23njd .content:where(.svelte-w23njd){font-size:1.25rem;line-height:1.6}#binary-inversion .inverter.svelte-w23njd{display:flex;align-items:center;justify-content:center;gap:2rem;margin:3rem 0;padding:2rem;background:var(--color-surface-50);border-radius:calc(var(--radius-container) * 4)}#binary-inversion .inverter.svelte-w23njd .state:where(.svelte-w23njd){display:flex;flex-direction:column;align-items:center;gap:.5rem}#binary-inversion .inverter.svelte-w23njd .state:where(.svelte-w23njd) .label:where(.svelte-w23njd){width:80px;height:80px;border-radius:50%;display:flex;align-items:center;justify-content:center;font-size:2rem;font-weight:700}#binary-inversion .inverter.svelte-w23njd .state:where(.svelte-w23njd) .text:where(.svelte-w23njd){font-size:1.05rem;font-weight:500}#binary-inversion .inverter.svelte-w23njd .state:where(.svelte-w23njd).true-state .label:where(.svelte-w23njd){background:var(--color-success-500);color:var(--color-surface-950);box-shadow:0 0 24px color-mix(in oklab,var(--color-success-500) .4,transparent)}#binary-inversion .inverter.svelte-w23njd .state:where(.svelte-w23njd).false-state .label:where(.svelte-w23njd){background:var(--color-surface-200);color:var(--color-surface-600)}#binary-inversion .inverter.svelte-w23njd .action:where(.svelte-w23njd){display:flex;flex-direction:column;align-items:center;gap:.25rem;padding:1rem 1.5rem;background:var(--color-error-100);border-radius:var(--radius-container)}#binary-inversion .inverter.svelte-w23njd .action:where(.svelte-w23njd) .operator:where(.svelte-w23njd){font-size:1.25rem;font-weight:700;color:var(--color-error-700)}#binary-inversion .inverter.svelte-w23njd .action:where(.svelte-w23njd) .arrow:where(.svelte-w23njd){font-size:1.5rem;color:var(--color-error-500)}@media(max-width:1100px){#binary-inversion .inverter.svelte-w23njd{gap:1.5rem;padding:1.5rem}#binary-inversion .inverter.svelte-w23njd .state:where(.svelte-w23njd) .label:where(.svelte-w23njd){width:60px;height:60px;font-size:1.5rem}}#contradiction-law .demo.svelte-w23njd{margin:2rem 0;text-align:center}#contradiction-law .demo.svelte-w23njd .box:where(.svelte-w23njd){display:flex;flex-direction:column;align-items:center;gap:1.5rem;padding:2.5rem;background:var(--color-surface-50);border-radius:calc(var(--radius-container) * 4);margin-bottom:1.5rem}#contradiction-law .demo.svelte-w23njd .circle:where(.svelte-w23njd){width:100px;height:100px;border-radius:50%;background:linear-gradient(45deg,#2563eb,#dc2626,#2563eb,#dc2626);background-size:200% 200%;animation:svelte-w23njd-conflict-pulse 1s ease-in-out infinite}#contradiction-law .demo.svelte-w23njd .labels:where(.svelte-w23njd){display:flex;align-items:center;gap:1rem;font-size:1.25rem}#contradiction-law .demo.svelte-w23njd .labels:where(.svelte-w23njd) .blue:where(.svelte-w23njd){color:#2563eb;font-weight:600}#contradiction-law .demo.svelte-w23njd .labels:where(.svelte-w23njd) .not-blue:where(.svelte-w23njd){color:#dc2626;font-weight:600}#contradiction-law .demo.svelte-w23njd .labels:where(.svelte-w23njd) .icon:where(.svelte-w23njd){font-size:1.5rem}#contradiction-law .demo.svelte-w23njd .result:where(.svelte-w23njd){font-size:1.25rem;font-weight:500;color:#dc2626;margin:0}@keyframes svelte-w23njd-conflict-pulse{0%,to{background-position:0% 50%}50%{background-position:100% 50%}}#formalization .grid.svelte-w23njd{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:2rem;margin:2rem 0}#formalization .card.svelte-w23njd{padding:2rem;border-radius:calc(var(--radius-container) * 4);background:var(--color-surface-50)}#formalization .card.svelte-w23njd h3:where(.svelte-w23njd){margin-top:0;font-size:1.25rem}#formalization .card.svelte-w23njd p:where(.svelte-w23njd){font-size:1.125rem;margin-bottom:1rem}#formalization .formula.svelte-w23njd{background:var(--color-surface-200);padding:1.25rem 2rem;border-radius:var(--radius-container);font-family:Georgia,serif;font-size:1.25rem}#formalization .table-wrapper.svelte-w23njd{border-radius:var(--radius-container);overflow:hidden;box-shadow:0 4px 6px -1px color-mix(in oklab,var(--color-surface-950) .1,transparent)}#formalization .row.svelte-w23njd{display:grid;grid-template-columns:1fr 1fr}#formalization .row.svelte-w23njd.header{background:var(--color-surface-300);font-weight:600}#formalization .row.svelte-w23njd span:where(.svelte-w23njd){padding:.75rem 1rem;text-align:center;font-size:1rem;border-bottom:1px solid var(--color-surface-300)}#formalization .row.svelte-w23njd .true:where(.svelte-w23njd){color:var(--color-success-700);background:var(--color-success-100)}#formalization .row.svelte-w23njd .false:where(.svelte-w23njd){color:var(--color-error-700);background:var(--color-error-100)}