@font-face{font-family:"PT Sans";src:local("PT Sans"),local("PTSans-Regular"),url("../fonts/PTSans-Regular.woff") format("woff");font-weight:normal;font-style:normal}@font-face{font-family:"PT Sans";src:local("PT Sans Bold"),local("PTSans-Bold"),url("../fonts/PTSans-Bold.woff") format("woff");font-weight:bold;font-style:normal}body{background:#fff;color:#1e293b;font-family:"PT Sans",-apple-system,"Helvetica Neue","Segoe UI","Roboto",sans-serif;font-weight:400;font-size:calc(0.875rem + 0.1vw);line-height:1.75;margin:0;min-height:100vh;-webkit-text-size-adjust:100%;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}@media (prefers-color-scheme: dark){body{background:#1e293b;color:#f1f5f9}}h1,h2,h3,h4,h5,h6{font-weight:700;letter-spacing:-0.015em;line-height:1.3}b,strong,th{font-weight:600}a{color:#2563eb;text-decoration:none}a:hover{text-decoration:underline}header a,footer a,aside a{color:inherit}header time{color:rgba(143,148,157,0.6)}hr{border:none;border-top:1px solid #e2e8f0;margin:2em 0}article:not(:last-of-type){border-bottom:1px solid rgba(143,148,157,0.1)}blockquote{background:rgba(143,148,157,0.04);border-left:3px solid #3b82f6;padding:.75em 1.5em;margin:1.25em 0;border-radius:0 4px 4px 0;color:rgba(143,148,157,0.8)}figure{margin:1em 0}img{margin:.5em 0}li{margin:.35em 0}img{border-radius:3px;max-width:100%;height:auto}table{display:inline-block;max-width:100%;overflow-y:scroll;border-spacing:0;border-radius:4px;box-shadow:0 0 0 1px #e2e8f0 inset}th,td{padding:.55em 1.1em;border-bottom:1px solid #e2e8f0}th{background:rgba(143,148,157,0.05);font-weight:600}tr:hover td{background:rgba(143,148,157,0.03)}pre{background:#1e293b;color:#f1f5f9;border-radius:6px;font-size:.82em;margin:1.5em 0;padding:1em 1.25em;overflow-x:auto}:not(pre)>code{font-size:.88em;background:rgba(143,148,157,0.08);border-radius:3px;margin:0 .1em;padding:.15em .45em}body{display:flex;flex-direction:column}article{flex-grow:1}body>header,body>footer{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between}body>header,body>article,body>footer{padding:1.25em 1.5em}article header{margin-bottom:1.75em}article header h1{font-size:1.75em;margin:0 0 .15em}nav{display:flex;flex-wrap:wrap;align-items:center;margin:.35em -.9em}nav a{display:inline-block;margin:.35em .9em;padding:.25em 0;border-bottom:2px solid transparent;transition:border-color .18s}nav a:hover{text-decoration:none;border-bottom-color:currentColor}nav a.selected{font-weight:600;border-bottom-color:currentColor}.title{font-size:1.3em;font-weight:700;letter-spacing:-0.02em}.site-brand{display:flex;flex-direction:column}.tagline{font-size:.72em;opacity:.65;margin-top:.2em;font-weight:400;letter-spacing:.02em}.more{margin:2em 0 1em}.more a{border-radius:4px;border:1.5px solid #2563eb;padding:.4em .9em;font-weight:600;transition:.2s background,.2s color}.more a:hover{color:#fff;background:#2563eb;text-decoration:none}.archive{font-size:1.1em}.archive time{display:inline-block;min-width:10ch;min-height:1.75em;margin:0 .2em}.icon{height:1em;width:1em;fill:currentColor;transition:.2s color;vertical-align:middle;margin-bottom:.15em}a:hover .icon{opacity:.75}.full table{display:table;width:100%}.katex{overflow-x:auto;overflow-y:hidden}.hero-intro{padding:2.5em 0 1.5em}.hero-intro h1{font-size:2.4em;margin:0 0 .3em;letter-spacing:-0.03em;line-height:1.15}.hero-role{font-size:1.05em;color:#64748b;margin:0 0 1em;font-weight:400}.hero-desc{max-width:42em;margin-bottom:1.5em}.hero-links{display:flex;flex-wrap:wrap;gap:.6em;margin-top:1.75em}.hero-btn{display:inline-block;background:#2563eb;color:#fff !important;padding:.55em 1.35em;border-radius:5px;font-weight:600;font-size:.95em;transition:background .2s,transform .15s}.hero-btn:hover{background:#1350d4;text-decoration:none;transform:translateY(-1px)}.hero-btn-outline{background:transparent;color:#2563eb !important;border:2px solid #2563eb}.hero-btn-outline:hover{background:#2563eb;color:#fff !important}.home-section{margin:2.5em 0 0;padding-top:1.5em;border-top:1px solid #e2e8f0}.home-section h2{margin:0 0 1em;font-size:1.2em;text-transform:uppercase;letter-spacing:.06em;color:#64748b}.area-grid{display:grid;grid-template-columns:repeat(auto-fill, minmax(15em, 1fr));gap:.55em;list-style:none;padding:0;margin:0}.area-grid li{background:rgba(143,148,157,0.04);border-left:3px solid #3b82f6;padding:.6em 1em;border-radius:0 4px 4px 0;font-size:.91em;margin:0}.pub-list{padding-left:1.4em;margin:0 0 .75em}.pub-list li{margin:.85em 0;font-size:.93em}.pub-arrow{display:inline-block;font-weight:600}.rouge-table,.rouge-table th,.rouge-table td,.rouge-table tr,.rouge-table pre{font-size:inherit;background:inherit !important;box-shadow:none;width:initial;margin:0;padding:0}.rouge-table .gl pre{margin:0 1.5em 0 .25em;opacity:.5}.highlight pre{background:rgba(40,55,79,0.9);color:#fff}.highlight .c{color:#a29f90}.highlight .err{color:#960050;background-color:#1e0010}.highlight .k{color:#66d9ef}.highlight .l{color:#ae81ff}.highlight .n{color:#f8f8f2}.highlight .o{color:#f92672}.highlight .p{color:#f8f8f2}.highlight .cm,.highlight .cp,.highlight .c1,.highlight .cs{color:#75715e}.highlight .ge{font-style:italic}.highlight .gs{font-weight:bold}.highlight .kc,.highlight .kd{color:#66d9ef}.highlight .kn{color:#f92672}.highlight .kp,.highlight .kr,.highlight .kt{color:#66d9ef}.highlight .ld{color:#e6db74}.highlight .m{color:#ae81ff}.highlight .s{color:#e6db74}.highlight .na{color:#a6e22e}.highlight .nb{color:#f8f8f2}.highlight .nc{color:#a6e22e}.highlight .no{color:#66d9ef}.highlight .nd{color:#a6e22e}.highlight .ni{color:#f8f8f2}.highlight .ne,.highlight .nf{color:#a6e22e}.highlight .nl,.highlight .nn{color:#f8f8f2}.highlight .nx{color:#a6e22e}.highlight .py{color:#f8f8f2}.highlight .nt{color:#f92672}.highlight .nv{color:#f8f8f2}.highlight .ow{color:#f92672}.highlight .w{color:#f8f8f2}.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#ae81ff}.highlight .sb,.highlight .sc,.highlight .sd,.highlight .s2{color:#e6db74}.highlight .se{color:#ae81ff}.highlight .sh,.highlight .si,.highlight .sx,.highlight .sr,.highlight .s1,.highlight .ss{color:#e6db74}.highlight .bp,.highlight .vc,.highlight .vg,.highlight .vi{color:#f8f8f2}.highlight .il{color:#ae81ff}.highlight .gu{color:#75715e}.highlight .gd{color:#f92672}.highlight .gi{color:#a6e22e}html{background:#eef2f7;padding:0 calc(38% - 22em)}body{box-shadow:0 2px 12px rgba(0,0,0,0.12)}body>header{background:#0f2744;color:#fff;border-top:3px solid #3b82f6}body>footer{background:#0f2744;color:#fff}@media (min-width: 32em){body>header,body>article,body>footer{padding:1.5em calc(22% - 6em)}}@media (prefers-color-scheme: dark){html{background:#0a0f1e}body{background:#1e293b}body>header,body>footer{background:#0a1628}body{box-shadow:0 0 0 1px rgba(59,130,246,0.15),0 2px 12px rgba(0,0,0,0.4)}}