/*! tailwindcss v4.3.3 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-leading:initial;--tw-font-weight:initial}}}.proof-summary[data-astro-cid-63skde2i]{cursor:pointer;align-items:flex-start;gap:calc(var(--spacing,.25rem) * 3);padding-block:calc(var(--spacing,.25rem) * 2);list-style-type:none;display:flex}.proof-summary[data-astro-cid-63skde2i]::-webkit-details-marker{display:none}.proof-check[data-astro-cid-63skde2i]{margin-top:calc(var(--spacing,.25rem) * .5);width:calc(var(--spacing,.25rem) * 5);height:calc(var(--spacing,.25rem) * 5);flex-shrink:0}.proof-muted[data-astro-cid-63skde2i]{color:var(--muted-foreground)}@media (hover:hover){.proof-summary[data-astro-cid-63skde2i]:hover .proof-caret,.proof-summary[data-astro-cid-63skde2i]:hover .proof-muted[data-astro-cid-63skde2i]{color:var(--foreground)}:is(.proof-summary[data-astro-cid-63skde2i]:hover .proof-caret,.proof-summary[data-astro-cid-63skde2i]:hover .proof-muted[data-astro-cid-63skde2i]):where([data-tone=ink] *){color:var(--color-white,#fff)}}.proof-summary[data-astro-cid-63skde2i]:active .proof-caret,.proof-summary[data-astro-cid-63skde2i]:active .proof-muted[data-astro-cid-63skde2i]{color:var(--foreground)}:is(.proof-summary[data-astro-cid-63skde2i]:active .proof-caret,.proof-summary[data-astro-cid-63skde2i]:active .proof-muted[data-astro-cid-63skde2i]):where([data-tone=ink] *){color:var(--color-white,#fff)}.proof-detail[data-astro-cid-63skde2i]{padding-bottom:calc(var(--spacing,.25rem) * 3);font-size:var(--text-sm,.875rem);line-height:var(--tw-leading,var(--text-sm--line-height,calc(1.25 / .875)));--tw-leading:calc(var(--spacing,.25rem) * 6);line-height:calc(var(--spacing,.25rem) * 6);text-wrap:pretty;color:var(--muted-foreground);transition:opacity var(--transition-duration-base) var(--ease-out), translate var(--transition-duration-base) var(--ease-out)}@starting-style{.proof-detail[data-astro-cid-63skde2i]{opacity:0;translate:0 -.25rem}}@media (prefers-reduced-motion:reduce){.proof-detail[data-astro-cid-63skde2i]{transition:none}}.proof-link[data-astro-cid-63skde2i]{--tw-font-weight:var(--font-weight-medium,500);font-weight:var(--font-weight-medium,500);color:var(--foreground);text-decoration-line:underline;text-decoration-color:currentColor}@supports (color:color-mix(in lab, red, red)){.proof-link[data-astro-cid-63skde2i]{-webkit-text-decoration-color:color-mix(in oklab, currentcolor 40%, transparent);-webkit-text-decoration-color:color-mix(in oklab, currentcolor 40%, transparent);-webkit-text-decoration-color:color-mix(in oklab, currentcolor 40%, transparent);text-decoration-color:color-mix(in oklab, currentcolor 40%, transparent)}}.proof-link[data-astro-cid-63skde2i]{text-underline-offset:4px}.proof-link[data-astro-cid-63skde2i]:where([data-tone=ink] *){color:var(--color-white,#fff)}@media (hover:hover){.proof-link[data-astro-cid-63skde2i]:hover{text-decoration-color:currentColor}}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@media (width>=80rem){.related-aside-scroll{margin-top:calc(var(--spacing,.25rem) * 3)}.related-aside-scroll .link-list-row{min-height:0;padding-block:calc(var(--spacing,.25rem) * 2.5);font-size:var(--text-sm,.875rem);line-height:var(--tw-leading,var(--text-sm--line-height,calc(1.25 / .875)));--tw-leading:var(--leading-normal,1.5);line-height:var(--leading-normal,1.5);--tw-font-weight:var(--font-weight-normal,400);font-weight:var(--font-weight-normal,400)}}@media (width>=80rem) and (height>=30rem){.related-aside{--aside-top:calc(var(--rl-chrome) + calc(var(--spacing,.25rem) * 6));top:var(--aside-top);max-height:calc(100dvh - var(--aside-top) - calc(var(--spacing,.25rem) * 4));flex-direction:column;display:flex;position:sticky}.related-aside-scroll{overscroll-behavior:contain;scrollbar-width:thin;flex:1;min-height:0;overflow-y:auto}}@media (width>=80rem){.practice-article-cell{grid-row:var(--article-row)/var(--article-end)}.practice-contents-cell{align-self:stretch}}