@charset "UTF-8";.proof-examples[data-astro-cid-xepfqyqd]{--text-padding: .75rem}.proof-examples__list[data-astro-cid-xepfqyqd]{margin-block-end:2rem}.proof-examples__list[data-astro-cid-xepfqyqd] .window__wrapper{max-inline-size:100%}.proof-examples__note[data-astro-cid-xepfqyqd]{margin:0 0 var(--space-2xs);font-size:1.05rem;line-height:1.4;color:var(--color-text-subheading)}.proof-examples__cta[data-astro-cid-xepfqyqd]{--button-font-size: 1.125rem;display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:var(--space-2xs);margin-block-start:var(--space-2xs);padding-block-start:var(--space-2xs);border-block-start:var(--border-thickness) dashed var(--color-text-accent)}.proof-examples__cta-text[data-astro-cid-xepfqyqd]{color:var(--color-text-subheading);font-size:1.05rem}.proof-examples__list[data-astro-cid-xepfqyqd] .tags{display:flex;flex-wrap:wrap;list-style:none;margin:0;padding-inline-start:var(--border-thickness);padding-block-start:calc(var(--border-thickness) * 2);gap:0}.proof-examples__list[data-astro-cid-xepfqyqd] .tag__item{margin-block-start:calc(var(--border-thickness) * -1);margin-inline-start:calc(var(--border-thickness) * -1)}.proof-examples__tiles[data-astro-cid-xepfqyqd]{position:relative;--tile-tail: 20rem;min-block-size:calc(var(--tile-row-3) + var(--tile-tail));padding-block-end:4rem;--tile-row-1: 0;--tile-row-2: 16rem;--tile-row-3: 32rem}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper{position:absolute;inset-block-start:var(--block-start, auto);inset-inline-start:var(--inline-start, auto);inset-block-end:var(--block-end, auto);inset-inline-end:var(--inline-end, auto);max-inline-size:var(--max-width, 18rem);block-size:auto}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper--maximized{position:fixed;inset:0;max-inline-size:none;inline-size:100%;block-size:100%}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window,.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper--maximized .window{block-size:100%}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__body{flex:0 1 auto;min-block-size:0;block-size:auto;max-block-size:none;overflow:hidden;scrollbar-width:none}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__body::-webkit-scrollbar{display:none}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper--maximized .window__body{flex:1;block-size:100%;max-block-size:100%;overflow-y:auto;scrollbar-width:auto}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper--maximized .window__body::-webkit-scrollbar{display:initial}.proof-examples__tiles[data-astro-cid-xepfqyqd] .example-solution{display:none}.proof-examples__tiles[data-astro-cid-xepfqyqd] .example-problem,.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper--maximized .example-solution{display:block}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper:target,.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper:focus-within{--color-window-header-bg: linear-gradient( to right, var(--color-magenta-lighter), var(--color-teal-lightest) );--color-window-header-text: var(--color-violet-darker);--color-window-bg: var(--color-teal-lightest);--border-color: var(--color-magenta)}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper:target .window,.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper:focus-within .window{box-shadow:0 0 0 .25rem var(--color-magenta-lighter)}.proof-examples__tiles-overflow[data-astro-cid-xepfqyqd]{display:grid;gap:var(--space-s);margin-block-start:var(--space-l)}.proof-examples__tiles-overflow[data-astro-cid-xepfqyqd] .window__wrapper{position:static;max-inline-size:100%}.proof-examples__tile-content[data-astro-cid-xepfqyqd]{max-inline-size:100%;margin-inline:0}.proof-examples__tile-content[data-astro-cid-xepfqyqd] h2{margin-block:1.25rem .5rem;border-block-end:none}.proof-examples__tile-content[data-astro-cid-xepfqyqd] h3{margin-block:1rem .5rem}.proof-examples__tile-content[data-astro-cid-xepfqyqd] ul{list-style:disc;padding-inline-start:1.25rem;margin:.5rem 0}.proof-examples__tile-content[data-astro-cid-xepfqyqd] ul li::marker{content:"• ";color:var(--color-text-accent)}.proof-examples__tile-content[data-astro-cid-xepfqyqd] li+li{margin-block-start:.25rem}.proof-examples__tile-content[data-astro-cid-xepfqyqd] strong{font-weight:600;outline:none;background-image:none}@media (max-width: 62em){.proof-examples__tiles[data-astro-cid-xepfqyqd]{min-block-size:auto;padding-block-end:0}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__wrapper{position:static;block-size:auto;max-inline-size:100%}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__body{overflow:hidden;scrollbar-width:none}.proof-examples__tiles[data-astro-cid-xepfqyqd] .window__body::-webkit-scrollbar{display:none}.proof-examples__tiles-overflow[data-astro-cid-xepfqyqd]{margin-block-start:var(--space-m)}}