/* Generated by apps/theoremweb/scripts/build-css.sh from assets/tailwind.css. Do not edit. */
/*! 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-outline-style:solid;--tw-ease:initial}}}@layer theme{:root,:host{--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--ease-in-out:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono);--color-ring:var(--ring);--font-human:var(--font-human);--font-agent:var(--font-agent);--font-editorial:var(--font-editorial)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.static{position:static}.contents{display:contents}.resize{resize:both}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.ease-in-out{--tw-ease:var(--ease-in-out);transition-timing-function:var(--ease-in-out)}}:root{--card:var(--surface-raised);--card-foreground:var(--ink-primary);--popover:var(--surface-raised);--popover-foreground:var(--ink-primary);--radius:var(--density-radius);font-size:14px}html,body{background:var(--background);height:100%;color:var(--foreground);font-family:var(--font-human);margin:0;overflow:hidden}.dom-chrome-host{z-index:1;box-sizing:border-box;contain:layout paint;width:0;height:0;position:fixed;top:0;left:0;overflow:hidden}.dom-chrome-banner{--dc-fg:var(--dc-neutral-fg,var(--foreground));--dc-bg:var(--dc-neutral-bg,var(--background));--dc-line:var(--dc-neutral-line,var(--border));--dc-block-ceiling:240px;box-sizing:border-box;width:100%;font-family:var(--dc-font,var(--font-human));font-size:var(--dc-font-size,1rem);color:var(--dc-fg);line-height:1.4}.dom-chrome-banner[data-tone=info]{--dc-fg:var(--dc-info-fg,var(--primary));--dc-bg:var(--dc-info-bg,var(--background));--dc-line:var(--dc-info-line,var(--border))}.dom-chrome-banner[data-tone=success]{--dc-fg:var(--dc-success-fg,var(--theme-success-base));--dc-bg:var(--dc-success-bg,var(--background));--dc-line:var(--dc-success-line,var(--border))}.dom-chrome-banner[data-tone=warning]{--dc-fg:var(--dc-warning-fg,var(--theme-warning-base));--dc-bg:var(--dc-warning-bg,var(--background));--dc-line:var(--dc-warning-line,var(--border))}.dom-chrome-banner[data-tone=error]{--dc-fg:var(--dc-error-fg,var(--destructive));--dc-bg:var(--dc-error-bg,var(--background));--dc-line:var(--dc-error-line,var(--border))}.dom-chrome-banner [hidden]{display:none!important}.dom-chrome-banner__measure{box-sizing:border-box;background:var(--dc-bg);border-bottom:1px solid var(--dc-line);max-height:var(--dc-slot-ceiling,var(--dc-block-ceiling));overscroll-behavior:contain;flex-wrap:wrap;align-items:center;gap:.5rem .75rem;padding:.5rem .875rem;display:flex;overflow-y:auto}.dom-chrome-banner__icon{width:1rem;height:1rem;-webkit-mask:var(--dc-icon) center / contain no-repeat;-webkit-mask:var(--dc-icon) center / contain no-repeat;-webkit-mask:var(--dc-icon) center / contain no-repeat;mask:var(--dc-icon) center / contain no-repeat;--dc-icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'/%3E%3Cpath d='M12 16v-4M12 8h.01'/%3E%3C/svg%3E");background-color:currentColor;flex:none}.dom-chrome-banner[data-tone=success] .dom-chrome-banner__icon{--dc-icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'/%3E%3Cpath d='m9 12 2 2 4-4'/%3E%3C/svg%3E")}.dom-chrome-banner[data-tone=warning] .dom-chrome-banner__icon{--dc-icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3'/%3E%3Cpath d='M12 9v4M12 17h.01'/%3E%3C/svg%3E")}.dom-chrome-banner[data-tone=error] .dom-chrome-banner__icon{--dc-icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'/%3E%3Cpath d='m15 9-6 6M9 9l6 6'/%3E%3C/svg%3E")}.dom-chrome-banner__text{flex:min(12rem,100% - 1.75rem);min-width:0}.dom-chrome-banner__headline,.dom-chrome-banner__detail-line{overflow-wrap:anywhere;margin:0}.dom-chrome-banner__detail{color:var(--foreground);font-family:var(--font-agent);margin-top:.25rem;font-size:.9em}.dom-chrome-banner__actions{background:linear-gradient(var(--dc-bg), var(--dc-bg)), var(--dc-neutral-bg,var(--background));flex-wrap:wrap;align-items:center;gap:.375rem;margin-left:auto;display:flex;position:sticky;top:.5rem;bottom:.5rem}.dom-chrome-banner__button{box-sizing:border-box;min-width:var(--dc-target,24px);min-height:var(--dc-target,24px);border:1px solid var(--dc-outline-line,var(--input));border-radius:var(--dc-radius,var(--radius));background:var(--dc-outline-bg,var(--background));color:var(--dc-outline-fg,var(--foreground));font:inherit;cursor:pointer;white-space:nowrap;padding:0 .625rem}.dom-chrome-banner__button:hover{background:var(--dc-outline-hover,var(--accent))}.dom-chrome-banner__button:active{background:var(--dc-outline-active,var(--accent))}.dom-chrome-banner__button[data-emphasis=primary]{border-color:var(--dc-primary-line,var(--primary));background:var(--dc-primary-bg,var(--primary));color:var(--dc-primary-fg,var(--primary-foreground))}.dom-chrome-banner__button[data-emphasis=primary]:hover{background:var(--dc-primary-hover,var(--primary))}.dom-chrome-banner__button[data-emphasis=primary]:active{background:var(--dc-primary-active,var(--primary))}.dom-chrome-banner__button[data-emphasis=ghost],.dom-chrome-banner__button[data-emphasis=dismiss]{color:var(--dc-ghost-fg,var(--secondary-foreground));background:0 0;border-color:#0000}.dom-chrome-banner__button[data-emphasis=ghost]:hover,.dom-chrome-banner__button[data-emphasis=dismiss]:hover{background:var(--dc-ghost-hover,var(--accent));color:var(--dc-ghost-hover-fg,var(--accent-foreground))}.dom-chrome-banner__button[data-emphasis=ghost]:active,.dom-chrome-banner__button[data-emphasis=dismiss]:active{background:var(--dc-ghost-active,var(--accent))}.dom-chrome-banner__button:focus-visible{outline:2px solid var(--dc-ring,var(--ring));outline-offset:1px}@media (prefers-reduced-motion:no-preference){.dom-chrome-banner__button{transition:background-color .12s ease-out,color .12s ease-out}}.dom-chrome-dock-host{z-index:1;pointer-events:none;contain:layout paint;position:fixed;inset:0}.dom-chrome-dock{position:absolute;inset:0}.dom-chrome-dock [hidden]{display:none!important}.dom-chrome-dock__separator{--dc-pill-length:20px;--dc-pill-opacity:0;box-sizing:border-box;pointer-events:auto;touch-action:none;outline:none;justify-content:center;align-items:center;display:flex;position:absolute}.dom-chrome-dock__separator[data-axis=vertical]{cursor:col-resize}.dom-chrome-dock__separator[data-axis=horizontal]{cursor:row-resize}.dom-chrome-dock__separator:hover{--dc-pill-opacity:.35}.dom-chrome-dock__separator:active{--dc-pill-length:28px;--dc-pill-opacity:.6}.dom-chrome-dock__separator[data-state=dragging]{--dc-pill-length:44px;--dc-pill-opacity:.9}.dom-chrome-dock__separator:focus-visible{--dc-pill-opacity:.6;box-shadow:inset 0 0 0 2px var(--dc-ring,var(--ring));border-radius:2px}.dom-chrome-dock__indicator{background-color:var(--dc-muted-fg,var(--muted-foreground));opacity:var(--dc-pill-opacity);border-radius:9999px;flex:none}.dom-chrome-dock__separator[data-axis=vertical] .dom-chrome-dock__indicator{width:3px;height:var(--dc-pill-length)}.dom-chrome-dock__separator[data-axis=horizontal] .dom-chrome-dock__indicator{width:var(--dc-pill-length);height:3px}.dom-chrome-dock__toggle{box-sizing:border-box;pointer-events:auto;border-radius:var(--dc-radius,6px);color:var(--dc-ghost-fg,var(--foreground));cursor:pointer;background:0 0;border:0;justify-content:center;align-items:center;margin:0;padding:0;display:flex;position:absolute}.dom-chrome-dock__toggle:hover{background-color:var(--dc-ghost-hover,var(--accent));color:var(--dc-ghost-hover-fg,var(--accent-foreground))}.dom-chrome-dock__toggle:active{background-color:var(--dc-ghost-active,var(--accent))}.dom-chrome-dock__toggle:focus-visible{outline:2px solid var(--dc-ring,var(--ring));outline-offset:1px}.dom-chrome-dock__glyph{width:18px;height:18px;-webkit-mask:var(--dc-toggle-glyph) center / contain no-repeat;-webkit-mask:var(--dc-toggle-glyph) center / contain no-repeat;-webkit-mask:var(--dc-toggle-glyph) center / contain no-repeat;mask:var(--dc-toggle-glyph) center / contain no-repeat;--dc-toggle-glyph:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect width='18' height='18' x='3' y='3' rx='2'/%3E%3Cpath d='M9 3v18'/%3E%3Cpath d='m16 15-3-3 3-3'/%3E%3C/svg%3E");background-color:currentColor}.dom-chrome-dock__toggle[data-expanded=false] .dom-chrome-dock__glyph{--dc-toggle-glyph:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect width='18' height='18' x='3' y='3' rx='2'/%3E%3Cpath d='M9 3v18'/%3E%3Cpath d='m14 9 3 3-3 3'/%3E%3C/svg%3E")}@media (prefers-reduced-motion:no-preference){.dom-chrome-dock__indicator{transition:width .12s ease-out,height .12s ease-out,opacity .12s ease-out}.dom-chrome-dock__toggle{transition:background-color .12s ease-out,color .12s ease-out}}.dom-chrome-draft-host{z-index:12;pointer-events:none;position:fixed}#theorem-composer-editing{width:100%;height:100%}#theorem-composer-island{box-sizing:border-box;resize:none;pointer-events:auto;width:100%;height:100%;min-height:36px;font-family:var(--dc-font,var(--font-human));font-size:var(--dc-composer-font-size,16px);line-height:var(--dc-composer-line-height,22px);font-weight:var(--dc-composer-font-weight,450);color:var(--dc-composer-ink,var(--foreground));background:0 0;border:0;outline:0;padding:0;overflow:auto}.dom-chrome-composer-host{pointer-events:none;z-index:12;position:fixed}.dom-chrome-composer__controls{box-sizing:border-box;width:100%;height:100%;color:var(--dc-composer-ink,var(--foreground));background:var(--dc-composer-surface,var(--background));font-family:var(--dc-font,var(--font-human));pointer-events:auto;font-size:13px;position:relative}.dom-chrome-composer__row{box-sizing:border-box;align-items:center;gap:4px;width:100%;height:100%;padding:0 8px;display:flex;overflow:auto hidden}.dom-chrome-composer__catalog{z-index:2;box-sizing:border-box;overscroll-behavior:contain;border:1px solid var(--dc-composer-edge,var(--border));background:var(--dc-composer-surface,var(--background));border-radius:8px;flex-direction:column;align-items:stretch;gap:2px;width:min(100%,420px);max-height:min(60dvh,480px);padding:4px;display:flex;position:absolute;bottom:100%;left:0;overflow-y:auto}.dom-chrome-composer__catalog .dom-chrome-composer__control,.dom-chrome-composer__catalog .dom-chrome-composer__button{text-align:left;width:100%}.dom-chrome-composer__controls [hidden]{display:none!important}.dom-chrome-composer__control{flex:none;align-items:center;display:flex}.dom-chrome-composer__button{box-sizing:border-box;min-width:var(--dc-target,24px);min-height:var(--dc-target,24px);color:inherit;font:inherit;white-space:nowrap;cursor:pointer;background:0 0;border:0;border-radius:8px;padding:4px 8px}.dom-chrome-composer__button:hover{background:var(--dc-ghost-hover,var(--accent))}.dom-chrome-composer__button[aria-checked=true]{color:var(--dc-primary-bg,var(--primary));background:var(--dc-ghost-hover,var(--accent))}.dom-chrome-composer__button[aria-disabled=true]{color:var(--dc-composer-muted,var(--muted-foreground));cursor:default}.dom-chrome-composer__button[aria-busy=true]{opacity:.65}.dom-chrome-composer__button[data-state=failed]{box-shadow:inset 0 0 0 1px var(--dc-error-fg,var(--destructive))}.dom-chrome-composer__button[data-primary=true]:not([aria-disabled=true]){background:var(--dc-primary-bg,var(--primary));color:var(--dc-primary-fg,var(--primary-foreground))}.dom-chrome-composer__button:focus-visible{outline:2px solid var(--dc-ring,var(--ring));outline-offset:-2px}.dom-chrome-composer__reason{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}@media (pointer:coarse){.dom-chrome-composer__button{min-width:44px;min-height:44px}}.dom-chrome-navigation-host{z-index:1;pointer-events:none;contain:layout paint;position:fixed;inset:0}.dom-chrome-navigation{pointer-events:none;position:absolute;inset:0}.dom-chrome-navigation [hidden]{display:none!important}.dom-chrome-navigation__entry,.dom-chrome-navigation__search,.dom-chrome-navigation__attach{box-sizing:border-box;pointer-events:auto;color:var(--dc-fg,var(--foreground));font-family:var(--font-human,Manrope,sans-serif);background:0 0;border:0;border-radius:8px;outline:none;font-size:13px;line-height:18px;position:absolute}.dom-chrome-navigation__entry{text-align:left;cursor:pointer;align-items:center;gap:6px;padding:4px 8px;text-decoration:none;display:flex;overflow:hidden}.dom-chrome-navigation__entry.is-rail{text-align:center;flex-direction:column;justify-content:center;gap:2px;font-size:10px;line-height:14px}.dom-chrome-navigation__entry:hover,.dom-chrome-navigation__attach:hover{background:var(--dc-ghost-hover,var(--accent))}.dom-chrome-navigation__entry[aria-current=page],.dom-chrome-navigation__entry[aria-pressed=true]{background:var(--dc-ghost-hover,var(--accent));font-weight:600}.dom-chrome-navigation__entry:disabled,.dom-chrome-navigation__entry[aria-disabled=true]{opacity:.6;cursor:default}.dom-chrome-navigation__entry:focus-visible,.dom-chrome-navigation__search:focus-visible,.dom-chrome-navigation__attach:focus-visible{box-shadow:inset 0 0 0 2px var(--dc-ring,var(--ring))}.dom-chrome-navigation__text{flex-direction:column;flex:1;justify-content:center;min-width:0;display:flex}.dom-chrome-navigation__text>span{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.dom-chrome-navigation__text>small{text-overflow:ellipsis;white-space:nowrap;color:var(--dc-muted-fg,var(--muted-foreground));font-size:10.5px;line-height:15px;overflow:hidden}.dom-chrome-navigation__icon{background:currentColor;flex:none;width:18px;height:18px;-webkit-mask-position:50%;mask-position:50%;-webkit-mask-size:contain;mask-size:contain;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.dom-chrome-navigation__entry.is-rail .dom-chrome-navigation__icon{width:20px;height:20px}.dom-chrome-navigation__search{background:var(--dc-ghost-hover,var(--accent));padding:4px 8px}.dom-chrome-navigation__search-label{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.dom-chrome-navigation__attach{cursor:pointer;justify-content:center;align-items:center;font-size:20px;display:flex}.dom-chrome-navigation__entry.is-header{justify-content:center;align-items:center;gap:6px;font-size:13px;line-height:18px}.dom-chrome-navigation__entry.is-header .dom-chrome-navigation__icon:only-child{width:18px;height:18px}.dom-chrome-navigation__reason{z-index:20;background:var(--dc-neutral-bg);max-width:260px;color:var(--dc-neutral-fg);white-space:normal;box-shadow:var(--dc-tooltip-shadow);border-radius:6px;padding:6px 8px;display:none;position:fixed}.dom-chrome-navigation__entry:focus-visible .dom-chrome-navigation__reason:not(:empty),.dom-chrome-navigation__entry:hover .dom-chrome-navigation__reason:not(:empty){display:block}.dom-chrome-recovery{z-index:1000;color:canvastext;background:canvas;border:1px solid;border-radius:10px;max-width:28rem;padding:16px;position:fixed;inset:16px 16px auto auto}.dom-chrome-recovery a{color:linktext;text-decoration:underline}.dom-chrome-navigation__entry{color:var(--dc-nav-fg,var(--foreground))}.dom-chrome-navigation__entry .dom-chrome-navigation__text>small{color:var(--dc-nav-muted,var(--muted-foreground))}.dom-chrome-navigation__entry.is-header{color:var(--dc-title-fg,var(--foreground))}.dom-chrome-navigation__entry.is-header:hover{background:var(--dc-title-hover,var(--accent))}.dom-chrome-navigation__entry.is-header:focus-visible{box-shadow:inset 0 0 0 2px var(--dc-title-focus,var(--ring))}.dom-chrome-navigation__reason{pointer-events:none;display:block;position:absolute}.dom-chrome-navigation__entry.is-header{padding:3px}.dom-chrome-navigation__entry[data-icon-only=true] .dom-chrome-navigation__text,#theorem-page-surfaces[hidden]{display:none}.dom-chrome-navigation__entry.is-surface{box-sizing:border-box;border:1px solid var(--dc-border,var(--border));color:var(--dc-title-fg,var(--foreground));cursor:grab;border-radius:6px;justify-content:center;align-items:center;padding:2px 8px;font-size:13px;line-height:18px}.dom-chrome-navigation__entry.is-surface[role=tab]{cursor:pointer}.dom-chrome-navigation__entry.is-surface[aria-pressed=true],.dom-chrome-navigation__entry.is-surface[aria-selected=true]{border-color:var(--dc-primary-bg,var(--primary));font-weight:inherit;background:0 0}.dom-chrome-navigation__entry.is-surface:hover{background:var(--dc-title-hover,var(--accent))}.dom-chrome-navigation__entry.is-surface:focus-visible{box-shadow:inset 0 0 0 2px var(--dc-title-focus,var(--ring))}.dom-chrome-navigation__reason{max-width:min(260px,100vw - 16px)}.dom-chrome-navigation__entry.is-chip{color:var(--dc-chip-ink);border-radius:6px;gap:6px;padding-right:9px;font-size:12px;line-height:16px}.dom-chrome-navigation__entry.is-chip[aria-pressed=true]{background:var(--dc-chip-ground);color:var(--dc-chip-active-ink);font-weight:inherit}.dom-chrome-navigation__entry.is-chip .dom-chrome-navigation__icon{width:6px;height:6px}.dom-chrome-navigation__entry.is-chip .dom-chrome-navigation__text{flex-direction:row;flex:none;align-items:center;gap:6px}.dom-chrome-delegated{box-sizing:border-box;align-items:center;gap:var(--dc-d-gap,6px);padding:0 9px 0 var(--dc-d-pad,0px);border-radius:var(--dc-d-radius,0px);color:var(--dc-d-ink,var(--dc-nav-fg,var(--foreground)));font-family:var(--dc-d-font,var(--dc-font,inherit));font-size:var(--dc-d-size,13px);line-height:var(--dc-d-line,18px);font-weight:var(--dc-d-weight,450);text-align:left;white-space:nowrap;pointer-events:auto;cursor:pointer;-webkit-tap-highlight-color:transparent;background:0 0;border:1px solid #0000;margin:0;display:flex;position:absolute;overflow:hidden}.dom-chrome-delegated:hover{background:var(--dc-d-hover,transparent)}.dom-chrome-delegated[aria-current=true]{background:var(--dc-d-wash,transparent);border-color:var(--dc-d-edge,transparent)}.dom-chrome-delegated:focus-visible{box-shadow:inset 0 0 0 2px var(--dc-ring,var(--ring));outline:none}.dom-chrome-delegated[aria-disabled=true]{opacity:.6;cursor:default}.dom-chrome-delegated.is-disabled-inked[aria-disabled=true]{opacity:1}.dom-chrome-delegated.is-disabled-inked[aria-disabled=true]:hover{filter:none;background:0 0}.dom-chrome-delegated.is-primary.is-disabled-inked[aria-disabled=true],.dom-chrome-delegated.is-primary.is-disabled-inked[aria-disabled=true]:hover{background:var(--dc-d-wash,var(--dc-primary-bg,var(--primary)));border-color:var(--dc-d-edge,transparent);color:var(--dc-d-ink,var(--dc-primary-fg,var(--primary-foreground)));filter:none}.dom-chrome-delegated.is-center{padding-right:var(--dc-d-pad,0px);justify-content:center}.dom-chrome-delegated.is-icon-only{z-index:1;justify-content:center;padding:0}.dom-chrome-delegated.is-icon-only .dom-chrome-delegated__caption{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.dom-chrome-delegated.is-primary{background:var(--dc-primary-bg,var(--primary));color:var(--dc-primary-fg,var(--primary-foreground));justify-content:center;padding:0 8px}.dom-chrome-delegated.is-primary:hover{background:var(--dc-primary-bg,var(--primary));filter:brightness(1.08)}.dom-chrome-delegated.is-note,.dom-chrome-delegated.is-status{cursor:default;pointer-events:none}.dom-chrome-delegated.is-header{padding-right:var(--dc-d-pad,0px);border-width:0}.dom-chrome-delegated.is-note{border-width:0;padding-right:0}.dom-chrome-delegated.is-filled{background:var(--dc-d-wash)}.dom-chrome-delegated.is-field{cursor:text;border-color:var(--dc-d-edge,var(--dc-border,var(--border)));color:var(--dc-d-ink,inherit);background:0 0;padding:0 8px}.dom-chrome-delegated.is-field::placeholder{color:var(--dc-d-meta,var(--dc-nav-muted,var(--muted-foreground)));opacity:1}.dom-chrome-delegated.is-field:focus-visible{box-shadow:inset 0 0 0 2px var(--dc-ring,var(--ring))}.dom-chrome-delegated.is-status{white-space:nowrap;flex-direction:column;justify-content:flex-start;align-items:stretch;gap:2px;padding:0}.dom-chrome-delegated__label{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.dom-chrome-delegated__icon{width:var(--dc-d-icon-size,14px);height:var(--dc-d-icon-size,14px);background:var(--dc-d-icon,currentColor);flex:none;-webkit-mask-position:50%;mask-position:50%;-webkit-mask-size:contain;mask-size:contain;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.dom-chrome-delegated__caption{text-overflow:ellipsis;min-width:0;overflow:hidden}.dom-chrome-delegated__detail{text-overflow:ellipsis;max-width:96px;font-family:var(--dc-d-detail-font,inherit);color:var(--dc-d-meta,var(--dc-nav-muted,var(--muted-foreground)));flex:none;font-size:11px;font-weight:450;line-height:16px;overflow:hidden}.dom-chrome-delegated__badge{background:var(--dc-d-badge);border-radius:999px;flex:none;width:6px;height:6px}.dom-chrome-delegated__line{min-height:24px;color:var(--dc-d-ink,inherit);flex-direction:column;justify-content:center;gap:4px;display:flex}.dom-chrome-delegated__line-head{align-items:center;gap:8px;min-width:0;font-size:12px;line-height:16px;display:flex}.dom-chrome-delegated__line-head .dom-chrome-delegated__icon{width:13px;height:13px}.dom-chrome-delegated__line-head .dom-chrome-delegated__caption{flex:1}.dom-chrome-delegated__bar{background:var(--dc-d-bar,var(--dc-d-meta,currentColor));border-radius:2px;height:4px;margin-left:21px;display:block;overflow:hidden}@supports (color:color-mix(in lab, red, red)){.dom-chrome-delegated__bar{background:color-mix(in srgb, var(--dc-d-bar,var(--dc-d-meta,currentColor)) 22%, transparent)}}.dom-chrome-delegated__bar>span{border-radius:inherit;background:var(--dc-d-bar,var(--dc-d-meta,currentColor));height:100%;display:block}.dom-chrome-delegated__ring{background:conic-gradient(var(--dc-d-bar,currentColor) var(--dc-d-ring,0%), var(--dc-d-bar,currentColor) 0);border-radius:50%;flex:none;width:12px;height:12px}@supports (color:color-mix(in lab, red, red)){.dom-chrome-delegated__ring{background:conic-gradient(var(--dc-d-bar,currentColor) var(--dc-d-ring,0%), color-mix(in srgb, var(--dc-d-bar,currentColor) 22%, transparent) 0)}}.dom-chrome-delegated__ring{-webkit-mask:radial-gradient(circle,#0000 3.5px,#000 4px);mask:radial-gradient(circle,#0000 3.5px,#000 4px)}.dom-chrome-delegated.is-band{align-items:center;gap:var(--dc-d-gap);padding:0 var(--dc-d-pad);background:0 0;border-width:0;flex-direction:row}.dom-chrome-delegated.is-band .dom-chrome-delegated__line{align-items:center;gap:calc(var(--dc-d-gap) / 2);flex-direction:row;flex:none;min-height:0}.dom-chrome-delegated.is-band .dom-chrome-delegated__line.is-trailing{margin-left:auto}.dom-chrome-delegated.is-band .dom-chrome-delegated__line-head{gap:calc(var(--dc-d-gap) / 2);font-size:inherit;line-height:inherit}.dom-chrome-delegated.is-band .dom-chrome-delegated__icon{width:12px;height:12px}.dom-chrome-delegated.is-band .dom-chrome-delegated__caption{overflow:visible}.dom-chrome-delegated.is-band .dom-chrome-delegated__bar{order:-1;width:56px;margin-left:0}@media (prefers-reduced-motion:no-preference){.dom-chrome-delegated{transition:background-color .12s,border-color .12s}}.dom-chrome-navigation__disc{border-radius:9999px;flex:none;justify-content:center;align-items:center;font-weight:600;display:flex;overflow:hidden}.dom-chrome-navigation__entry.is-chip .dom-chrome-navigation__text>small{color:var(--dc-chip-count-ink);font-family:JetBrains Mono,monospace;font-size:11px;font-weight:400;line-height:16px}.dom-chrome-navigation__entry.is-chip[aria-pressed=true] .dom-chrome-navigation__text>small{color:var(--dc-chip-active-ink)}.dom-chrome-navigation__entry.is-header.has-look{gap:var(--dc-look-gap,6px);padding:0 var(--dc-look-pad-r,0px) 0 var(--dc-look-pad-l,0px);border-radius:var(--dc-look-radius,8px);background:var(--dc-look-ground,transparent);box-shadow:inset 0 0 0 1px var(--dc-look-edge,transparent);color:var(--dc-look-ink,var(--dc-title-fg,var(--foreground)));font-family:var(--dc-look-font,var(--font-human,Manrope,sans-serif));font-size:var(--dc-look-size,13px);line-height:var(--dc-look-line,18px);font-weight:var(--dc-look-weight,inherit)}.dom-chrome-navigation__entry.is-header.has-look:hover{background:var(--dc-look-hover,var(--dc-look-ground,transparent));box-shadow:inset 0 0 0 1px var(--dc-look-hover-edge,var(--dc-look-edge,transparent))}.dom-chrome-navigation__entry.is-header.has-look[aria-pressed=true]{background:var(--dc-look-hover,var(--dc-title-hover,var(--accent)));font-weight:var(--dc-look-weight,inherit)}.dom-chrome-navigation__entry.is-header.has-look:hover .dom-chrome-navigation__icon{background:var(--dc-look-icon-hover-ink,var(--dc-look-icon-ink,currentColor))}.dom-chrome-navigation__entry.is-header.has-look:focus-visible{box-shadow:inset 0 0 0 2px var(--dc-title-focus,var(--ring))}.dom-chrome-navigation__entry.is-header.has-look.is-start{justify-content:flex-start}.dom-chrome-navigation__entry.has-look .dom-chrome-navigation__icon{width:var(--dc-look-icon-size,18px);height:var(--dc-look-icon-size,18px);background:var(--dc-look-icon-ink,currentColor);position:relative;-webkit-mask-position:50%;-webkit-mask-size:contain;-webkit-mask-repeat:no-repeat}.dom-chrome-navigation__entry.has-look .dom-chrome-navigation__text{flex:0 auto}.dom-chrome-navigation__entry.has-look.is-stretch .dom-chrome-navigation__text{flex:auto}.dom-chrome-navigation__entry.has-look .dom-chrome-navigation__text>span{align-items:center;gap:var(--dc-look-gap,6px);display:flex}.dom-chrome-navigation__segment{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.dom-chrome-navigation__segment+.dom-chrome-navigation__segment{flex:none}.dom-chrome-navigation__chord{box-sizing:border-box;flex:none;justify-content:center;align-items:center;font-style:normal;display:inline-flex}.dom-chrome-navigation__trail{flex:none;-webkit-mask-position:50%;mask-position:50%;-webkit-mask-size:contain;mask-size:contain;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.dom-chrome-navigation__plate{pointer-events:none;border-radius:9999px;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.dom-chrome-navigation__dot{pointer-events:none;border-radius:9999px;position:absolute}.dom-chrome-navigation__face{display:contents}.dom-chrome-navigation__badge{display:none}.dom-chrome-navigation__entry.has-face{gap:var(--dc-look-gap,2px);padding:0 var(--dc-look-pad-r,2px) 0 var(--dc-look-pad-l,2px);color:var(--dc-look-ink,var(--dc-nav-fg,var(--foreground)));font-family:var(--dc-look-font,var(--font-human,Manrope,sans-serif));font-size:var(--dc-look-size,10.5px);line-height:var(--dc-look-line,13px);font-weight:var(--dc-look-weight,400);overflow:visible}.dom-chrome-navigation__entry.has-face,.dom-chrome-navigation__entry.has-face:hover,.dom-chrome-navigation__entry.has-face[aria-current=page],.dom-chrome-navigation__entry.has-face[aria-pressed=true],.dom-chrome-navigation__entry.has-face:focus-visible{box-shadow:none;background:0 0}.dom-chrome-navigation__entry.has-face[aria-current=page],.dom-chrome-navigation__entry.has-face[aria-pressed=true]{font-weight:var(--dc-look-weight,600)}.dom-chrome-navigation__entry.has-face .dom-chrome-navigation__face{box-sizing:border-box;width:var(--dc-face-size,36px);height:var(--dc-face-size,36px);border-radius:var(--dc-face-radius,8px);background:var(--dc-face-ground,transparent);box-shadow:inset 0 0 0 var(--dc-face-edge-w,1px) var(--dc-face-edge,transparent);flex:none;justify-content:center;align-items:center;display:flex;position:relative}.dom-chrome-navigation__entry.has-face:hover .dom-chrome-navigation__face{background:var(--dc-face-hover,var(--dc-face-ground,transparent));box-shadow:inset 0 0 0 var(--dc-face-edge-w,1px) var(--dc-face-hover-edge,var(--dc-face-edge,transparent)), var(--dc-face-lift,0 0 #0000)}.dom-chrome-navigation__entry.has-face:hover .dom-chrome-navigation__icon{background:var(--dc-look-icon-hover-ink,var(--dc-look-icon-ink,currentColor))}.dom-chrome-navigation__entry.has-face:not([aria-current=page]):not([aria-pressed=true]):active .dom-chrome-navigation__face{background:var(--dc-face-pressed,var(--dc-face-hover,transparent));box-shadow:inset 0 0 0 var(--dc-face-edge-w,1px) var(--dc-face-hover-edge,var(--dc-face-edge,transparent))}.dom-chrome-navigation__entry.has-face:focus-visible .dom-chrome-navigation__face{outline:var(--dc-face-focus-w,2px) solid var(--dc-face-focus,var(--ring));outline-offset:var(--dc-face-focus-gap,2px)}.dom-chrome-navigation__entry.has-face .dom-chrome-navigation__text{flex:none;align-items:center;max-width:100%}.dom-chrome-navigation__entry.has-face .dom-chrome-navigation__text>small{display:none}.dom-chrome-navigation__entry.has-face .dom-chrome-navigation__badge{box-sizing:border-box;background:var(--dc-primary-bg,var(--primary));min-width:16px;height:16px;color:var(--dc-primary-fg,var(--primary-foreground));border-radius:9999px;justify-content:center;align-items:center;padding:0 3px;font-size:10px;font-weight:400;line-height:16px;display:flex;position:absolute;top:-3px;right:-3px}.dom-chrome-composer-context-host{z-index:12;pointer-events:none;position:fixed}.dom-chrome-composer-context-host[hidden]{display:none!important}.dom-chrome-composer__context{box-sizing:border-box;overscroll-behavior:contain;width:100%;height:100%;color:var(--dc-composer-ink,var(--foreground));background:var(--dc-composer-surface,var(--background));font-family:var(--dc-font,var(--font-human));pointer-events:auto;flex-direction:column;gap:4px;font-size:12px;display:flex;overflow:auto}.dom-chrome-composer__context-item{flex:none;align-items:center;gap:8px;min-width:0;display:flex}.dom-chrome-composer__context-text{flex-direction:column;flex:1;min-width:0;display:flex}.dom-chrome-composer__context-text span{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.dom-chrome-composer__context-text small{color:var(--dc-composer-muted,var(--muted-foreground))}.dom-chrome-composer-changes-host{z-index:12;pointer-events:none;position:fixed}.dom-chrome-composer-changes-host[hidden]{display:none!important}.dom-chrome-composer__changes{box-sizing:border-box;background:var(--dc-changes-fill,var(--muted));width:100%;height:100%;color:var(--dc-changes-ink,var(--foreground));font-family:var(--dc-font,var(--font-human));pointer-events:auto;border-radius:8px;align-items:center;gap:8px;padding:0 5px 0 12px;font-size:12px;line-height:16px;display:flex;overflow:hidden}.dom-chrome-composer__changes-mark{background:var(--dc-changes-muted,currentColor);width:14px;height:14px;-webkit-mask:var(--dc-changes-mark) center/contain no-repeat;-webkit-mask:var(--dc-changes-mark) center/contain no-repeat;-webkit-mask:var(--dc-changes-mark) center/contain no-repeat;mask:var(--dc-changes-mark) center/contain no-repeat;flex:none}.dom-chrome-composer__changes-files{white-space:nowrap;flex:none;font-weight:600}.dom-chrome-composer__changes-added,.dom-chrome-composer__changes-removed{font-family:var(--dc-changes-code-font,ui-monospace,monospace);font-variant-numeric:tabular-nums;flex:none}.dom-chrome-composer__changes-added{color:var(--dc-changes-added,green)}.dom-chrome-composer__changes-removed{color:var(--dc-changes-removed,var(--destructive))}.dom-chrome-composer__changes-spacer{flex:1;min-width:0}.dom-chrome-composer__changes-button{box-sizing:border-box;min-width:24px;height:24px;color:inherit;font:inherit;white-space:nowrap;cursor:pointer;background:0 0;border:0;border-radius:6px;flex:none;align-items:center;gap:6px;padding:0 8px;display:inline-flex;position:relative}.dom-chrome-composer__changes-button:hover{background:var(--dc-ghost-hover,var(--accent))}.dom-chrome-composer__changes-button[data-primary=true]{background:var(--dc-changes-action,var(--foreground));color:var(--dc-changes-on-action,var(--background))}.dom-chrome-composer__changes-button[data-primary=true]:hover{background:var(--dc-changes-action-hover,var(--foreground))}.dom-chrome-composer__changes-button[data-primary=true]:active{background:var(--dc-changes-action-active,var(--foreground))}.dom-chrome-composer__changes-button[aria-disabled=true]{opacity:.5;cursor:default}.dom-chrome-composer__changes-button:focus-visible{outline:2px solid var(--dc-ring,var(--ring));outline-offset:1px}.dom-chrome-composer__changes-hint{color:var(--dc-changes-hint,currentColor);font-variant-numeric:tabular-nums;font-size:11px}@media (pointer:coarse){.dom-chrome-composer__changes-button:after{content:"";position:absolute;inset:-10px 0}}.dom-chrome-composer__paper{z-index:0;pointer-events:none;left:var(--dc-card-left);top:var(--dc-card-top);width:var(--dc-card-width);height:var(--dc-card-height);border-radius:var(--dc-composer-radius);position:fixed}.dom-chrome-composer__paper-surface{box-sizing:border-box;border-radius:inherit;background:var(--dc-composer-surface);border:var(--dc-composer-border);box-shadow:var(--dc-composer-shadow);position:absolute;inset:0}.dom-chrome-composer__grain{border-radius:inherit;background-image:var(--dc-composer-grain);opacity:var(--dc-composer-grain-opacity);background-position:0 100%;background-size:256px 256px;position:absolute;inset:0}.dom-chrome-composer__light-face,.dom-chrome-composer__light-edge{background-image:var(--dc-composer-light-mask);background-size:calc(2 * var(--dc-composer-light-radius)) calc(2 * var(--dc-composer-light-radius));background-position:calc(var(--dc-composer-light-x) - var(--dc-card-left) - var(--dc-composer-light-radius)) calc(var(--dc-composer-light-y) - var(--dc-card-top) - var(--dc-composer-light-radius));background-repeat:no-repeat;position:absolute;inset:0}.dom-chrome-composer__light-face{opacity:var(--dc-composer-light-face)}.dom-chrome-composer__light-edge{opacity:var(--dc-composer-light-edge);clip-path:polygon(evenodd,0 0,100% 0,100% 100%,0 100%,0 0,var(--dc-composer-border-width) var(--dc-composer-border-width),var(--dc-composer-border-width) calc(100% - var(--dc-composer-border-width)),calc(100% - var(--dc-composer-border-width)) calc(100% - var(--dc-composer-border-width)),calc(100% - var(--dc-composer-border-width)) var(--dc-composer-border-width),var(--dc-composer-border-width) var(--dc-composer-border-width))}#dom-chrome-draft-root[data-editor-focused=true] .dom-chrome-composer__paper:after{content:"";border:2px solid var(--dc-composer-muted);border-radius:calc(var(--dc-composer-radius) + 4px);position:absolute;inset:-4px}#theorem-composer-island{z-index:1;position:relative}.dom-chrome-composer-host,.dom-chrome-composer-context-host,.dom-chrome-composer-changes-host{z-index:2}.dom-chrome-composer__controls,.dom-chrome-composer__context{background:0 0}.dom-chrome-composer__trigger{z-index:3;box-sizing:border-box;left:calc(var(--dc-card-left) + var(--dc-trigger-inset));top:calc(var(--dc-card-top) + var(--dc-card-height) - var(--dc-trigger-from-bottom));width:calc(var(--dc-card-width) - 2 * var(--dc-trigger-inset));overscroll-behavior:contain;border:1px solid var(--dc-composer-edge);background:var(--dc-bg-base,var(--background));border-radius:8px;max-height:192px;padding:4px;position:fixed;overflow:auto;transform:translateY(-100%)}.dom-chrome-composer__trigger .dom-chrome-composer__control,.dom-chrome-composer__trigger .dom-chrome-composer__button{text-align:left;width:100%}.dom-chrome-composer__trigger .dom-chrome-composer__button[data-state=highlighted]{background:var(--dc-ghost-hover,var(--accent))}.dom-chrome-composer__row{justify-content:space-between;gap:var(--dc-composer-control-gap);padding:0 var(--dc-composer-inline-inset);overflow:visible}.dom-chrome-composer__leading,.dom-chrome-composer__trailing{align-items:center;gap:var(--dc-composer-control-gap);min-width:0;height:var(--dc-composer-control-height);flex:none;display:flex}.dom-chrome-composer__row[data-wrapped=true]{align-items:stretch;gap:var(--dc-composer-row-gap);flex-direction:column}.dom-chrome-composer__row[data-wrapped=true] .dom-chrome-composer__leading{align-self:flex-start}.dom-chrome-composer__row[data-wrapped=true] .dom-chrome-composer__trailing{align-self:flex-end}.dom-chrome-composer__glyph{width:var(--dc-composer-icon-size);height:var(--dc-composer-icon-size);-webkit-mask-image:var(--dc-control-glyph);-webkit-mask-image:var(--dc-control-glyph);mask-image:var(--dc-control-glyph);background:currentColor;flex:none;display:inline-block;-webkit-mask-position:50%;mask-position:50%;-webkit-mask-size:contain;mask-size:contain;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.dom-chrome-composer__glyph[hidden]{display:none}.dom-chrome-composer__button{border-radius:var(--dc-composer-control-radius);height:var(--dc-composer-control-height);justify-content:center;align-items:center;gap:8px;display:flex}.dom-chrome-composer__row .dom-chrome-composer__button[data-has-glyph=true]{width:var(--dc-composer-control-height);min-width:var(--dc-composer-control-height);padding:0}.dom-chrome-composer__row .dom-chrome-composer__button[data-has-glyph=true] .dom-chrome-composer__control-label{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.dom-chrome-composer__catalog .dom-chrome-composer__button,.dom-chrome-composer__trigger .dom-chrome-composer__button{justify-content:flex-start}.dom-chrome-composer__status{color:var(--dc-composer-muted);font-variant-numeric:tabular-nums;white-space:nowrap;flex:none}.dom-chrome-overlays{z-index:13;pointer-events:none;font:var(--dc-overlay-font-sm)/var(--dc-overlay-line-sm) var(--dc-font);position:fixed;inset:0}.dom-chrome-overlays__menu{pointer-events:auto;box-sizing:border-box;border-radius:var(--dc-radius);background:var(--dc-popover-bg);color:var(--dc-popover-fg);box-shadow:var(--dc-popover-shadow);border:0;position:fixed;overflow:hidden}.dom-chrome-overlays__menu[hidden]{display:none}.dom-chrome-overlays__row,.dom-chrome-overlays__label,.dom-chrome-overlays__separator{box-sizing:border-box;position:absolute}.dom-chrome-overlays__row{border-radius:calc(var(--dc-radius) / 2);color:inherit;text-align:left;font:inherit;background:0 0;border:0;align-items:center;gap:4px;margin:0;padding:4px 8px;display:flex}.dom-chrome-overlays__row.is-selected,.dom-chrome-overlays__row:hover{background:var(--dc-ghost-hover);color:var(--dc-ghost-hover-fg)}.dom-chrome-overlays__row[aria-disabled=true]{color:var(--dc-muted-fg);background:0 0}.dom-chrome-overlays__row:focus-visible{outline:2px solid var(--dc-ring);outline-offset:-2px}.dom-chrome-overlays__icon{background:currentColor;flex:0 0 12px;width:12px;height:12px;-webkit-mask-size:contain;mask-size:contain;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.dom-chrome-overlays__name{flex:auto}.dom-chrome-overlays__description{color:var(--dc-muted-fg);font-size:.875em}.dom-chrome-overlays__row kbd{color:var(--dc-muted-fg);font:inherit;font-size:.875em}.dom-chrome-overlays__label{color:var(--dc-muted-fg);font:inherit;padding:0 8px}.dom-chrome-overlays__separator{border-top:1px solid var(--dc-neutral-line)}.dom-chrome-overlays__notification{pointer-events:auto;background:var(--dc-note-bg);color:var(--dc-note-fg);border:1px solid var(--dc-neutral-line);border-radius:var(--dc-note-radius);box-sizing:border-box;z-index:11000;position:fixed}.dom-chrome-overlays__notification-copy{font-size:var(--dc-overlay-font-sm);line-height:var(--dc-overlay-line-sm);pointer-events:none;flex-direction:column;display:flex;position:absolute;overflow:hidden}.dom-chrome-overlays__notification-copy strong{font-weight:600}.dom-chrome-overlays__notification-body{z-index:0;cursor:pointer;background:0 0;border:0;position:absolute;inset:0}.dom-chrome-overlays__notification-action,.dom-chrome-overlays__notification-dismiss{z-index:1;box-sizing:border-box;color:inherit;cursor:pointer;background:0 0;border:0;position:absolute}.dom-chrome-overlays__notification-dismiss{visibility:hidden}.dom-chrome-overlays__notification:hover .dom-chrome-overlays__notification-dismiss,.dom-chrome-overlays__notification:focus-within .dom-chrome-overlays__notification-dismiss{visibility:visible}.dom-chrome-overlays__notification-action:focus-visible,.dom-chrome-overlays__notification-dismiss:focus-visible{outline:2px solid var(--dc-ring);outline-offset:1px}.dom-chrome-overlays__notification [disabled]{cursor:default;opacity:.5}.dom-chrome-overlays__notification-copy,.dom-chrome-overlays__notification .dom-chrome-overlays__icon{z-index:1}.dom-chrome-overlays__notification[hidden],.dom-chrome-overlays__menu[hidden]{display:none!important}.dom-chrome-overlays__menu[popover]{margin:0;padding:0;bottom:auto;right:auto}.dom-chrome-overlays__notification .dom-chrome-overlays__icon{pointer-events:none}[data-dom-chrome-preboot]{--dc-preboot-ink:var(--frame-ink-light);--dc-preboot-sheet:var(--frame-sheet-light);color:var(--dc-preboot-ink);font-family:var(--font-human)}html[data-theorem-ready=true] [data-dom-chrome-preboot]{display:none!important}[data-dom-chrome-preboot].dom-chrome-navigation-host:before{content:"";background:var(--dc-preboot-sheet);border-radius:10px;position:absolute;inset:6px 6px 6px 308px}[data-dom-chrome-preboot] .dom-chrome-navigation__entry.is-header{color:var(--dc-preboot-ink);width:44px!important;height:44px!important;top:8px!important}[data-dom-chrome-preboot] [id=rail\.drawer]{left:12px!important}[data-dom-chrome-preboot] .dom-chrome-navigation__entry[id=title-band\.search]{width:240px!important;left:calc(50% - 120px)!important}[data-dom-chrome-preboot] [id=title-band\.account]{right:12px;left:auto!important}[data-dom-chrome-preboot].dom-chrome-draft-host{background:var(--dc-preboot-sheet);border-radius:10px;width:min(640px,100% - 340px);height:48px;bottom:88px;left:calc(50% + 154px);transform:translate(-50%)}[data-dom-chrome-preboot].dom-chrome-composer-host{width:min(640px,100% - 340px);height:44px;bottom:44px;left:calc(50% + 154px);transform:translate(-50%)}@media (max-width:760px){[data-dom-chrome-preboot].dom-chrome-navigation-host:before{left:6px}[data-dom-chrome-preboot] .dom-chrome-navigation__entry[id=title-band\.search]{width:44px!important;left:calc(50% - 22px)!important}[data-dom-chrome-preboot].dom-chrome-draft-host,[data-dom-chrome-preboot].dom-chrome-composer-host{width:calc(100% - 32px);left:16px;transform:none}}@media (prefers-color-scheme:dark){[data-dom-chrome-preboot]{--dc-preboot-ink:var(--frame-ink-dark);--dc-preboot-sheet:var(--frame-sheet-dark)}}.dom-chrome-dock-tabs-host{z-index:12;pointer-events:none;font-family:var(--dc-font);font-size:var(--dc-font-size);color:var(--dc-tab-fg);position:fixed;inset:0}.dom-chrome-dock-tabs-host [hidden]{display:none!important}.dom-chrome-dock-tabs{box-sizing:border-box;pointer-events:auto;align-items:center;gap:.25rem;padding-inline:.5rem;display:flex;position:absolute;overflow:hidden}.dom-chrome-dock-tabs [role=tablist]{scrollbar-width:none;flex:1;align-items:center;min-width:0;display:flex;overflow:auto}.dom-chrome-dock-tabs [role=tablist]::-webkit-scrollbar{display:none}.dom-chrome-dock-tabs__item{flex-shrink:0;align-items:center;min-width:0;display:flex}.dom-chrome-dock-tabs [role=tab]{appearance:none;border-radius:var(--dc-radius);min-width:0;color:inherit;font:inherit;white-space:nowrap;cursor:default;background:0 0;border:0;padding:.25rem .75rem}.dom-chrome-dock-tabs [role=tab][aria-selected=true]{background:var(--dc-tab-selected-bg);color:var(--dc-tab-selected-fg)}.dom-chrome-dock-tabs button:hover{background:var(--dc-ghost-hover);color:var(--dc-ghost-hover-fg)}.dom-chrome-dock-tabs button:focus-visible{outline:2px solid var(--dc-ring);outline-offset:-2px}.dom-chrome-dock-tabs__controls{flex-shrink:0;align-items:center;gap:.25rem;display:flex}.dom-chrome-dock-tabs__control,.dom-chrome-dock-tabs__close{appearance:none;color:inherit;border-radius:var(--dc-radius);cursor:default;background:0 0;border:0;justify-content:center;align-items:center;width:1.25rem;height:1.25rem;padding:0;display:inline-flex}.dom-chrome-dock-tabs__icon,.dom-chrome-dock-tabs__close:before{background:currentColor;width:.75rem;height:.75rem;display:block;-webkit-mask-position:50%;mask-position:50%;-webkit-mask-size:contain;mask-size:contain;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.dom-chrome-dock-tabs__close{margin-left:-.5rem;margin-right:.5rem;font-size:0}.dom-chrome-dock-tabs__close:before{content:"";-webkit-mask-image:var(--dc-tab-close-icon);-webkit-mask-image:var(--dc-tab-close-icon);mask-image:var(--dc-tab-close-icon)}.dom-chrome-dock-tabs[data-vertical=true]{flex-direction:column;align-items:stretch;padding:.5rem}.dom-chrome-dock-tabs[data-vertical=true] [role=tablist]{flex-direction:column;align-items:stretch;width:100%}.dom-chrome-dock-tabs[data-vertical=true] .dom-chrome-dock-tabs__item{width:100%}.dom-chrome-dock-tabs[data-vertical=true] [role=tab]{text-align:left;text-overflow:ellipsis;flex:1;overflow:hidden}.dom-chrome-dock-tabs[data-title-only=true] [role=tab]{background:0 0}.dom-chrome-composer__controls{height:auto;min-height:100%;max-height:calc(min(60dvh,480px) + 2 * var(--dc-composer-control-height) + var(--dc-composer-row-gap));overscroll-behavior:contain;align-items:center;column-gap:var(--dc-composer-control-gap);padding:0 var(--dc-composer-inline-inset);row-gap:2px;display:grid;position:absolute;bottom:0;left:0;overflow-y:auto}.dom-chrome-composer__row{display:contents}.dom-chrome-composer__control[data-placement=leading],.dom-chrome-composer__control[data-placement=trailing],.dom-chrome-composer__status{z-index:3;min-height:var(--dc-composer-control-height);position:sticky;bottom:0}.dom-chrome-composer__row[data-wrapped=true] .dom-chrome-composer__control[data-placement=leading]{bottom:calc(var(--dc-composer-control-height) + var(--dc-composer-row-gap))}.dom-chrome-composer__control[data-placement=catalog]{z-index:2;width:min(100%,420px);padding:0 4px;position:relative}.dom-chrome-composer__control[data-placement=catalog] .dom-chrome-composer__button{text-align:left;justify-content:flex-start;width:100%}.dom-chrome-composer__catalog{z-index:1;grid-column:1/-1;grid-row:1 / span var(--dc-catalog-rows);pointer-events:none;align-self:stretch;width:min(100%,420px);height:100%;max-height:none;position:relative;overflow:visible}.dom-chrome-composer__row .dom-chrome-composer__control[data-placement=catalog] .dom-chrome-composer__button[data-has-glyph=true]{width:100%;padding:0 8px}.dom-chrome-composer__row .dom-chrome-composer__control[data-placement=catalog] .dom-chrome-composer__control-label{clip:auto;white-space:normal;width:auto;height:auto;position:static;overflow:visible}.dom-chrome-dialogs-host{pointer-events:none;z-index:14;position:fixed;inset:0}.dom-chrome-dialog{pointer-events:auto;overflow:visible}.dom-chrome-dialog:not([open]){visibility:hidden;pointer-events:none;display:block}.dom-chrome-dialog[aria-hidden=true]{visibility:hidden;pointer-events:none}.dom-chrome-dialog::backdrop{background:var(--dc-dialog-backdrop,transparent)}.dom-chrome-dialog__button{white-space:nowrap;cursor:default;justify-content:center;align-items:center;padding:0;display:flex;overflow:hidden}.dom-chrome-dialog__button:hover{background:var(--dc-button-hover)!important;color:var(--dc-button-hover-fg)!important;border-color:var(--dc-button-hover-border)!important}.dom-chrome-dialog__button:active{background:var(--dc-button-active)!important;color:var(--dc-button-active-fg)!important;border-color:var(--dc-button-active-border)!important}.dom-chrome-commands-host{pointer-events:none;z-index:14;position:fixed;inset:0}.dom-chrome-command{pointer-events:auto}.dom-chrome-command[aria-hidden=true]{visibility:hidden;pointer-events:none}.dom-chrome-command__query{font:inherit;box-sizing:border-box;resize:none}.dom-chrome-command__row{align-items:center;gap:.5rem;padding:.375rem .5rem;display:flex;overflow:hidden}.dom-chrome-command__label{text-overflow:ellipsis;white-space:nowrap;flex:1;min-width:0;overflow:hidden}.dom-chrome-command__icon{flex:none;width:1rem;height:1rem}.dom-chrome-command__row kbd{font:inherit;font-size:.75rem}#theorem-composer-island{white-space:pre-wrap;overflow-wrap:break-word;font-synthesis:none}.dom-chrome-draft-host[data-dom-editor-realized=false] .dom-chrome-composer__paper{visibility:hidden}.dom-chrome-command__header-action{white-space:nowrap;cursor:pointer;justify-content:center;align-items:center;padding:0;display:flex}.dom-chrome-command__header-action:hover:not(:disabled){background:var(--dc-button-hover);color:var(--dc-button-hover-fg)}.dom-chrome-command__header-action:active:not(:disabled){background:var(--dc-button-active);color:var(--dc-button-active-fg)}.dom-chrome-command__header-action:disabled{cursor:default}.dom-chrome-command__header-action:focus-visible{outline:2px solid var(--color-ring);outline-offset:2px}.dom-chrome-overlays__panel{pointer-events:auto;border:0;margin:0;padding:0;position:fixed;overflow:visible}.dom-chrome-overlays__panel-action{text-align:initial;cursor:default;outline:none;margin:0;padding:0;overflow:visible}.dom-chrome-overlays__panel-action>span{pointer-events:none}.dom-chrome-overlays__panel-action:hover:not(:disabled){--dc-part-current-bg:var(--dc-part-hover-bg);--dc-part-current-ink:var(--dc-part-hover-ink);--dc-part-current-edge:var(--dc-part-hover-edge)}.dom-chrome-overlays__panel-action:active:not(:disabled){--dc-part-current-bg:var(--dc-part-active-bg);--dc-part-current-ink:var(--dc-part-active-ink);--dc-part-current-edge:var(--dc-part-active-edge)}.dom-chrome-overlays__panel-action:disabled{--dc-part-current-bg:var(--dc-part-disabled-bg);--dc-part-current-ink:var(--dc-part-disabled-ink);--dc-part-current-edge:var(--dc-part-disabled-edge)}.dom-chrome-overlays__panel-field{outline:none;margin:0}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-ease{syntax:"*";inherits:false}