@font-face{font-family:jetbrains mono;src:url(/fonts/JetBrainsMono-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:jetbrains mono;src:url(/fonts/JetBrainsMono-Italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:jetbrains mono;src:url(/fonts/JetBrainsMono-Bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--font-family:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--line-height:1.2rem;--border-thickness:2px;--text:#000;--muted:#666;--bg:#fff;--bg-alt:#eee;--accent:#0b5cad;color-scheme:light dark;font-family:var(--font-family);font-size:16px;font-weight:400;font-variant-numeric:tabular-nums lining-nums;-webkit-text-size-adjust:100%;text-size-adjust:100%}@media(prefers-color-scheme:dark){:root{--text:#fff;--muted:#aaa;--bg:#000;--bg-alt:#1a1a1a;--accent:#6cb4ff}}@media screen and (max-width:480px){:root{font-size:14px}}*,*::before,*::after{box-sizing:border-box}html{background:var(--bg);color:var(--text)}body{width:100%;max-width:80ch;margin:0 auto;padding:var(--line-height)2ch;background:var(--bg);color:var(--text);line-height:var(--line-height);overflow-wrap:break-word}@media screen and (max-width:480px){body{padding:var(--line-height)1ch}}p,ul,ol,pre,blockquote,figure,.highlight,.table-wrap{margin:0 0 var(--line-height)}h1,h2,h3,h4,h5,h6{margin:calc(var(--line-height) * 2)0 var(--line-height);font-size:1rem;font-weight:700;line-height:var(--line-height)}h1{font-size:2rem;line-height:calc(var(--line-height) * 2);margin-bottom:var(--line-height);text-transform:uppercase}h2{text-transform:uppercase}@media screen and (max-width:480px){h1{font-size:1.4rem;line-height:calc(var(--line-height) * 1.5)}}strong,b,th{font-weight:700}a{text-decoration-thickness:1px;text-underline-offset:2px}a:link,a:visited{color:var(--accent)}a:hover{text-decoration-thickness:var(--border-thickness)}hr{position:relative;display:block;height:var(--line-height);margin:calc(var(--line-height) * 1.5)0;border:none}hr::after{content:"";position:absolute;top:calc(var(--line-height)/2 - var(--border-thickness));left:0;width:100%;height:0;border-top:calc(var(--border-thickness) * 3)double var(--text)}ul{padding:0}ul>li{position:relative;padding-left:3ch;list-style:none}ul>li::before{content:"-";position:absolute;left:1ch}ol{padding-left:3ch}li>ul,li>ol{margin:0}li>p{margin:0}blockquote{padding:0 0 0 2ch;border-left:var(--border-thickness)solid var(--muted);color:var(--muted)}blockquote>:last-child{margin-bottom:0}code,kbd,samp,pre{font-family:var(--font-family);font-size:1em;font-variant-ligatures:none;tab-size:4}:not(pre)>code{padding:0 .5ch;background:var(--bg-alt)}pre{overflow-x:auto;padding:calc(var(--line-height) - var(--border-thickness))0;border-top:var(--border-thickness)solid var(--text);border-bottom:var(--border-thickness)solid var(--text);line-height:var(--line-height);white-space:pre}.highlight pre{margin:0}.table-wrap{overflow-x:auto}table{width:100%;border-collapse:collapse}th,td{padding:calc(var(--line-height)/2)calc(1ch - var(--border-thickness)/2)calc(var(--line-height)/2 - var(--border-thickness));border:var(--border-thickness)solid var(--text);line-height:var(--line-height);text-align:left;vertical-align:top}th.align-left,td.align-left{text-align:left}th.align-center,td.align-center{text-align:center}th.align-right,td.align-right{text-align:right}img{max-width:100%;height:auto}time,.meta{color:var(--muted)}.site-header{margin-bottom:calc(var(--line-height) * 2)}.site-header table{margin:0}.site-header .title{margin:0;font-size:2rem;line-height:calc(var(--line-height) * 2);font-weight:700;text-transform:uppercase}.site-header .title a:link,.site-header .title a:visited{color:var(--text);text-decoration:none}.site-header .subtitle{margin:0;color:var(--muted)}.site-header th{width:0;white-space:nowrap}.site-header nav{display:flex;flex-wrap:wrap;gap:0 2ch}.site-header nav a[aria-current=page]{color:var(--text);font-weight:700;text-decoration:none}@media screen and (max-width:480px){.site-header .title{font-size:1.4rem;line-height:calc(var(--line-height) * 1.5)}}.article-list>li{margin-bottom:var(--line-height)}.article-list>li::before{content:">"}.article-list time{display:block}.article-list p{margin:0}.site-footer{margin-top:calc(var(--line-height) * 3);padding-top:calc(var(--line-height) - var(--border-thickness));border-top:var(--border-thickness)solid var(--text);color:var(--muted)}.page-resume main{--line-height:1.45rem;line-height:var(--line-height)}.bg,.chroma{background-color:transparent;-webkit-text-size-adjust:none}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:var(--bg-alt)}.chroma .lnt,.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:1ch;padding:0 1ch 0 0;color:var(--muted)}.chroma .line{display:flex}.chroma .k,.chroma .kc,.chroma .kd,.chroma .kn,.chroma .kp,.chroma .kr,.chroma .kt,.chroma .ow{color:var(--accent)}.chroma .nc,.chroma .ni,.chroma .ne,.chroma .nn,.chroma .nt,.chroma .nf,.chroma .fm{font-weight:700}.chroma .s,.chroma .sa,.chroma .sb,.chroma .sc,.chroma .dl,.chroma .sd,.chroma .s2,.chroma .sh,.chroma .sx,.chroma .sr,.chroma .s1,.chroma .ss{font-style:italic}.chroma .se,.chroma .si{font-weight:700;font-style:italic}.chroma .c,.chroma .ch,.chroma .cm,.chroma .c1,.chroma .cs,.chroma .cp,.chroma .cpf{color:var(--muted);font-style:italic}.chroma .ge{font-style:italic}.chroma .gh,.chroma .gp,.chroma .gs,.chroma .gu,.chroma .gi{font-weight:700}.chroma .gd{color:var(--muted);text-decoration:line-through}.chroma .err{text-decoration:underline wavy}.verified{color:var(--muted)}.basis{color:var(--muted);white-space:nowrap}.basis a:link,.basis a:visited{color:var(--muted)}.basis a:hover{color:var(--accent)}.guide-toc td:first-child{width:4ch}.os-diff{margin:0 0 var(--line-height);padding:0 0 0 2ch;border-left:var(--border-thickness)solid var(--text)}.os-diff>summary{font-weight:700;cursor:pointer}.os-diff>summary+*{margin-top:var(--line-height)}.os-diff>:last-child{margin-bottom:0}.lab-file{color:var(--muted)}.pager{display:flex;flex-wrap:wrap;justify-content:space-between;gap:0 2ch;margin-top:calc(var(--line-height) * 2);padding-top:calc(var(--line-height) - var(--border-thickness));border-top:var(--border-thickness)solid var(--text)}.widget{margin:0 0 var(--line-height)}.widget fieldset{margin:0 0 var(--line-height);padding:calc(var(--line-height)/2 - var(--border-thickness))1ch calc(var(--line-height)/2);border:var(--border-thickness)solid var(--text)}.widget legend{padding:0 1ch;font-weight:700;text-transform:uppercase}.widget .field{display:grid;grid-template-columns:minmax(0,1fr)30ch;gap:0 2ch;align-items:center;margin-bottom:calc(var(--line-height)/2)}.widget .field-error{grid-column:1/-1}.widget .field-error:empty,.widget-status:empty{display:none}.widget input,.widget select,.widget button,.widget textarea{width:100%;height:calc(var(--line-height) * 2);padding:0 1ch;font:inherit;color:var(--text);background:var(--bg);border:var(--border-thickness)solid var(--text);border-radius:0}.widget button{width:auto;cursor:pointer;font-weight:700}.widget textarea{height:auto;line-height:var(--line-height);resize:vertical}.widget input[type=checkbox]{width:auto;height:auto;margin:0;accent-color:var(--accent)}.widget input:focus-visible,.widget select:focus-visible,.widget button:focus-visible,.widget textarea:focus-visible{outline:var(--border-thickness)solid var(--accent);outline-offset:var(--border-thickness)}.widget input[aria-invalid=true],.widget textarea[aria-invalid=true]{border-style:dashed}.widget .field-error,.widget-status{font-weight:700}.widget-caption{color:var(--muted)}.widget .field.field-check{grid-template-columns:2ch minmax(0,1fr)}.widget .field.field-wide{grid-template-columns:minmax(0,1fr)}.widget .copy-btn{height:auto;line-height:calc(var(--line-height) - 2 * var(--border-thickness));font-weight:400}.es-config-bar{display:flex;flex-wrap:wrap;align-items:center;gap:0 1ch;margin:0}.es-config-untested.widget-caption{color:var(--text);font-weight:700}.es-quorum-presets{display:flex;flex-wrap:wrap;gap:calc(var(--line-height)/2)1ch}.es-quorum-uncertain{color:var(--muted)}@media screen and (max-width:480px){.widget .field{grid-template-columns:minmax(0,1fr)}}