:root{--bg:rgb(26, 14, 38);--panel:rgba(255,255,255,0.05);--border:rgba(255,255,255,0.10);--text:rgb(205, 205, 205);--muted:rgb(165, 165, 165);--link:rgb(139, 212, 80);--link-hover:rgb(150, 95, 212);--radius:6px;--radius-sm:4px;--mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--important-orange:232 121 12;--important-purple:26 14 38;--important-green:139 212 80;--math-green:139 212 80;--math-purple:150 95 212;--math-grey:44 42 50;--math-grey-strong:58 56 64;--math-proof:165 165 165}*,*::before,*::after{box-sizing:border-box}html{background:radial-gradient(1200px 700px at 15% -10%,rgba(150,95,212,.2),transparent 55%),radial-gradient(900px 600px at 95% 0%,rgba(139,212,80,.12),transparent 55%),radial-gradient(800px 500px at 50% 110%,rgba(255,255,255,6%),transparent 60%),var(--bg);background-repeat:no-repeat,no-repeat,no-repeat,no-repeat;background-attachment:fixed}html,body{height:100%}body{margin:0;min-height:100vh;display:flex;flex-direction:column;color:var(--text);font:16px/1.7 system-ui,-apple-system,segoe ui,Roboto,sans-serif;background:0 0}a{color:var(--link)}a:hover,a:focus{color:var(--link-hover)}.important-box{position:relative;overflow:hidden;margin:1.5rem 0;padding:1rem 1.15rem;border:1px solid rgb(var(--important-orange)/.5);border-left:.45rem solid rgb(var(--important-orange));border-radius:var(--radius);background:linear-gradient( 135deg,rgb(var(--important-orange)/.17),rgb(var(--important-orange)/.06) 45%,rgb(255 255 255/.025) ),rgb(255 255 255/.035);color:var(--text);box-shadow:0 .25rem .8rem rgb(0 0 0/.22),inset 0 0 0 1px rgb(255 255 255/.035)}.important-box::before{content:"";position:absolute;top:0;right:0;width:4.2rem;height:4.2rem;background:repeating-linear-gradient( 135deg,rgb(var(--important-orange)/.9) 0,rgb(var(--important-orange)/.9) .35rem,rgb(var(--important-purple)/.9) .35rem,rgb(var(--important-purple)/.9) .7rem );clip-path:polygon(100% 0,0 0,100% 100%);opacity:.9}.important-box::after{content:"";position:absolute;bottom:.55rem;right:.65rem;width:2.2rem;height:.75rem;border-right:2px solid rgb(var(--important-green)/.65);border-bottom:2px solid rgb(var(--important-green)/.65);opacity:.8}.important-box__label,.important-box__content{position:relative;z-index:1}.important-box__label{display:inline-block;margin-bottom:.45rem;padding:.12rem .45rem;color:rgb(var(--important-purple));background:rgb(var(--important-orange));font-family:var(--mono);font-size:.72rem;font-weight:900;letter-spacing:.09em;line-height:1.4;text-transform:uppercase}.important-box__content>:first-child{margin-top:0}.important-box__content>:last-child{margin-bottom:0}.math-term,dfn.math-term{display:inline-block;margin:0 .05em;padding:.01em .34em .04em;border:1px solid rgb(var(--math-green)/.72);border-radius:3px;background:linear-gradient( 180deg,rgb(var(--math-green)/.16),rgb(var(--math-green)/.06) );color:var(--text);box-shadow:0 0 .45rem rgb(var(--math-green)/.14);font-style:normal;font-weight:750;line-height:1.35;white-space:nowrap}.math-block{--math-block-accent:var(--math-purple);position:relative;margin:1.5rem 0;padding:1rem 1.15rem;border:1px solid rgb(255 255 255/.12);border-left:.35rem solid rgb(var(--math-block-accent)/.75);border-radius:var(--radius);background:linear-gradient( 135deg,rgb(var(--math-block-accent)/.1),rgb(255 255 255/.035) 45%,rgb(0 0 0/8%) ),rgb(255 255 255/.035);color:var(--text);box-shadow:0 .25rem .8rem rgb(0 0 0/.18),inset 0 0 0 1px rgb(255 255 255/.025)}.math-block>:first-child,.math-block__content>:first-child{margin-top:0}.math-block>:last-child,.math-block__content>:last-child{margin-bottom:0}.math-block__title,.math-block-title{display:inline-block;margin:0 0 .55rem;padding:.12rem .5rem;border:1px solid rgb(var(--math-block-accent)/.5);border-radius:999px;background:rgb(var(--math-block-accent)/.12);color:rgb(var(--math-block-accent));font-family:var(--mono);font-size:.72rem;font-weight:900;letter-spacing:.08em;line-height:1.4;text-transform:uppercase}.math-block.result{--math-block-accent:var(--math-purple)}.math-block.definition{--math-block-accent:var(--math-green)}.math-block.example,.math-block.go-example{--math-block-accent:var(--math-proof);border-color:rgb(255 255 255/.14);border-left-color:rgb(var(--math-grey-strong)/.95);background:linear-gradient( 135deg,rgb(255 255 255/.075),rgb(255 255 255/.035) 45%,rgb(0 0 0/.1) ),rgb(var(--math-grey)/.72)}.math-block.example .math-block__title,.math-block.example .math-block-title,.math-block.go-example .math-block__title,.math-block.go-example .math-block-title{border-color:rgb(255 255 255/.18);background:rgb(0 0 0/.15);color:var(--muted)}.math-block.go-example .math-block__title,.math-block.go-example .math-block-title{color:var(--text)}.math-block.go-example{padding:1.05rem}.math-block.go-example :is(img,svg),.math-figure :is(img,svg){display:block;max-width:100%;height:auto;margin:1rem auto}.math-caption,.math-block figcaption,.math-figure figcaption{margin-top:.65rem;color:var(--muted);font-size:.92rem;line-height:1.5}.math-caption>:first-child,.math-block figcaption>:first-child,.math-figure figcaption>:first-child{margin-top:0}.math-caption>:last-child,.math-block figcaption>:last-child,.math-figure figcaption>:last-child{margin-bottom:0}.math-proof{margin:1.25rem 0;border:1px solid rgb(255 255 255/.1);border-left:.25rem solid rgb(var(--math-proof)/.65);border-radius:var(--radius);background:rgb(0 0 0/.14);overflow:hidden}.math-proof>summary{cursor:pointer;list-style:none;padding:.72rem 1rem;color:var(--muted);font-family:var(--mono);font-size:.76rem;font-weight:900;letter-spacing:.08em;line-height:1.35;text-transform:uppercase;user-select:none}.math-proof>summary::-webkit-details-marker{display:none}.math-proof>summary::before{content:"▸";display:inline-block;margin-right:.45rem;color:rgb(var(--math-green))}.math-proof[open]>summary::before{content:"▾"}.math-proof>summary:hover,.math-proof>summary:focus-visible{background:rgb(255 255 255/4%);color:var(--text)}.math-proof__content{padding:.85rem 1rem 1rem;border-top:1px solid rgb(255 255 255/8%)}.math-proof__content>:first-child{margin-top:0}.math-proof__content>:last-child{margin-bottom:0}.math-proof>summary~:not(.math-proof__content){margin-left:1rem;margin-right:1rem}.math-proof>summary+:not(.math-proof__content){margin-top:.85rem;padding-top:.85rem;border-top:1px solid rgb(255 255 255/8%)}.math-proof>:last-child:not(summary){margin-bottom:1rem}.math-remark{margin:1.15rem 0;padding:.55rem .8rem;border-left:.25rem solid rgb(var(--math-purple)/.45);border-radius:var(--radius-sm);background:rgb(255 255 255/.025);color:var(--text)}.math-remark>:first-child{margin-top:0}.math-remark>:last-child{margin-bottom:0}@media(max-width:700px){.math-block,.important-box{padding:.85rem .9rem}.math-block{border-left-width:.28rem}.math-block.go-example{padding:.85rem}.math-proof>summary,.math-proof__content{padding-left:.85rem;padding-right:.85rem}}::-moz-selection{background:var(--link);color:#000;text-shadow:none}:focus-visible{outline:2px solid rgba(150,95,212,.65);outline-offset:3px;border-radius:8px}main figure.go-example{width:min(100%,34rem);margin:1.75rem auto}main figure.go-example.go-example--medium{width:min(100%,40rem)}main figure.go-example.go-example--large{width:min(100%,54rem)}main figure.go-example .math-block__content{display:flex;justify-content:center}main figure.go-example img.go-board{display:block;width:100%;height:auto;margin:.75rem auto 1rem}main figure.go-example img.go-board--small{max-width:360px}main figure.go-example img.go-board--medium{max-width:460px}main figure.go-example img.go-board--large{max-width:760px}main figure.go-example .math-caption{max-width:none;margin-top:.75rem;color:var(--text);font-size:1.03rem;line-height:1.58}@media(max-width:700px){main figure.go-example,main figure.go-example.go-example--medium,main figure.go-example.go-example--large{width:100%}main figure.go-example img.go-board--small,main figure.go-example img.go-board--medium,main figure.go-example img.go-board--large{max-width:100%}}@media(min-width:800px){main figure.go-example.go-example--side{width:min(100%,58rem);display:grid;grid-template-columns:minmax(18rem,.9fr)minmax(18rem,1.1fr);column-gap:1.35rem;row-gap:.65rem;align-items:start}main figure.go-example.go-example--side .math-block__title,main figure.go-example.go-example--side .math-block-title{grid-column:1/-1;justify-self:start;width:fit-content;max-width:100%;margin-bottom:.1rem}main figure.go-example.go-example--side .math-block__content{grid-column:1;justify-content:center;align-self:start;min-width:0}main figure.go-example.go-example--side .math-caption{grid-column:2;align-self:start;margin-top:0}main figure.go-example.go-example--side img.go-board{margin:0 auto}}main{flex:1;max-width:1100px;width:100%;margin:0 auto;padding:1.1rem;padding-top:1.4rem;padding-bottom:1.1rem}main>h1{text-align:center;margin-top:0}.home-grid{display:grid;grid-template-columns:512px 1fr;gap:1.2rem;align-items:start;margin-top:1rem}.home-left{min-width:0}.home-right{min-width:0}.avatar-wrap{display:block;margin:1rem 0}img.avatar,.avatar img{width:512px;height:auto;max-width:100%;display:block;border-radius:12px;border:1px solid rgba(255,255,255,.1)}@media(max-width:900px){.home-grid{grid-template-columns:1fr;gap:.8rem}main{padding-left:.8rem;padding-right:.8rem;padding-top:3rem}img.avatar,.avatar img{width:256px}.home-left{display:flex;flex-direction:column;align-items:center}.home-nav{width:100%;max-width:22rem}}code,pre{background:rgba(0,0,0,.22);border:1px solid rgba(255,255,255,8%);border-radius:var(--radius-sm);font-family:var(--mono);font-size:.95em}code{padding:.12rem .35rem}pre{padding:1rem 1.05rem;overflow:auto}pre code{padding:0;border:0;background:0 0}img{max-width:100%;height:auto;display:block;margin:1rem 0}main img{border-radius:12px;border:1px solid rgba(255,255,255,.1)}.home-nav{margin-top:1rem;padding:.75rem;border:1px solid rgba(255,255,255,.1);border-radius:var(--radius);background:rgba(255,255,255,4%)}.home-nav a{display:block;padding:.45rem .6rem;border-radius:calc(var(--radius) * .7);text-decoration:none;color:inherit}.home-nav a:hover{background:rgba(255,255,255,6%)}.post-list{list-style:none;padding:0;margin:0;display:flex;flex-direction:column;gap:.25rem}.post-item+.post-item{border-top:1px solid var(--text);margin-top:.5rem;padding-top:.5rem}.post-title{font-weight:600;color:var(--link)}.post-meta{color:var(--text)}.post-link{display:block;color:inherit;padding:.4rem 1.05rem;border-radius:var(--radius);text-decoration:none;border:.05rem solid transparent}.post-excerpt{color:inherit;opacity:.85}footer{width:100%}.post-pager,.page-links{width:100%;padding:.75rem 1rem;border-top:1px solid rgba(255,255,255,.1);display:grid;gap:.5rem}.page-links{grid-template-columns:repeat(6,1fr)}.page-links .pager-link{text-align:center}.post-pager{grid-template-columns:1fr auto 1fr;align-items:center}.post-pager .pager-link:first-child{justify-self:start}.post-pager .pager-home{justify-self:center}.post-pager .pager-link:last-child{justify-self:end}.pager-link{color:inherit;text-decoration:none;padding:.35rem .6rem;border-radius:var(--radius-sm)}@media(max-width:900px){.page-links{grid-template-columns:repeat(3,1fr)}}@media(max-width:520px){.page-links{grid-template-columns:repeat(2,1fr)}}.lang-switcher{position:fixed;top:1rem;right:1.25rem;z-index:1000;font-size:.85rem;line-height:1;letter-spacing:.03em}.lang-switcher a,.lang-switcher span{color:inherit;text-decoration:none}.lang-switcher a{opacity:.65}.lang-switcher a:hover{opacity:1;text-decoration:underline}.lang-switcher .is-active{font-weight:700;opacity:1}.lang-switcher .separator{opacity:.35;margin:0 .25rem}main table{width:100%;margin:1.25rem 0;border-collapse:separate;border-spacing:0;font-size:.95rem;line-height:1.45;border:1px solid var(--border);border-radius:var(--radius);background:rgba(255,255,255,.035);overflow:hidden}main th,main td{padding:.55rem .75rem;border-bottom:1px solid rgba(255,255,255,.1);vertical-align:top}main th{color:var(--link);font-weight:700;text-align:left;background:rgba(255,255,255,.055)}main tr:last-child td{border-bottom:0}main tbody tr:nth-child(even){background:rgba(255,255,255,.025)}main td code,main th code{white-space:nowrap}@media(max-width:700px){main table{display:block;max-width:100%;overflow-x:auto;-webkit-overflow-scrolling:touch}main th,main td{white-space:nowrap}main td{max-width:22rem}}