marqy-loop{display:block}[data-marqy]{width:100%;position:relative}[data-marqy][data-direction=left],[data-marqy][data-direction=right]{overflow-x:clip}[data-marqy][data-direction=up],[data-marqy][data-direction=down]{overflow-y:clip}[data-marqy-inner]{-ms-overflow-style:none;scrollbar-width:none;display:flex}[data-marqy][data-direction=up] [data-marqy-inner],[data-marqy][data-direction=down] [data-marqy-inner],[data-marqy][data-direction=up] [data-marqy-content],[data-marqy][data-direction=down] [data-marqy-content]{flex-direction:column}[data-marqy-inner]::-webkit-scrollbar{display:none}[data-marqy][data-direction=right] [data-marqy-inner],[data-marqy][data-direction=down] [data-marqy-inner],[data-marqy][data-direction=down] [data-marqy-content]{justify-content:flex-end}[data-marqy-content]{will-change:transform;flex:1 0 auto;animation-timing-function:linear;animation-iteration-count:infinite;animation-play-state:running;display:flex}[data-marqy-static] [data-marqy-content]{animation:none!important}[data-marqy][data-direction=left] [data-marqy-content]{animation-name:marqyL}[data-marqy][data-direction=right] [data-marqy-content]{animation-name:marqyR}[data-marqy][data-direction=up] [data-marqy-content]{animation-name:marqyU}[data-marqy][data-direction=down] [data-marqy-content]{animation-name:marqyD}[data-marqy][data-pause-on-hover]:hover>[data-marqy-inner]>[data-marqy-content]{animation-play-state:paused}[data-marqy-item]{flex-grow:0}@keyframes marqyL{0%{transform:translate(0)}to{transform:translate(-100%)}}@keyframes marqyR{0%{transform:translate(0)}to{transform:translate(100%)}}@keyframes marqyU{0%{transform:translate(0)}to{transform:translateY(-100%)}}@keyframes marqyD{0%{transform:translateY(-100%)}to{transform:translate(0)}}@media (prefers-reduced-motion){[data-marqy][data-direction=left] [data-marqy-inner],[data-marqy][data-direction=right] [data-marqy-inner]{overflow-x:scroll}[data-marqy][data-direction=up],[data-marqy][data-direction=down]{overflow-y:scroll}[data-marqy-content]{animation:none!important}}
:root{--font-geist-sans:"GeistSans", Arial, sans-serif;--font-geist-mono:"GeistMono", "JuliaMono", monospace}html{scroll-behavior:smooth;background:#232323}body{min-width:320px}button,a{-webkit-tap-highlight-color:transparent}button:focus-visible,a:focus-visible,input:focus-visible{outline-offset:4px;outline:2px solid #ff9100}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}.nav-pattern{background-image:repeating-conic-gradient(#ffffff38 0% 25%,#0000 0% 50%);background-size:4px 4px}.brand-light{filter:invert()}.nav-marquee{height:18px;position:relative;overflow:hidden}.nav-marquee>div{width:max-content;line-height:18px;animation:30s linear infinite navMarquee;display:flex}.nav-link:hover{background:#ffffff12;border-radius:4px}.odometer{--odometer-progress:0;line-height:1em;display:inline-flex}.odometer-characters{align-items:center;display:flex}.odometer-cell{vertical-align:baseline;height:1em;line-height:1em;display:inline-block;position:relative;overflow:hidden}.odometer-space{height:1em;line-height:1em;display:inline-block}.odometer-measure{visibility:hidden}.odometer-reel{transform:translateY(calc(var(--odometer-progress,0) * -5em));flex-direction:column;display:flex;position:absolute;top:0;left:0;right:0}.odometer-reel>span{height:1em;line-height:1em;display:block}@media (prefers-reduced-motion:no-preference){.odometer-reel{transition-property:transform;transition-duration:.52s;transition-delay:calc(var(--odometer-progress,0) * var(--letter-delay));transition-timing-function:cubic-bezier(.23,1,.32,1)}:where(a,button):hover .odometer{--odometer-progress:1}}.ascii-image{position:relative;overflow:hidden}.ascii-image-original{object-fit:cover;width:100%;height:100%}.ascii-image canvas{width:100%;height:100%;transition:opacity .5s ease-out;position:absolute;inset:0}.ascii-image:hover canvas,.group:hover .ascii-image canvas,.ascii-image[data-active] canvas{opacity:0}.spiral-fallback{color:#f1eee7;place-items:center;display:grid;position:absolute;inset:0;overflow:hidden}.spiral-fallback span{border:1px dotted #f1eee766;border-radius:50%;font:10px GeistMono;animation:linear infinite fallbackRotate;position:absolute;overflow:hidden}@keyframes navMarquee{to{transform:translate(-50%)}}@keyframes fallbackRotate{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.nav-marquee>div,.spiral-fallback span{animation:none}}.site-nav{width:max-content;max-width:calc(100vw - 16px)}.nav-marquee{width:0;min-width:100%}@font-face{font-family:JuliaMono;src:url(/fonts/JuliaMono-Regular.woff2)format("woff2");font-weight:400;font-display:swap}@font-face{font-family:JuliaMono;src:url(/fonts/JuliaMono-Medium.woff2)format("woff2");font-weight:500;font-display:swap}body{background:var(--color-off-white);color:var(--color-black)}:root{--ms-gutter:16px}@media (min-width:1024px){:root{--ms-gutter:80px}}.ms-wordmark{font-family:var(--font-mono);font-size:var(--text-headline-05);text-transform:uppercase;align-items:center;gap:12px;line-height:1;display:flex}.ms-wordmark img{width:40px;height:40px}@media (min-width:1024px){.ms-wordmark img{width:48px;height:48px}}.site-wallet{position:absolute;top:16px;right:16px}.site-wallet .wallet-adapter-button{color:#fff;height:40px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;background:#000;border-radius:8px;padding:0 14px;font-weight:400;box-shadow:0 0 0 1px #ffffff1a}.site-wallet .wallet-adapter-button:not([disabled]):hover{background:#232323}.site-wallet .wallet-adapter-button-start-icon{width:16px;height:16px;margin-right:8px}@media (max-width:1023px){.site-wallet{top:8px;right:8px}}.ms-page{padding:160px var(--ms-gutter) 120px}.ms-eyebrow{font-family:var(--font-mono);font-size:var(--text-caption-20);text-transform:uppercase}.ms-caption{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey)}.ms-title{font-size:var(--text-headline-20);text-wrap:balance;font-weight:500;line-height:1}.ms-h2{font-size:var(--text-headline-10);text-wrap:balance;font-weight:500;line-height:1.1}.ms-lede{font-size:var(--text-body-20);color:var(--color-dark-grey);max-width:560px;line-height:1.25}.ms-body{font-size:var(--text-body-10);line-height:1.35}.ms-grid{grid-template-columns:repeat(12,minmax(0,1fr));gap:48px 16px;display:grid}.ms-col-5{grid-column:span 5}.ms-col-7{grid-column:span 7}.ms-col-4{grid-column:span 4}.ms-col-8{grid-column:span 8}.ms-col-6{grid-column:span 6}.ms-col-12{grid-column:span 12}.ms-right-5{grid-column:8/span 5}.ms-right-6{grid-column:7/span 6}.ms-right-7{grid-column:6/span 7}@media (max-width:1023px){.ms-grid>*{grid-column:1/-1!important}}.ms-stack{flex-direction:column;gap:24px;display:flex}.ms-row{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.ms-spread{justify-content:space-between}.ms-link{text-underline-offset:3px;-webkit-text-decoration:underline dashed;text-decoration:underline dashed}.ms-link:hover{color:var(--color-black-deep)}.ms-dark .ms-link:hover{color:#fff}.ms-split{font-family:var(--font-mono);font-size:var(--text-body-10);text-transform:uppercase;white-space:nowrap;cursor:pointer;align-items:center;display:inline-flex;position:relative}.ms-split>span{background:var(--color-black);height:48px;color:var(--color-off-white);border-radius:8px;align-items:center;padding:0 24px;transition:background .2s,color .2s;display:inline-flex}.ms-split>i{background:var(--color-black);clip-path:polygon(0 0,16% 0,25% 7%,50% 9%,75% 7%,84% 0,100% 0,100% 100%,84% 100%,75% 93%,50% 91%,25% 93%,16% 100%,0 100%);width:6px;height:26px;margin:0 -1px;transition:background .2s}.ms-split>b{background:var(--color-accent);border-radius:50%;width:6px;height:6px;position:absolute;top:8px;right:8px;box-shadow:0 0 0 3px #ff910033}.ms-split:hover>span,.ms-split:hover>i{background:var(--color-black-deep)}.ms-split.light>span,.ms-split.light>i{background:var(--color-ghost-grey);color:var(--color-black)}.ms-split.light:hover>span,.ms-split.light:hover>i{background:#fff}.ms-split[aria-disabled=true],.ms-split:disabled{opacity:.45;pointer-events:none}.ms-btn{background:var(--color-ghost-grey);height:48px;color:var(--color-black);font-family:var(--font-mono);font-size:var(--text-body-10);text-transform:uppercase;white-space:nowrap;cursor:pointer;border:0;border-radius:8px;justify-content:center;align-items:center;gap:8px;padding:0 24px;transition:background .2s;display:inline-flex}.ms-btn:hover{background:#fff}.ms-btn.small{height:32px;font-size:var(--text-caption-10);border-radius:4px;padding:0 12px}.ms-btn.dark{background:var(--color-black);color:var(--color-off-white)}.ms-btn.dark:hover{background:var(--color-black-deep)}.ms-btn:disabled{opacity:.45;cursor:not-allowed}.ms-tag{height:22px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;letter-spacing:.02em;white-space:nowrap;background:#23232314;border-radius:4px;align-items:center;gap:6px;padding:0 6px;display:inline-flex}.ms-dark .ms-tag{background:#ffffff1a}.ms-tag.open{background:var(--color-black);color:var(--color-off-white)}.ms-tag.live:before,.ms-tag.running:before{content:"";background:var(--color-accent);border-radius:50%;width:6px;height:6px;box-shadow:0 0 0 3px #ff910033}.ms-tag.solved{background:var(--color-accent);color:var(--color-black)}.ms-tag.out_of_budget{background:0 0;outline:1px dashed}.ms-board{flex-direction:column;gap:20px;display:flex}.ms-band{grid-template-columns:120px minmax(0,1fr);align-items:start;gap:16px;display:grid}.ms-band-label{flex-direction:column;gap:4px;padding-top:2px;display:flex}.ms-band-label strong{font-weight:500;font-size:var(--text-body-20);font-family:var(--font-geist-sans);text-transform:none}.ms-cells{grid-template-columns:repeat(15,minmax(0,1fr));gap:4px;display:grid}.ms-cell{aspect-ratio:1;font-family:var(--font-mono);letter-spacing:-.03em;text-transform:uppercase;color:var(--color-dark-grey);background:#2323230f;border-radius:4px;place-items:center;font-size:clamp(8px,.72vw,11px);transition:background .15s,color .15s,transform .15s;display:grid;position:relative}.ms-cell:hover,.ms-cell:focus-visible{color:var(--color-black);z-index:2;background:#fff;transform:translateY(-2px)}.ms-cell[data-state=open]{background:var(--color-black);color:var(--color-off-white)}.ms-cell[data-state=open]:hover{background:var(--color-black-deep);color:#fff}.ms-cell[data-state=attempted]{outline:1px dashed var(--color-black);outline-offset:-1px}.ms-cell[data-state=active]:after,.ms-cell[data-state=proved]:after{content:"";background:var(--color-accent);border-radius:50%;width:5px;height:5px;position:absolute;top:4px;right:4px}.ms-cell[data-state=active]:after{animation:1.8s cubic-bezier(0,0,.2,1) infinite statusPing;box-shadow:0 0 0 2px #ff910044}.ms-cell[data-state=proved]{background:var(--color-accent);color:var(--color-black)}.ms-cell[data-state=proved]:after{display:none}.ms-cell[data-long="1"]>span:first-child{font-size:.8em}.ms-cell[data-dim="1"]{opacity:.15}.ms-dark .ms-cell{color:#ffffff8c;background:#ffffff0f}.ms-dark .ms-cell[data-state=open]{background:var(--color-off-white);color:var(--color-black)}.ms-dark .ms-cell[data-state=proved]{background:var(--color-accent);color:var(--color-black)}.ms-tip{color:#fff;width:max-content;max-width:220px;font-family:var(--font-geist-sans);text-transform:none;letter-spacing:0;text-align:left;opacity:0;pointer-events:none;background:#000;border-radius:4px;padding:6px 8px;font-size:12px;line-height:1.3;transition:opacity .12s,transform .12s;position:absolute;bottom:calc(100% + 8px);left:50%;transform:translate(-50%,4px)}.ms-tip em{font-style:normal;font-family:var(--font-mono);text-transform:uppercase;color:#ffffff8c;margin-bottom:2px;font-size:10px;display:block}.ms-cell:hover .ms-tip,.ms-cell:focus-visible .ms-tip{opacity:1;transform:translate(-50%)}.ms-cells .ms-cell:nth-child(15n+1) .ms-tip,.ms-cells .ms-cell:nth-child(15n+2) .ms-tip{left:0;transform:none}.ms-cells .ms-cell:nth-child(15n) .ms-tip,.ms-cells .ms-cell:nth-child(15n-1) .ms-tip{left:auto;right:0;transform:none}.ms-legend{flex-wrap:wrap;gap:8px 20px;margin-left:136px;display:flex}.ms-legend span{align-items:center;gap:8px;display:inline-flex}.ms-legend i{background:#2323231f;border-radius:2px;width:10px;height:10px}.ms-legend i.open{background:var(--color-black)}.ms-legend i.active{outline:1px dashed var(--color-black);background:0 0;position:relative}.ms-legend i.active:after{content:"";background:var(--color-accent);border-radius:50%;width:5px;height:5px;position:absolute;top:-3px;right:-3px}.ms-legend i.proved{background:var(--color-accent)}@media (max-width:640px){.ms-band{grid-template-columns:1fr;gap:8px}.ms-band-label{flex-direction:row;align-items:baseline;gap:8px}.ms-cells{grid-template-columns:repeat(10,minmax(0,1fr))}.ms-legend{margin-left:0}.ms-tip{display:none}}.ms-chip{width:48px;height:48px;font-family:var(--font-mono);text-transform:uppercase;color:var(--color-dark-grey);background:#23232314;border-radius:4px;flex:none;place-items:center;font-size:11px;display:grid;position:relative}.ms-chip[data-state=open]{background:var(--color-black);color:var(--color-off-white)}.ms-chip[data-state=proved]{background:var(--color-accent);color:var(--color-black)}.ms-chip[data-state=attempted],.ms-chip[data-state=active]{outline-offset:-1px;color:var(--color-black);outline:1px dashed}.ms-chip[data-state=active]:after{content:"";background:var(--color-accent);border-radius:50%;width:6px;height:6px;position:absolute;top:5px;right:5px}.ms-chip.lg{border-radius:8px;width:72px;height:72px;font-size:15px}.ms-filters{background:#2323230f;border-radius:8px;flex-wrap:wrap;align-items:center;gap:4px;width:fit-content;max-width:100%;padding:4px;display:flex}.ms-filters a,.ms-filters button{height:36px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey);border-radius:4px;align-items:center;gap:8px;padding:0 14px;display:inline-flex}.ms-filters a:hover{color:var(--color-black);background:#fff9}.ms-filters a[aria-current=true]{background:var(--color-black);color:var(--color-off-white)}.ms-filters .n{opacity:.55}.ms-search{min-width:260px;max-width:420px;height:44px;font-family:var(--font-mono);font-size:var(--text-body-10);color:var(--color-black);background:0 0;border:1px solid #23232333;border-radius:8px;outline:none;flex:1;padding:0 16px}.ms-search:focus{border-color:#23232399}.ms-plist{border-top:1px solid #23232326}.ms-prow{border-bottom:1px solid #23232326;grid-template-columns:48px minmax(0,1fr) auto;align-items:center;gap:20px;padding:18px 0;display:grid}.ms-prow:hover .ms-prow-title{text-underline-offset:4px;-webkit-text-decoration:underline dashed;text-decoration:underline dashed}.ms-prow-title{font-size:var(--text-body-20);font-weight:500;line-height:1.2}.ms-prow-stmt{font-family:var(--font-mono);font-size:var(--text-caption-10);color:var(--color-dark-grey);white-space:nowrap;text-overflow:ellipsis;margin-top:4px;overflow:hidden}@media (max-width:640px){.ms-prow{grid-template-columns:48px minmax(0,1fr)}.ms-prow>:last-child{grid-column:2}}.ms-thm{font-size:var(--text-body-30);line-height:1.3}.ms-thm .head{font-family:var(--font-mono);font-size:var(--text-caption-20);text-transform:uppercase;color:var(--color-dark-grey);margin-bottom:12px;display:block}.ms-thm p+p{margin-top:.8em}.ms-thm code{font-family:var(--font-mono);background:#23232314;border-radius:4px;padding:1px 5px;font-size:.8em}.ms-code{background:var(--color-black);color:var(--color-off-white);border-radius:8px;position:relative;overflow:hidden}.ms-code-head{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:#ffffff80;border-bottom:1px solid #ffffff14;justify-content:space-between;gap:12px;padding:10px 16px;display:flex}.ms-code pre{font-family:var(--font-mono);white-space:pre-wrap;word-break:break-word;margin:0;padding:16px;font-size:13px;line-height:1.65;overflow-x:auto}.ms-code .kw{color:#fff;font-weight:500}.ms-code .cm{color:#fff6}.ms-code .num{color:var(--color-accent)}.ms-code .sorry,.ms-sorry{background:var(--color-accent);color:var(--color-black);border-radius:2px;padding:0 4px}.ms-sorry{font-family:var(--font-mono)}.ms-qed{font-family:var(--font-mono);color:var(--color-accent)}.ms-receipt{font-family:var(--font-mono);font-size:var(--text-body-10);text-transform:uppercase;line-height:1.6}.ms-receipt .r-rule{color:#23232359;white-space:nowrap;display:flex;overflow:hidden}.ms-receipt .r-rule>span{flex:1;min-width:0;overflow:hidden}.ms-receipt .r-row{min-width:0;display:flex}.ms-receipt .r-row>span{color:#23232359}.ms-receipt .r-row>div{flex:1;justify-content:space-between;align-items:flex-end;gap:1ch;min-width:0;padding:0 2ch;display:flex}.ms-receipt .r-row i{white-space:nowrap;color:#23232359;flex:1;min-width:2ch;font-style:normal;overflow:hidden}.ms-receipt .r-row .k{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.ms-receipt .r-row strong{font-weight:500}.ms-receipt .r-row.muted>div{color:var(--color-dark-grey)}.ms-receipt .r-row.on>div{background:var(--color-black);color:#fff}.ms-receipt .r-row.on i{color:#ffffff59}.ms-fuel{gap:2px;height:10px;margin:6px 2ch;display:flex}.ms-fuel>i{background:#2323231f;flex:1}.ms-fuel>i.on{background:var(--color-black)}.ms-panel{background:#2323230d;border-radius:8px;padding:20px}.ms-panel h3{font-family:var(--font-mono);font-size:var(--text-caption-20);text-transform:uppercase;margin-bottom:12px;font-weight:400}.ms-kv{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;border-bottom:1px solid #2323231a;justify-content:space-between;gap:12px;padding:8px 0;display:flex}.ms-kv:last-child{border-bottom:0}.ms-kv>:first-child{color:var(--color-dark-grey)}.ms-kv>:last-child{text-align:right;word-break:break-all}.ms-empty{outline-offset:-1px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey);border-radius:8px;outline:1px dashed #2323234d;padding:24px;line-height:1.5}.ms-error{color:#c43a1a;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase}.ms-wgrid{grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:16px;display:grid}.ms-wcard{background:#2323230d;border-radius:8px;grid-template-columns:72px minmax(0,1fr);gap:16px;padding:12px;transition:background .2s;display:grid}.ms-wcard:hover{background:#fff}.ms-wcard .ascii-image,.ms-wcard .ms-portrait{border-radius:4px;width:72px;height:72px}.ms-wcard-name{font-size:var(--text-body-20);font-weight:500;line-height:1.15}.ms-portrait{aspect-ratio:1;background:var(--color-black);color:var(--color-off-white);border-radius:8px;position:relative;overflow:hidden}.ms-portrait.ascii-image canvas{opacity:1}.ms-portrait img.ms-initial{display:none}.ms-portrait .ms-initial-glyph{font-family:var(--font-mono);place-items:center;font-size:48%;display:grid;position:absolute;inset:0}.ms-ide-wrap{border-radius:12px;overflow:hidden}.ms-field{flex-direction:column;gap:8px;margin-bottom:24px;display:flex}.ms-field>label,.ms-field>.label{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey)}.ms-input,.ms-field input,.ms-field textarea,.ms-field select{width:100%;min-height:48px;font-family:var(--font-mono);font-size:var(--text-body-10);color:var(--color-black);background:0 0;border:1px solid #23232333;border-radius:8px;outline:none;padding:12px 16px;transition:border-color .2s}.ms-field textarea{resize:vertical;min-height:112px;line-height:1.4}.ms-field select[size]{padding:6px}.ms-input:focus,.ms-field input:focus,.ms-field textarea:focus,.ms-field select:focus{border-color:#23232399}.ms-hint{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey)}.ms-pick{text-align:left;cursor:pointer;border-radius:6px;grid-template-columns:40px minmax(0,1fr) auto;align-items:center;gap:12px;width:100%;padding:6px;display:grid}.ms-pick:hover{background:#ffffffb3}.ms-pick .ms-chip{width:40px;height:40px;font-size:10px}.ms-picker{flex-direction:column;gap:2px;max-height:300px;margin-top:8px;display:flex;overflow-y:auto}.ms-avatar-drop{outline-offset:-1px;text-align:center;cursor:pointer;width:136px;height:136px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey);border-radius:8px;outline:1px dashed #23232359;flex:none;place-items:center;display:grid;overflow:hidden}.ms-avatar-drop img{object-fit:cover;width:100%;height:100%}.ms-sticky{position:sticky;top:120px}@media (max-width:1023px){.ms-sticky{position:static}}.ms-ticket{background:var(--color-black);color:var(--color-off-white);border-radius:12px;overflow:hidden}.ms-ticket-top{border-bottom:1px dashed #ffffff40;flex-direction:column;gap:20px;padding:24px;display:flex;position:relative}.ms-ticket-top:before,.ms-ticket-top:after{content:"";background:var(--color-off-white);border-radius:50%;width:28px;height:28px;position:absolute;bottom:-14px}.ms-ticket-top:before{left:-14px}.ms-ticket-top:after{right:-14px}.ms-ticket-bottom{padding:16px 24px 24px}.ms-ticket .ms-kv{border-bottom-color:#ffffff1f}.ms-ticket .ms-kv>:first-child{color:#ffffff73}.ms-section{padding:72px var(--ms-gutter)}@media (min-width:1024px){.ms-section{padding:160px var(--ms-gutter)}}.ms-dark{background:var(--color-black);color:#fff}.ms-dark .ms-lede{color:var(--color-ghost-grey)}.ms-dark .ms-caption{color:#ffffff80}.ms-term{color:var(--color-off-white);background:#1b1b1b;border-radius:8px;overflow:hidden;box-shadow:0 0 0 1px #ffffff14}.ms-term-head{height:40px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:#ffffff80;border-bottom:1px solid #ffffff14;justify-content:space-between;align-items:center;gap:12px;padding:0 12px;display:flex}.ms-term-head label{cursor:pointer;align-items:center;gap:6px;display:inline-flex}.ms-term-head input{accent-color:var(--color-accent)}.ms-term-body{max-height:70vh;font-family:var(--font-mono);padding:12px 0 16px;font-size:12.5px;line-height:1.6;overflow-y:auto}.ms-ev{padding:6px 16px}.ms-ev .p{color:#fff6}.ms-ev .p b{color:#fff;font-weight:500}.ms-ev pre{white-space:pre-wrap;word-break:break-word;color:#ffffffc7;max-height:320px;margin:2px 0 0;overflow:auto}.ms-ev .say{font-family:var(--font-geist-sans);color:var(--color-ghost-grey);font-size:14.5px}.ms-ev.fail pre{color:#ff9b85}.ms-ev.pass .p b,.ms-ev.pass pre{color:var(--color-accent)}.ms-ev.event{color:#fff6;text-transform:uppercase;font-size:11.5px}.ms-ev.solved{background:var(--color-accent);color:var(--color-black);margin:8px 0;padding:12px 16px}.ms-ev.solved .p,.ms-ev.solved .p b,.ms-ev.solved .say{color:var(--color-black)}.ms-time{float:right;color:#ffffff4d;font-size:10.5px}.ms-odo{font-size:var(--text-display-10);line-height:var(--text-display-10--line-height);letter-spacing:-.045em;font-weight:500;display:flex}.ms-odo .d{height:1lh;position:relative;overflow:clip}.ms-odo .d .m{visibility:hidden}.ms-odo .d .reel{inset-inline:0;flex-direction:column;align-items:center;transition:transform .7s ease-out;display:flex;position:absolute;top:0}.ms-odo .d .reel>span{height:1lh;display:block}.ms-proofs li{border-bottom:1px solid #ffffff26;grid-template-columns:minmax(0,1fr) auto;align-items:baseline;gap:16px;padding:20px 0;display:grid}.katex{font-size:1.02em}.ms-portrait .ascii-image{position:absolute;inset:0}.ms-portrait .ascii-image canvas{color:var(--color-off-white)}.ms-wcard .ms-initial-glyph{font-size:28px}.ms-right-4{grid-column:9/span 4}.ms-plist-dark{border-top-color:#ffffff26}.ms-plist-dark .ms-prow{border-bottom-color:#ffffff26}.ms-plist-dark .ms-prow-stmt{color:#fff6}.ms-dark .ms-filters a{color:#ffffff8c}.ms-dark .ms-filters a:hover{color:#fff;background:#ffffff14}.ms-dark .ms-filters a[aria-current=true]{background:var(--color-off-white);color:var(--color-black)}.ms-dark .ms-chip{color:#fff9;background:#ffffff14}.ms-dark .ms-chip[data-state=open]{background:var(--color-off-white);color:var(--color-black)}.ms-dark .ms-chip[data-state=proved]{background:var(--color-accent);color:var(--color-black)}.ms-dark .ms-chip[data-state=attempted],.ms-dark .ms-chip[data-state=active]{color:#fff}.ms-dark .ms-tag.open{background:var(--color-off-white);color:var(--color-black)}.ms-dark .ms-empty{color:#ffffff80;outline-color:#ffffff4d}.ms-search::placeholder{color:currentColor;opacity:.4}.ms-ide-frame{background-color:var(--color-black-deep);background-image:repeating-conic-gradient(#ffffff38 0% 25%,#0000 0% 50%);background-size:4px 4px;border-radius:8px;height:max(720px,90svh);padding:8px;box-shadow:0 10px 20px #00000026}.btn{background:var(--color-ghost-grey);height:48px;color:var(--color-black);font-family:var(--font-mono);font-size:var(--text-body-10);text-transform:uppercase;cursor:pointer;border-radius:8px;justify-content:center;align-items:center;gap:8px;padding:0 24px;transition:background .2s;display:inline-flex}.btn:hover{background:#fff}.btn.primary{background:var(--color-black);color:var(--color-off-white)}.btn.primary:hover{background:var(--color-black-deep)}.btn:disabled{opacity:.45;cursor:not-allowed}.muted{color:var(--color-dark-grey)}.small{font-size:var(--text-caption-10)}.error{color:#c43a1a;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase}.ms-panel .wallet-adapter-button{background:var(--color-black);height:48px;color:var(--color-off-white);font-family:var(--font-mono);font-size:var(--text-body-10);text-transform:uppercase;border-radius:8px;padding:0 24px;font-weight:400;line-height:48px}.ms-panel .wallet-adapter-button:not([disabled]):hover{background:var(--color-black-deep)}.ms-panel p{font-size:var(--text-body-10);color:var(--color-dark-grey);margin-bottom:12px}.ms-panel code{font-family:var(--font-mono);font-size:var(--text-caption-10);word-break:break-all}.ms-split{align-self:flex-start;width:fit-content}@media (max-width:1023px){[class*=backdropShade]{background:#0009!important}}.ms-pulse{animation:1.2s ease-in-out infinite msPulse}@keyframes msPulse{50%{opacity:.25}}@media (prefers-reduced-motion:reduce){.ms-pulse{animation:none}}.ms-ide-shell{height:100%}.ms-ide-shell.is-full{z-index:100;background-color:var(--color-black-deep);background-image:repeating-conic-gradient(#ffffff38 0% 25%,#0000 0% 50%);background-size:4px 4px;padding:8px;position:fixed;inset:0}.ms-live-pill{cursor:pointer;height:24px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;letter-spacing:.04em;white-space:nowrap;color:#ffffffb3;background:#ffffff14;border-radius:999px;align-items:center;gap:8px;padding:0 10px;transition:background .2s;display:inline-flex;box-shadow:inset 0 0 0 1px #ffffff26}.ms-live-pill i{background:#fff6;border-radius:50%;width:7px;height:7px}.ms-live-pill:hover{background:#ffffff24}.ms-live-pill.on{color:var(--color-black);background:var(--color-accent);box-shadow:0 0 0 3px #ff910033}.ms-live-pill.on i{background:var(--color-black)}.ms-live-pill.on.running i{animation:1.4s cubic-bezier(0,0,.2,1) infinite statusPing}.ms-follow-bar{color:#ffffff73;min-height:30px;font-size:var(--text-caption-10);text-transform:uppercase;border-bottom:1px solid #ffffff14;justify-content:space-between;align-items:center;gap:12px;padding:0 16px;display:flex}.ms-follow-bar .crumb{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.ms-follow-bar .note{white-space:nowrap;color:#fff9;align-items:center;gap:6px;display:inline-flex}.ms-follow-bar .note b{color:#fff;font-weight:400}.ms-follow-bar[data-follow] .note{color:var(--color-accent)}.ms-follow-bar[data-follow] .note i{color:var(--color-accent);font-style:normal}.ms-follow-bar .note.action{cursor:pointer;color:#fff;background:#ff910029;border-radius:4px;padding:3px 8px}.ms-follow-bar .note.action:hover{background:#ff91004d}.ms-chat{background:#1d1d1d;border-left:1px solid #ffffff1a;flex-direction:column;flex-shrink:0;width:clamp(320px,34%,520px);min-height:0;display:flex;position:relative}.ms-chat-head{text-transform:uppercase;height:36px;font-size:var(--text-caption-10);color:#fff;border-bottom:1px solid #ffffff14;justify-content:space-between;align-items:center;gap:12px;padding:0 14px;display:flex}.ms-chat-head i{color:var(--color-accent);font-style:normal}.ms-chat-head .muted{color:#ffffff59}.ms-chat-body{scrollbar-width:thin;flex-direction:column;flex:1;gap:8px;min-height:0;padding:10px 12px 16px;display:flex;overflow-y:auto}.ms-turn{background:#ffffff0a;border-left:2px solid #fff3;border-radius:6px;padding:8px 10px}.ms-turn-head{text-transform:uppercase;letter-spacing:.06em;color:#ffffff73;justify-content:space-between;gap:8px;margin-bottom:4px;font-size:10.5px;display:flex}.ms-turn-head time{color:#ffffff4d}.ms-turn p{white-space:pre-wrap;font-family:var(--font-geist-sans);color:var(--color-ghost-grey);margin:0;font-size:13.5px;line-height:1.45}.ms-turn pre{white-space:pre-wrap;word-break:break-word;color:#fffc;max-height:260px;margin:0;font-size:12px;line-height:1.55;overflow:auto}.ms-turn.reasoning{background:0 0;border-left-style:dashed}.ms-turn.reasoning p{color:#ffffff80;font-style:italic}.ms-turn.worker{border-left-color:#fff}.ms-turn.worker .ms-turn-head span,.ms-turn.worker p{color:#fff}.ms-turn.call{background:#d6a87812;border-left-color:#d6a878}.ms-turn.call .ms-turn-head span{color:#d6a878}.ms-turn.result.fail{border-left-color:#ff9b85}.ms-turn.result.fail .ms-turn-head span,.ms-turn.result.fail pre{color:#ff9b85}.ms-turn.result.pass{border-left-color:var(--color-accent)}.ms-turn.result.pass .ms-turn-head span,.ms-turn.result.pass pre{color:var(--color-accent)}.ms-turn.solved{background:var(--color-accent);border-left-color:var(--color-black)}.ms-turn.solved .ms-turn-head span,.ms-turn.solved .ms-turn-head time,.ms-turn.solved p{color:var(--color-black)}.ms-turn.prompt{background:0 0}.ms-turn-link{color:#fff9;text-underline-offset:3px;cursor:pointer;text-align:left;font-size:12px;-webkit-text-decoration:underline dashed;text-decoration:underline dashed}.ms-turn-link:hover{color:#fff}.ms-turn-divider{color:#ffffff59;text-transform:uppercase;letter-spacing:.05em;align-items:center;gap:10px;font-size:10.5px;display:flex}.ms-turn-divider:before,.ms-turn-divider:after{content:"";border-top:1px dashed #ffffff26;flex:1}.ms-turn-divider span{text-align:center;max-width:80%}.ms-chat-now{color:var(--color-accent);font-size:var(--text-caption-10);text-transform:uppercase;background:#ff91000f;border-top:1px solid #ffffff14;align-items:center;gap:10px;padding:10px 14px;display:flex}.ms-chat-now>i{font-style:normal;animation:1.2s ease-in-out infinite msPulse}.ms-dots{gap:3px;display:inline-flex}.ms-dots i{background:var(--color-accent);border-radius:50%;width:5px;height:5px;animation:1.2s ease-in-out infinite msDot}.ms-dots i:nth-child(2){animation-delay:.15s}.ms-dots i:nth-child(3){animation-delay:.3s}@keyframes msDot{0%,80%,to{opacity:.25;transform:translateY(0)}40%{opacity:1;transform:translateY(-3px)}}.ms-chat-jump{cursor:pointer;color:var(--color-black);font-size:var(--text-caption-10);text-transform:uppercase;background:#fff;border-radius:999px;padding:6px 12px;position:absolute;bottom:56px;left:50%;transform:translate(-50%);box-shadow:0 6px 16px #0006}@media (max-width:1023px){.ms-ide-frame{height:auto}.ms-ide-shell:not(.is-full) [class*=ideWorkspace]{flex-direction:column}.ms-ide-shell:not(.is-full) [class*=editorColumn]{min-height:420px}.ms-chat{border-top:1px solid #ffffff1a;border-left:0;width:100%;height:460px}.ms-ide-shell:not(.is-full)>div{height:auto}}@media (prefers-reduced-motion:reduce){.ms-dots i,.ms-chat-now>i,.ms-live-pill.on.running i{animation:none}}.ms-ide-title{white-space:nowrap;text-overflow:ellipsis;min-width:0;overflow:hidden}.ms-live-pill{flex-shrink:0;margin-left:10px}.ms-chat-head>span{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.ms-follow-bar .crumb{min-width:60px}.ms-writeup{background:#2323230d;border-radius:8px;flex-direction:column;gap:20px;padding:24px;display:flex}.ms-writeup.pending{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey);flex-direction:row;align-items:center;gap:10px}.ms-writeup.pending>span{color:var(--color-accent)}.ms-pdf{background:#fff;border:0;border-radius:6px;width:100%;height:min(900px,85svh);box-shadow:0 0 0 1px #2323231f}.ms-turn.writeup{border-left-color:var(--color-accent);background:#ff91001a}.ms-turn.writeup .ms-turn-head span{color:var(--color-accent)}.ms-turn-links{flex-wrap:wrap;gap:10px;margin-top:6px;display:flex}.ms-turn-links a{color:#fff;text-underline-offset:3px;font-size:12px;-webkit-text-decoration:underline dashed;text-decoration:underline dashed}.fx{flex-direction:column;gap:16px;display:flex}.fx-stats{grid-template-columns:repeat(3,1fr);gap:16px;display:grid}.fx-stats>div{background:var(--color-black);color:var(--color-off-white);border-radius:12px;flex-direction:column;gap:10px;padding:24px;display:flex}.fx-stats .ms-caption{color:#ffffff80}.fx-num{letter-spacing:-.03em;font-variant-numeric:tabular-nums;font-size:clamp(36px,5vw,64px);font-weight:500;line-height:1}.fx-accent{color:var(--color-accent)}.fx-sub{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:#ffffff73}.fx-stage{background:var(--color-black);border-radius:12px;height:420px;position:relative;overflow:hidden}.fx-stage canvas{width:100%;height:100%;display:block}.fx-empty{text-align:center;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:#ffffff8c;position:absolute;inset:auto 0 24px}.fx-lists{grid-template-columns:1fr 1fr;gap:16px;margin-top:24px;display:grid}.fx-head{border-bottom:1px solid #23232326;margin-bottom:4px;padding-bottom:12px}.fx-row{border-bottom:1px solid #23232314;grid-template-columns:1fr auto auto;align-items:baseline;gap:16px;padding:12px 0;display:grid}.fx-row:hover span{text-decoration:underline}.fx-row i{font-style:normal;font-family:var(--font-mono);font-size:var(--text-caption-10);color:var(--color-accent);margin-left:6px}.fx-row b{font-variant-numeric:tabular-nums;font-weight:500}.fx-row em{font-style:normal;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;color:var(--color-dark-grey);text-align:right;min-width:84px}.fx-none{color:var(--color-dark-grey);padding:16px 0}.fx-notes{max-width:1200px;color:var(--color-dark-grey);grid-template-columns:repeat(3,1fr);gap:24px;margin-top:56px;display:grid}.fx-notes b{color:var(--color-black);font-weight:500}@media (max-width:860px){.fx-stats,.fx-lists,.fx-notes{grid-template-columns:1fr}.fx-stage{height:360px}}.tw-toc{font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;flex-wrap:wrap;gap:8px 24px;display:flex}.tw-section{margin-top:64px}.tw-shead{border-bottom:1px solid #23232326;flex-wrap:wrap;align-items:baseline;gap:16px;margin-bottom:20px;padding-bottom:12px;display:flex}.tw-shead h2{font-size:var(--text-body-20);font-weight:500}.tw-shead p{color:var(--color-dark-grey)}.tw-grid{grid-template-columns:repeat(auto-fill,minmax(min(100%,520px),1fr));gap:20px;display:grid}.tw-card{background:#fff;border:1px solid #23232314;border-radius:12px;flex-direction:column;display:flex;overflow:hidden}.tw-media{background:var(--color-black);aspect-ratio:16/9;place-items:center;display:grid}.tw-media img,.tw-media video{object-fit:contain;width:100%;height:100%;display:block}.tw-body{flex-direction:column;flex:1;gap:12px;padding:20px;display:flex}.tw-text{white-space:pre-wrap;flex:1;line-height:1.4}.tw-muted{color:var(--color-dark-grey)}.tw-actions{flex-wrap:wrap;gap:8px;display:flex}.tw-btn{cursor:pointer;height:36px;font-family:var(--font-mono);font-size:var(--text-caption-10);text-transform:uppercase;background:var(--color-ghost-grey);color:var(--color-black);border:0;border-radius:8px;align-items:center;gap:8px;padding:0 14px;display:inline-flex}.tw-btn.dark{background:var(--color-black);color:var(--color-off-white)}.tw-btn.ghost{outline-offset:-1px;background:0 0;outline:1px solid #23232333}.tw-btn.ok{background:var(--color-accent)}.tw-btn span{opacity:.55}