:root{--mk-bg-rgb: 246 245 237;--mk-surface-rgb: 253 252 251;--mk-surface-2-rgb: 239 237 228;--mk-text-pri-rgb: 31 24 16;--mk-text-sec-rgb: 96 88 76;--mk-border-rgb: 224 222 215;--mk-border-dark-rgb: 200 196 184;--mk-accent-rgb: 0 105 168;--mk-accent-soft-rgb: 224 242 254;--mk-success-rgb: 2 122 72;--mk-warning-rgb: 196 50 10;--mk-danger-rgb: 180 35 24;--mk-assurance-formal-rgb: 61 61 138;--mk-assurance-solver-rgb: 24 106 105;--mk-assurance-numeric-rgb: 21 104 154;--mk-assurance-statistical-rgb: 106 79 138;--mk-assurance-heuristic-rgb: 141 90 25;--mk-assurance-interpretive-rgb: 112 96 82;--mk-sans: Inter, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;--mk-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--mk-bg-rgb: 21 16 12;--mk-surface-rgb: 31 24 16;--mk-surface-2-rgb: 42 33 20;--mk-text-pri-rgb: 224 222 215;--mk-text-sec-rgb: 168 163 148;--mk-border-rgb: 69 61 48;--mk-border-dark-rgb: 96 88 76;--mk-accent-rgb: 54 191 250;--mk-accent-soft-rgb: 6 44 65;--mk-success-rgb: 50 213 131;--mk-warning-rgb: 253 133 58;--mk-danger-rgb: 249 112 102;--mk-assurance-formal-rgb: 155 155 233;--mk-assurance-solver-rgb: 92 201 199;--mk-assurance-numeric-rgb: 108 190 236;--mk-assurance-statistical-rgb: 190 158 231;--mk-assurance-heuristic-rgb: 226 166 84;--mk-assurance-interpretive-rgb: 186 173 157;color-scheme:dark}}:root[data-theme=dark]{--mk-bg-rgb: 21 16 12;--mk-surface-rgb: 31 24 16;--mk-surface-2-rgb: 42 33 20;--mk-text-pri-rgb: 224 222 215;--mk-text-sec-rgb: 168 163 148;--mk-border-rgb: 69 61 48;--mk-border-dark-rgb: 96 88 76;--mk-accent-rgb: 54 191 250;--mk-accent-soft-rgb: 6 44 65;--mk-success-rgb: 50 213 131;--mk-warning-rgb: 253 133 58;--mk-danger-rgb: 249 112 102;--mk-assurance-formal-rgb: 155 155 233;--mk-assurance-solver-rgb: 92 201 199;--mk-assurance-numeric-rgb: 108 190 236;--mk-assurance-statistical-rgb: 190 158 231;--mk-assurance-heuristic-rgb: 226 166 84;--mk-assurance-interpretive-rgb: 186 173 157;color-scheme:dark}body{margin:0;background:rgb(var(--mk-bg-rgb));color:rgb(var(--mk-text-pri-rgb));font-family:var(--mk-sans);line-height:1.5;-webkit-font-smoothing:antialiased}.mk-placeholder{max-width:720px;margin:0 auto;padding:48px 20px}.mk-placeholder__title{font-size:28px;font-weight:600;margin:0 0 20px}.mk-placeholder__nav{display:flex;flex-wrap:wrap;gap:12px;margin-bottom:24px}.mk-placeholder__link{padding:8px 14px;border:1px solid rgb(var(--mk-border-dark-rgb));border-radius:6px;color:rgb(var(--mk-accent-rgb));text-decoration:none;background:rgb(var(--mk-surface-rgb))}.mk-placeholder__link[aria-current=page]{border-color:rgb(var(--mk-accent-rgb));background:rgb(var(--mk-accent-soft-rgb))}.mk-placeholder__link:focus-visible{outline:2px solid rgb(var(--mk-accent-rgb));outline-offset:2px}.mk-placeholder__note{color:rgb(var(--mk-text-sec-rgb));font-family:var(--mk-mono);font-size:13px}*,*:before,*:after{box-sizing:border-box}.mk-visually-hidden{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.mk-skip{position:absolute;left:-9999px;top:0;z-index:100;background:rgb(var(--mk-accent-rgb));color:rgb(var(--mk-surface-rgb));padding:10px 16px;border-radius:0 0 6px;font-weight:600}.mk-skip:focus{left:0}:focus-visible{outline:2px solid rgb(var(--mk-accent-rgb));outline-offset:2px}.mk-shell{min-height:100vh;display:flex;flex-direction:column}.mk-topbar{display:flex;align-items:center;gap:16px;padding:0 16px;min-height:56px;border-bottom:1px solid rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-rgb));position:sticky;top:0;z-index:20;flex-wrap:wrap}.mk-topbar__left{display:flex;align-items:center;gap:10px}.mk-topbar__mark{display:flex;align-items:baseline;gap:8px;text-decoration:none;color:inherit}.mk-topbar__mark-name{font-weight:700;letter-spacing:-.01em}.mk-topbar__mark-section{color:rgb(var(--mk-text-sec-rgb));font-size:13px}.mk-topbar__sections{display:flex;gap:2px;margin-right:auto;flex-wrap:wrap}.mk-topbar__right{display:flex;align-items:center;gap:8px;margin-left:auto}.mk-topbar__nav-toggle{display:none}.mk-tab{display:inline-flex;align-items:center;gap:6px;padding:8px 12px;border-radius:6px;text-decoration:none;color:rgb(var(--mk-text-sec-rgb));font-size:14px;font-weight:500;border-bottom:2px solid transparent}.mk-tab:hover{background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-pri-rgb))}.mk-tab--current{color:rgb(var(--mk-text-pri-rgb));border-bottom-color:rgb(var(--mk-accent-rgb));border-radius:6px 6px 0 0}.mk-tab__badge{font-size:10px;text-transform:uppercase;letter-spacing:.05em;padding:2px 5px;border-radius:3px;background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-sec-rgb));border:1px solid rgb(var(--mk-border-rgb))}.mk-topbar__button{display:inline-flex;align-items:center;gap:6px;padding:7px 11px;border-radius:6px;font:inherit;font-size:13px;background:transparent;color:rgb(var(--mk-text-sec-rgb));border:1px solid rgb(var(--mk-border-rgb));cursor:pointer;text-decoration:none}.mk-topbar__button:hover{background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-pri-rgb))}.mk-topbar__button--accent{background:rgb(var(--mk-accent-rgb));color:rgb(var(--mk-surface-rgb));border-color:transparent}.mk-topbar__button-label{display:inline}.mk-topbar__account{position:relative}.mk-menu{position:absolute;right:0;top:calc(100% + 6px);min-width:180px;z-index:30;background:rgb(var(--mk-surface-rgb));border:1px solid rgb(var(--mk-border-rgb));border-radius:8px;padding:4px;display:flex;flex-direction:column;box-shadow:0 8px 24px #0000001f}.mk-menu__item{padding:8px 10px;border-radius:5px;font:inherit;font-size:14px;text-align:left;background:transparent;border:0;color:rgb(var(--mk-text-pri-rgb));cursor:pointer;text-decoration:none}.mk-menu__item:hover{background:rgb(var(--mk-surface-2-rgb))}.mk-body{display:flex;flex:1;min-height:0}.mk-sidebar{width:216px;flex-shrink:0;padding:16px 10px;border-right:1px solid rgb(var(--mk-border-rgb));display:flex;flex-direction:column;gap:2px;background:rgb(var(--mk-surface-rgb))}.mk-sidebar__link{padding:8px 10px;border-radius:6px;text-decoration:none;font-size:14px;color:rgb(var(--mk-text-sec-rgb))}.mk-sidebar__link:hover{background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-pri-rgb))}.mk-sidebar__link--active{background:rgb(var(--mk-accent-soft-rgb));color:rgb(var(--mk-text-pri-rgb));font-weight:600}.mk-main{flex:1;min-width:0;padding:24px 20px 64px}.mk-main:focus{outline:none}.mk-diagram{margin:0}.mk-diagram__svg{width:100%;height:auto;background:rgb(var(--mk-bg-rgb));border:1px solid rgb(var(--mk-border-rgb));border-radius:10px}.mk-diagram__edge{stroke:rgb(var(--mk-border-dark-rgb));stroke-width:1.5}.mk-diagram__edge--hover{stroke:rgb(var(--mk-accent-rgb));stroke-width:2.5}.mk-diagram__node{cursor:pointer}.mk-diagram__shape{fill:rgb(var(--mk-surface-rgb));stroke:rgb(var(--mk-text-sec-rgb));stroke-width:1.6}.mk-diagram__node--result .mk-diagram__shape{stroke:rgb(var(--mk-accent-rgb));stroke-width:2.2}.mk-diagram__node--claim .mk-diagram__shape{stroke:rgb(var(--mk-success-rgb))}.mk-diagram__node--assumption .mk-diagram__shape{stroke:rgb(var(--mk-warning-rgb));stroke-dasharray:3 2}.mk-diagram__node--group .mk-diagram__shape{fill:rgb(var(--mk-surface-2-rgb));stroke-dasharray:4 3}.mk-diagram__node--selected .mk-diagram__shape{fill:rgb(var(--mk-accent-soft-rgb));stroke-width:3}.mk-diagram__node:focus-visible .mk-diagram__shape{stroke:rgb(var(--mk-accent-rgb));stroke-width:3}.mk-diagram__label{fill:rgb(var(--mk-text-sec-rgb));font-size:11px;font-family:var(--mk-mono)}.mk-diagram__caption{display:flex;align-items:center;gap:14px;flex-wrap:wrap;padding:10px 2px;font-size:12px;color:rgb(var(--mk-text-sec-rgb))}.mk-diagram__legend{display:flex;gap:12px;flex-wrap:wrap}.mk-diagram__key{display:inline-flex;align-items:center;gap:4px}.mk-diagram__truncated{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin:0;padding:10px 14px;font-size:13px;border-radius:8px;border:1px dashed rgb(var(--mk-warning-rgb) / .5);background:rgb(var(--mk-warning-rgb) / .06)}.mk-inspector{position:fixed;right:0;top:56px;bottom:0;width:min(420px,100%);z-index:30;display:flex;flex-direction:column;background:rgb(var(--mk-surface-rgb));border-left:1px solid rgb(var(--mk-border-dark-rgb));box-shadow:-8px 0 28px #00000029}.mk-inspector__head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:12px 16px;border-bottom:1px solid rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-2-rgb))}.mk-inspector__body{padding:16px;overflow-y:auto}.mk-inspector__statement{margin:0 0 4px;font-size:15px}.mk-inspector__times{margin:0;display:grid;gap:6px}.mk-inspector__times dt{font-size:12px;color:rgb(var(--mk-text-sec-rgb))}.mk-inspector__times dd{margin:0;font-size:13px}.mk-inspector__list{margin:0;padding-left:18px;font-size:13px;display:flex;flex-direction:column;gap:4px}.mk-linkish{font:inherit;padding:0;background:none;border:0;cursor:pointer;color:rgb(var(--mk-accent-rgb));text-decoration:underline;text-align:left}.mk-timeline{margin:0}.mk-timeline__svg{width:100%;height:auto;background:rgb(var(--mk-bg-rgb));border:1px solid rgb(var(--mk-border-rgb));border-radius:10px;cursor:crosshair}.mk-timeline__grid{stroke:rgb(var(--mk-border-rgb));stroke-width:1}.mk-timeline__tick{fill:rgb(var(--mk-text-sec-rgb));font-size:10px;font-family:var(--mk-mono)}.mk-timeline__lane-label{fill:rgb(var(--mk-text-sec-rgb));font-size:10px;font-family:var(--mk-mono);text-transform:uppercase;letter-spacing:.06em}.mk-timeline__bar rect{fill:rgb(var(--mk-success-rgb) / .55);stroke:rgb(var(--mk-success-rgb));stroke-width:1}.mk-timeline__bar--later rect{fill:rgb(var(--mk-text-sec-rgb) / .18);stroke:rgb(var(--mk-text-sec-rgb) / .5);stroke-dasharray:3 2}.mk-timeline__bar--selected rect{fill:rgb(var(--mk-accent-rgb));stroke:rgb(var(--mk-accent-rgb))}.mk-timeline__point circle{fill:rgb(var(--mk-surface-rgb));stroke:rgb(var(--mk-accent-rgb));stroke-width:2}.mk-timeline__point--stale circle{stroke:rgb(var(--mk-warning-rgb));stroke-dasharray:2 2}.mk-timeline__point--selected circle{fill:rgb(var(--mk-accent-rgb))}.mk-timeline__branch path{stroke:rgb(var(--mk-text-sec-rgb));stroke-width:1.5;stroke-dasharray:4 3}.mk-timeline__branch circle{fill:rgb(var(--mk-text-sec-rgb))}.mk-timeline__branch--selected path,.mk-timeline__branch--selected circle{stroke:rgb(var(--mk-accent-rgb));fill:rgb(var(--mk-accent-rgb))}.mk-timeline__branch-label{fill:rgb(var(--mk-text-sec-rgb));font-size:10px;font-family:var(--mk-mono)}.mk-timeline__cursor line{stroke:rgb(var(--mk-warning-rgb));stroke-width:2;stroke-dasharray:5 3}.mk-timeline g[role=button]{cursor:pointer}.mk-timeline g[role=button]:focus-visible rect,.mk-timeline g[role=button]:focus-visible circle{stroke:rgb(var(--mk-accent-rgb));stroke-width:3}.mk-timeline__caption{display:flex;align-items:center;gap:14px;flex-wrap:wrap;padding:10px 2px}.mk-timeline__cursor-input{display:inline-flex;align-items:center;gap:6px;font-size:12px;color:rgb(var(--mk-text-sec-rgb))}.mk-timeline__cursor-input input{font:inherit;font-size:12px;padding:4px 6px;border-radius:5px;border:1px solid rgb(var(--mk-border-dark-rgb));background:rgb(var(--mk-bg-rgb));color:rgb(var(--mk-text-pri-rgb))}.mk-map{display:flex;flex-direction:column;gap:10px}.mk-map__controls{display:flex;gap:6px;flex-wrap:wrap}.mk-map__canvas{border:1px solid rgb(var(--mk-border-rgb));border-radius:10px}.mk-map__marker{stroke:rgb(var(--mk-accent-rgb));stroke-width:2;fill:rgb(var(--mk-accent-rgb));fill-opacity:.35}.mk-map__marker--selected{stroke-width:4;fill-opacity:.6}.mk-map__unplaceable{font-size:13px}.mk-map__unplaceable summary{cursor:pointer;color:rgb(var(--mk-warning-rgb))}.mk-sentences{list-style:none;margin:0 0 16px;padding:0;display:flex;flex-direction:column;gap:10px}.mk-sentence{display:flex;align-items:center;gap:6px;flex-wrap:wrap;font-size:14px;line-height:1.6}.mk-quote{margin:0 0 14px;padding:10px 14px;font-size:14px;border-left:3px solid rgb(var(--mk-accent-rgb));background:rgb(var(--mk-surface-2-rgb))}.mk-modal{position:fixed;inset:0;z-index:40;display:flex;align-items:center;justify-content:center;background:#00000073;padding:20px}.mk-modal__panel{background:rgb(var(--mk-surface-rgb));border:1px solid rgb(var(--mk-border-dark-rgb));border-radius:12px;width:min(760px,100%);max-height:84vh;display:flex;flex-direction:column;box-shadow:0 20px 60px #0000004d}.mk-modal__head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:12px 16px;border-bottom:1px solid rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-2-rgb));border-radius:12px 12px 0 0}.mk-modal__body{padding:16px;overflow-y:auto}.mk-modal--palette{align-items:flex-start;padding-top:12vh}.mk-palette{width:min(680px,100%);display:flex;flex-direction:column;background:rgb(var(--mk-surface-rgb));border:1px solid rgb(var(--mk-border-dark-rgb));border-radius:12px;overflow:hidden;box-shadow:0 20px 60px #0000004d}.mk-palette__field{font:inherit;font-size:16px;padding:14px 16px;border:0;border-bottom:1px solid rgb(var(--mk-border-rgb));background:transparent;color:rgb(var(--mk-text-pri-rgb));width:100%}.mk-palette__field:focus{outline:none}.mk-palette__results{list-style:none;margin:0;padding:6px;max-height:50vh;overflow-y:auto}.mk-palette__note{padding:14px 12px;font-size:13px;color:rgb(var(--mk-text-sec-rgb))}.mk-palette__row{display:grid;grid-template-columns:84px 1fr auto;gap:10px;align-items:baseline;width:100%;text-align:left;font:inherit;font-size:14px;padding:8px 10px;border:0;border-radius:6px;background:transparent;color:inherit;cursor:pointer}.mk-palette__row--active{background:rgb(var(--mk-accent-soft-rgb))}.mk-palette__kind{font-size:11px;text-transform:uppercase;letter-spacing:.05em;color:rgb(var(--mk-text-sec-rgb))}.mk-palette__label{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.mk-palette__id{font-size:11px;color:rgb(var(--mk-text-sec-rgb))}.mk-palette__foot{display:flex;justify-content:space-between;gap:12px;padding:8px 14px;font-size:11px;color:rgb(var(--mk-text-sec-rgb));border-top:1px solid rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-2-rgb))}@media(max-width:860px){.mk-palette__row{grid-template-columns:1fr;gap:2px}}.mk-rows{margin-bottom:24px}.mk-rows__head{display:flex;align-items:center;justify-content:space-between;gap:12px}.mk-rows__title{margin:0 0 8px;font-size:14px;font-weight:650}.mk-rows__hint{margin:0 0 10px;max-width:76ch}.mk-rows__colhint{font-weight:400;text-transform:none;letter-spacing:0;font-size:11px;opacity:.85}.mk-table--edit td{padding:5px 6px}.mk-table--edit tbody tr:hover{background:transparent}.mk-table--edit .mk-row--bad td{background:rgb(var(--mk-danger-rgb) / .06)}.mk-cell{width:100%;min-width:72px;font:inherit;font-size:13px;padding:5px 7px;border-radius:5px;border:1px solid rgb(var(--mk-border-rgb));background:rgb(var(--mk-bg-rgb));color:rgb(var(--mk-text-pri-rgb))}.mk-cell:focus-visible{border-color:rgb(var(--mk-accent-rgb))}.mk-h4{font-size:14px;font-weight:650;margin:18px 0 8px}.mk-tabs{display:flex;gap:2px;flex-wrap:wrap;margin-bottom:16px;border-bottom:1px solid rgb(var(--mk-border-rgb))}.mk-tabs .mk-tab{background:transparent;border-top:0;border-left:0;border-right:0;cursor:pointer;font:inherit;font-size:14px;font-weight:500}.mk-chip{font:inherit;font-size:12px;font-family:var(--mk-mono);padding:2px 8px;border-radius:999px;cursor:pointer;background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-sec-rgb));border:1px solid rgb(var(--mk-border-dark-rgb))}.mk-chip:hover{border-color:rgb(var(--mk-accent-rgb))}.mk-chip--on{background:rgb(var(--mk-accent-soft-rgb));color:rgb(var(--mk-text-pri-rgb));border-color:rgb(var(--mk-accent-rgb));font-weight:600}.mk-pagehead{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;flex-wrap:wrap;margin-bottom:20px}.mk-pagehead__title{font-size:24px;font-weight:650;margin:0;letter-spacing:-.015em;text-wrap:balance}.mk-pagehead__subtitle{margin:6px 0 0;color:rgb(var(--mk-text-sec-rgb));font-size:14px;max-width:68ch}.mk-pagehead__action{display:flex;gap:8px;flex-wrap:wrap}.mk-panel{border:1px solid rgb(var(--mk-border-rgb));border-radius:10px;background:rgb(var(--mk-surface-rgb));margin-bottom:16px;overflow:hidden}.mk-panel__head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:12px 16px;border-bottom:1px solid rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-2-rgb))}.mk-panel__title{margin:0;font-size:14px;font-weight:650;letter-spacing:.01em}.mk-panel__body{padding:16px}.mk-grid{display:grid;gap:16px;grid-template-columns:repeat(auto-fit,minmax(min(320px,100%),1fr))}.mk-row{display:flex;gap:10px;flex-wrap:wrap;align-items:center}.mk-stack{display:flex;flex-direction:column;gap:12px}.mk-field{display:flex;gap:10px;padding:6px 0;border-bottom:1px solid rgb(var(--mk-border-rgb))}.mk-field:last-child{border-bottom:0}.mk-field__label{margin:0;width:180px;flex-shrink:0;color:rgb(var(--mk-text-sec-rgb));font-size:13px}.mk-field__value{margin:0;min-width:0;overflow-wrap:anywhere;font-size:14px}.mk-button{display:inline-flex;align-items:center;gap:6px;padding:8px 14px;border-radius:7px;font:inherit;font-size:14px;font-weight:550;background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-pri-rgb));border:1px solid rgb(var(--mk-border-dark-rgb));cursor:pointer;text-decoration:none}.mk-button:hover:not(:disabled){border-color:rgb(var(--mk-accent-rgb))}.mk-button:disabled{opacity:.55;cursor:not-allowed}.mk-button--primary{background:rgb(var(--mk-accent-rgb));color:rgb(var(--mk-surface-rgb));border-color:transparent}.mk-button--danger{color:rgb(var(--mk-danger-rgb))}.mk-button--small{padding:5px 9px;font-size:13px}.mk-input{display:flex;flex-direction:column;gap:5px;margin-bottom:14px}.mk-input__label{font-size:13px;font-weight:550;color:rgb(var(--mk-text-sec-rgb))}.mk-input__control{padding:9px 11px;border-radius:7px;font:inherit;font-size:14px;background:rgb(var(--mk-bg-rgb));color:rgb(var(--mk-text-pri-rgb));border:1px solid rgb(var(--mk-border-dark-rgb));width:100%}.mk-input__control--area{min-height:180px;font-family:var(--mk-mono);font-size:13px;line-height:1.5}.mk-input__hint{margin:0;font-size:12px;color:rgb(var(--mk-text-sec-rgb))}.mk-input__error{margin:0;font-size:12px;color:rgb(var(--mk-danger-rgb))}.mk-input--error .mk-input__control{border-color:rgb(var(--mk-danger-rgb))}.mk-badge{display:inline-flex;align-items:center;gap:5px;padding:2px 8px;border-radius:999px;font-size:12px;font-weight:600;border:1px solid rgb(var(--mk-border-dark-rgb));background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-sec-rgb))}.mk-badge__mark{font-weight:700}.mk-badge--good{color:rgb(var(--mk-success-rgb));border-color:rgb(var(--mk-success-rgb) / .4)}.mk-badge--warn{color:rgb(var(--mk-warning-rgb));border-color:rgb(var(--mk-warning-rgb) / .4)}.mk-badge--bad{color:rgb(var(--mk-danger-rgb));border-color:rgb(var(--mk-danger-rgb) / .4)}.mk-badge--info{color:rgb(var(--mk-accent-rgb));border-color:rgb(var(--mk-accent-rgb) / .4)}.mk-pill{display:inline-flex;align-items:center;gap:5px;padding:2px 9px;border-radius:5px;font-size:12px;font-weight:600;white-space:nowrap;border:1px solid rgb(var(--mk-border-dark-rgb));background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-sec-rgb))}.mk-pill__mark{font-weight:700}.mk-pill--good{color:rgb(var(--mk-success-rgb));border-color:rgb(var(--mk-success-rgb) / .45)}.mk-pill--warn{color:rgb(var(--mk-warning-rgb));border-color:rgb(var(--mk-warning-rgb) / .45)}.mk-pill--bad{color:rgb(var(--mk-danger-rgb));border-color:rgb(var(--mk-danger-rgb) / .45)}.mk-pill--info{color:rgb(var(--mk-accent-rgb));border-color:rgb(var(--mk-accent-rgb) / .45)}.mk-pill--empty{border-style:dashed;padding-inline:12px}.mk-assurance{display:inline-flex;align-items:center;gap:5px;padding:2px 9px;border-radius:999px;font-size:12px;font-weight:600;white-space:nowrap;font-family:var(--mk-mono);border:1px solid currentcolor;background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-text-sec-rgb))}.mk-assurance__mark{font-weight:700}.mk-assurance--formal{color:rgb(var(--mk-assurance-formal-rgb))}.mk-assurance--solver{color:rgb(var(--mk-assurance-solver-rgb))}.mk-assurance--numeric{color:rgb(var(--mk-assurance-numeric-rgb))}.mk-assurance--statistical{color:rgb(var(--mk-assurance-statistical-rgb))}.mk-assurance--heuristic{color:rgb(var(--mk-assurance-heuristic-rgb))}.mk-assurance--interpretive{color:rgb(var(--mk-assurance-interpretive-rgb))}.mk-stale{display:inline-flex;align-items:center;gap:5px;padding:2px 9px;border-radius:5px;font-size:12px;font-weight:600;color:rgb(var(--mk-warning-rgb));border:1px dashed rgb(var(--mk-warning-rgb) / .55);background:rgb(var(--mk-warning-rgb) / .07)}.mk-stale__cause{font-weight:400;font-family:var(--mk-mono);font-size:11px;opacity:.85}.mk-idchip{display:inline-flex;align-items:center;gap:2px;max-width:100%}.mk-idchip__id{font:inherit;font-family:var(--mk-mono);font-size:12px;padding:1px 6px;border-radius:4px;cursor:pointer;background:rgb(var(--mk-surface-2-rgb));color:rgb(var(--mk-accent-rgb));border:1px solid rgb(var(--mk-border-rgb));overflow-wrap:anywhere;text-align:left}.mk-idchip__id:hover{border-color:rgb(var(--mk-accent-rgb))}.mk-idchip__copy{font:inherit;font-size:11px;line-height:1;padding:3px 4px;border-radius:4px;background:transparent;border:1px solid transparent;color:rgb(var(--mk-text-sec-rgb));cursor:pointer}.mk-idchip__copy:hover{border-color:rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-2-rgb))}.mk-idchip__state{font-size:11px;color:rgb(var(--mk-success-rgb))}.mk-resolving{display:flex;align-items:center;gap:10px;padding:48px 20px;color:rgb(var(--mk-text-sec-rgb))}.mk-resolving__spinner{width:14px;height:14px;border-radius:50%;border:2px solid rgb(var(--mk-border-dark-rgb));border-top-color:rgb(var(--mk-accent-rgb));animation:mk-spin .8s linear infinite}@keyframes mk-spin{to{transform:rotate(360deg)}}@media(prefers-reduced-motion:reduce){.mk-resolving__spinner{animation:none}*{scroll-behavior:auto!important}}.mk-skeleton{display:flex;flex-direction:column;gap:9px;padding:6px 0}.mk-skeleton__row{height:13px;border-radius:4px;background:rgb(var(--mk-surface-2-rgb))}.mk-empty{padding:40px 20px;text-align:center;border:1px dashed rgb(var(--mk-border-dark-rgb));border-radius:10px}.mk-empty__title{margin:0 0 8px;font-size:16px;font-weight:600}.mk-empty__body{color:rgb(var(--mk-text-sec-rgb));font-size:14px;max-width:56ch;margin:0 auto}.mk-empty__action{margin-top:16px}.mk-failed{padding:14px 16px;border-radius:8px;border:1px solid rgb(var(--mk-danger-rgb) / .4);background:rgb(var(--mk-danger-rgb) / .07)}.mk-failed__message{margin:0 0 8px;color:rgb(var(--mk-danger-rgb));font-size:14px}.mk-table-wrap{overflow-x:auto}.mk-table{width:100%;border-collapse:collapse;font-size:14px}.mk-table th,.mk-table td{text-align:left;padding:9px 12px;border-bottom:1px solid rgb(var(--mk-border-rgb))}.mk-table th{font-size:12px;text-transform:uppercase;letter-spacing:.04em;color:rgb(var(--mk-text-sec-rgb));font-weight:600}.mk-table td{vertical-align:top}.mk-table tbody tr:hover{background:rgb(var(--mk-surface-2-rgb))}.mk-table .mk-numeric{font-variant-numeric:tabular-nums;text-align:right}.mk-copyable{display:inline-flex;align-items:center;gap:8px;padding:2px 6px;border-radius:5px;border:1px solid transparent;background:transparent;font:inherit;cursor:pointer;color:inherit;max-width:100%}.mk-copyable:hover{border-color:rgb(var(--mk-border-rgb));background:rgb(var(--mk-surface-2-rgb))}.mk-copyable code{font-size:12px;overflow-wrap:anywhere}.mk-copyable__state{font-size:11px;color:rgb(var(--mk-success-rgb))}.mk-diagnostics{list-style:none;margin:12px 0 0;padding:0;display:flex;flex-direction:column;gap:6px}.mk-diagnostic{display:grid;grid-template-columns:minmax(120px,220px) 1fr auto;gap:10px;align-items:baseline;padding:8px 10px;border-radius:6px;font-size:13px;border:1px solid rgb(var(--mk-danger-rgb) / .35);background:rgb(var(--mk-danger-rgb) / .06)}.mk-diagnostic--warning{border-color:rgb(var(--mk-warning-rgb) / .35);background:rgb(var(--mk-warning-rgb) / .06)}.mk-diagnostic__at{color:rgb(var(--mk-text-sec-rgb));font-size:12px;overflow-wrap:anywhere}.mk-diagnostic__code{color:rgb(var(--mk-text-sec-rgb));font-size:11px}.mk-code{font-family:var(--mk-mono);font-size:12.5px;background:rgb(var(--mk-surface-2-rgb));padding:12px;border-radius:8px;overflow-x:auto;margin:0;line-height:1.55}.mk-muted{color:rgb(var(--mk-text-sec-rgb))}.mk-mono{font-family:var(--mk-mono);font-size:.92em;font-variant-numeric:tabular-nums}.mk-small{font-size:13px}.mk-auth{max-width:380px;margin:0 auto;padding:48px 20px}.mk-auth__title{font-size:22px;margin:0 0 6px}.mk-auth__lede{margin:0 0 24px;color:rgb(var(--mk-text-sec-rgb));font-size:14px}.mk-auth__foot{margin-top:18px;font-size:14px;color:rgb(var(--mk-text-sec-rgb))}@media(max-width:860px){.mk-topbar__nav-toggle{display:inline-flex}.mk-topbar__button-label{display:none}.mk-sidebar{position:fixed;inset:56px auto 0 0;z-index:25;width:260px;transform:translate(-100%);transition:transform .16s ease;box-shadow:0 0 40px #0003}.mk-sidebar--open{transform:translate(0)}.mk-field{flex-direction:column;gap:2px}.mk-field__label{width:auto}.mk-diagnostic{grid-template-columns:1fr}}@media(prefers-reduced-motion:reduce){.mk-sidebar{transition:none}}.mk-site{max-width:860px;margin:0 auto;padding:0 20px 80px}.mk-site__top{display:flex;align-items:center;justify-content:space-between;gap:16px;flex-wrap:wrap;padding:20px 0 40px}.mk-site__mark{font-weight:700;font-size:18px;letter-spacing:-.01em}.mk-site__actions{display:flex;gap:8px}.mk-site__hero{padding:24px 0 56px;border-bottom:1px solid rgb(var(--mk-border-rgb))}.mk-site__title{font-size:clamp(26px,4vw,38px);line-height:1.25;font-weight:600;letter-spacing:-.02em;margin:0 0 20px;text-wrap:balance;max-width:22ch}.mk-site__lede{font-size:17px;line-height:1.6;color:rgb(var(--mk-text-sec-rgb));max-width:62ch;margin:0 0 16px}.mk-site__state{font-size:14px;color:rgb(var(--mk-text-sec-rgb));margin:0;padding:10px 14px;border-left:3px solid rgb(var(--mk-accent-rgb));background:rgb(var(--mk-surface-2-rgb));max-width:62ch}.mk-site__sections{display:flex;flex-direction:column;gap:44px;padding:48px 0}.mk-site__section{max-width:66ch}.mk-site__section-title{font-size:21px;font-weight:600;margin:0 0 12px;letter-spacing:-.01em;text-wrap:balance}.mk-site__section-body{margin:0 0 12px;color:rgb(var(--mk-text-sec-rgb));line-height:1.65}.mk-site__section-instead{margin:0;line-height:1.65;padding-left:16px;border-left:2px solid rgb(var(--mk-accent-rgb))}.mk-site__not{padding:40px 0;border-top:1px solid rgb(var(--mk-border-rgb))}.mk-site__not-grid{display:grid;gap:20px;grid-template-columns:repeat(auto-fit,minmax(min(240px,100%),1fr));margin-top:20px}.mk-site__not-title{font-size:15px;font-weight:600;margin:0 0 6px}.mk-site__not-body{margin:0;font-size:14px;line-height:1.6;color:rgb(var(--mk-text-sec-rgb))}.mk-site__cta{display:flex;align-items:center;justify-content:space-between;gap:20px;flex-wrap:wrap;padding:28px;border-radius:12px;background:rgb(var(--mk-surface-rgb));border:1px solid rgb(var(--mk-border-rgb));margin-top:24px}.mk-site__cta p{margin:0;font-size:16px;max-width:46ch}.mk-site__foot{display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap;padding-top:32px;margin-top:48px;border-top:1px solid rgb(var(--mk-border-rgb));font-size:13px;color:rgb(var(--mk-text-sec-rgb))}