:root{--site-sidebar-width:280px;--site-topbar-height:4rem;--site-rule-width:3px;--site-article-width:68ch;--site-article-block-space:var(--s-5);--site-article-inline-space:var(--s-4);--site-article-frame-width:var(--s-6);--site-sidebar-background:light-dark(color-mix(in srgb,var(--surface-sunken)32%,var(--surface-canvas)),var(--surface-raised));--site-sidebar-foreground:var(--text-normal);--site-sidebar-border:var(--border-default);--site-mobile-sidebar-header-padding:var(--site-mobile-sheet-top-space)calc(var(--site-mobile-sheet-inline-space) + var(--site-mobile-trigger-size) + var(--s-2))var(--s-2)var(--site-mobile-sheet-inline-space);--site-mobile-sidebar-content-gap:0;--site-mobile-sidebar-group-padding-block:var(--site-mobile-profile-nav-gap)var(--s-2);--site-mobile-sidebar-group-padding-inline:var(--s-4);--site-brand-mark-width:22px;--site-brand-mark-height:35px;--site-brand-avatar-radius:11px 14px 9px 12px;--site-mobile-trigger-size:36px;--site-mobile-sheet-top-space:var(--s-5);--site-mobile-sheet-inline-space:var(--s-5);--site-mobile-profile-nav-gap:var(--s-4);--site-mobile-section-gap:var(--s-3);--site-tag-radius:8px 5px 9px 4px;--connect4-max-width:42.5rem;--connect4-board-max-width:35rem;--connect4-radius:var(--r-2);--connect4-control-radius:6px;--connect4-red:#c73545;--connect4-yellow:#e2b93b;--connect4-board:#245c8f;--connect4-cell:#173b5e;--connect4-swatch-border:#0000002e;--connect4-board-shadow:inset 0 0 0 1px #ffffff2e;--connect4-cell-shadow:inset 0 2px 6px #00000061;--connect4-piece-shadow:inset 0 2px 3px #ffffff3d,inset 0 -3px 6px #0000002e;--connect4-piece-colored-shadow:inset 0 2px 3px #ffffff52,inset 0 -4px 7px #00000047,0 1px 1px #00000038;--connect4-red-ring:0 0 0 3px #c735458c;--connect4-yellow-ring:0 0 0 3px #e2b93b8c}.skip-link{position:absolute;left:-9999px}.skip-link:focus{top:var(--s-3);left:var(--s-3);z-index:50;padding:var(--s-2)var(--s-4);border-radius:var(--r-2);background:var(--action);color:var(--text-on-action)}.site-page{background-color:var(--surface-canvas);min-block-size:100dvh;color:var(--text-normal);font-family:var(--font-ui);transition:background-color var(--motion-surface-soak),color var(--motion-control-soak);flex-direction:column;display:flex;overflow-x:clip}.site-shell{min-block-size:0;height:calc(100dvh - var(--site-topbar-height));flex:auto;min-height:0}.site-main{background-color:var(--surface-canvas);block-size:100%;max-block-size:100%;min-inline-size:0;color:var(--text-normal);transition:background-color var(--motion-surface-soak),color var(--motion-control-soak);overflow:auto;container-type:inline-size}.site-article{inline-size:100%;max-inline-size:calc(var(--site-article-width) + var(--site-article-frame-width));padding:var(--site-article-block-space)var(--site-article-inline-space);margin-inline:auto}@media (width>=920px){.site-article{--site-article-block-space:clamp(var(--s-5),4vw,var(--s-9));--site-article-inline-space:clamp(var(--s-4),4vw,var(--s-8));--site-article-frame-width:clamp(var(--s-6),8vw,var(--s-10))}}.site-brand{align-items:center;gap:var(--s-3);min-inline-size:0;color:var(--text-normal);text-decoration:none;display:flex}.site-brand>span{min-inline-size:0}.site-brand [data-slot=avatar]{border-radius:var(--site-brand-avatar-radius);background:var(--surface-sunken);cursor:default;block-size:44px;inline-size:44px;box-shadow:0 0 0 1px var(--border-subtle);flex:none}.site-brand [data-slot=avatar-image]{object-fit:cover}.site-brand-name{text-overflow:ellipsis;white-space:nowrap;color:var(--text-normal);font-family:var(--font-heading);font-size:var(--type-body-lg);font-weight:var(--weight-subheading);letter-spacing:var(--tracking-heading);line-height:1.15;display:block;overflow:hidden}.site-brand-tag{text-overflow:ellipsis;white-space:nowrap;color:var(--text-muted);font-family:var(--font-heading);font-size:var(--type-ui);font-weight:var(--weight-ui);letter-spacing:var(--tracking-wide);margin-block-start:2px;display:block;overflow:hidden}.site-top-bar{z-index:30;inline-size:100%;min-block-size:var(--site-topbar-height);justify-content:flex-end;align-items:center;gap:var(--s-2);padding:var(--s-2)var(--s-4);background-color:var(--surface-canvas);font-family:var(--font-ui);font-size:var(--type-ui);transition:background-color var(--motion-surface-soak);flex-wrap:nowrap;flex:none;display:flex;position:sticky;inset-block-start:0;inset-inline:0;overflow-x:clip}.site-top-bar:after{content:"";block-size:var(--site-rule-width);background:var(--border-default);filter:url(#wobble-rule);pointer-events:none;position:absolute;inset-block-end:0;inset-inline:0}@media (width>=920px){.site-top-bar{padding-inline:var(--s-6)}}.site-top-bar-logo{background:0 0;border:0;margin-inline-end:auto;padding:0;display:inline-flex}.site-top-bar-logo-img{inline-size:var(--site-brand-mark-width);block-size:var(--site-brand-mark-height);display:block}.site-mobile-menu-trigger{appearance:none;inline-size:var(--site-mobile-trigger-size);min-inline-size:var(--site-mobile-trigger-size);block-size:var(--site-mobile-trigger-size);min-block-size:var(--site-mobile-trigger-size);border-radius:var(--control-radius-sm);color:var(--text-muted);cursor:pointer;transition:color var(--motion-control-soak);background:0 0;justify-content:center;align-items:center;padding:0;line-height:0;display:inline-flex}.site-mobile-menu-trigger [data-name=Icon]{block-size:1.35rem;inline-size:1.35rem}.site-mobile-sheet{box-sizing:border-box;background-color:var(--site-sidebar-background);inline-size:min(22rem,100dvw)!important;max-inline-size:100dvw!important;padding:0!important;overflow-x:clip!important}.site-mobile-sidebar{background-color:var(--site-sidebar-background);block-size:100%;min-inline-size:0;max-inline-size:100%;color:var(--site-sidebar-foreground);font-family:var(--font-ui);transition:background-color var(--motion-surface-soak),color var(--motion-control-soak);flex-direction:column;display:flex;overflow-x:clip}.site-mobile-sidebar>[data-name=SidebarHeader]{min-inline-size:0;max-inline-size:100%;padding:var(--site-mobile-sidebar-header-padding)}.site-mobile-sidebar>[data-name=SidebarContent]{gap:var(--site-mobile-sidebar-content-gap);min-inline-size:0;max-inline-size:100%;overflow-x:clip}.site-mobile-sidebar>[data-name=SidebarContent]>[data-name=SidebarGroup]{min-inline-size:0;max-inline-size:100%;padding-block:var(--site-mobile-sidebar-group-padding-block);padding-inline:var(--site-mobile-sidebar-group-padding-inline)}.site-mobile-sidebar>[data-name=SidebarFooter]{min-inline-size:0;max-inline-size:100%;overflow-x:clip}.site-mobile-profile-links{align-content:flex-start;gap:var(--s-2);min-inline-size:0;max-inline-size:100%;padding:var(--site-mobile-section-gap)var(--s-2)var(--s-2);flex-wrap:wrap;margin-block-start:var(--site-mobile-section-gap);display:flex;overflow-x:clip}.site-mobile-profile-links [data-name=Link][data-variant=Control]{max-inline-size:100%}.site-top-bar-links{display:none}.site-top-bar[data-nav-mode=expanded] .site-top-bar-links{display:contents}.site-top-bar[data-nav-mode=expanded] .site-mobile-menu-trigger{display:none}.flow>*+*{margin-block-start:var(--s-4)}.flow>:first-child{margin-block-start:0}.flow h2,.flow h3{color:var(--text-normal);font-family:var(--font-heading);font-weight:var(--weight-heading);letter-spacing:var(--tracking-heading);line-height:var(--leading-heading);text-wrap:balance}.flow h2{margin:var(--s-7)0 var(--s-5);font-size:var(--type-h2);align-items:center;gap:.2em;display:flex}.flow h2>[data-name=Icon]{flex:none;block-size:1.2cap;inline-size:1.2cap}.flow h3{margin:var(--s-6)0 var(--s-3);font-size:var(--type-h3)}.flow code{border-radius:var(--r-1);background:var(--surface-sunken);color:var(--text-normal);padding:1px 6px}.shell-footer{color:var(--text-muted);line-height:var(--leading-snug);opacity:.75}.shell-footer p{font-size:var(--type-caption);margin:0}.me{color:var(--text-normal);font-weight:var(--weight-ui)}.meta-list{gap:var(--s-3);margin:0;padding:0;list-style:none;display:grid}.meta-list>li{column-gap:var(--s-6);grid-template-columns:7rem 1fr;align-items:center;row-gap:0;margin-block-end:0;display:grid}@container (width<=36rem){.meta-list>li{grid-template-columns:1fr;row-gap:2px}}.meta-when{color:var(--text-muted);font-family:var(--font-ui);font-size:var(--type-secondary);font-variant-numeric:tabular-nums;letter-spacing:var(--tracking-wide);white-space:nowrap}.meta-what{color:var(--text-normal);font-family:var(--font-body);font-size:var(--type-body)}.meta-where{color:var(--text-muted);font-family:var(--font-ui);font-size:var(--type-secondary);margin-block-start:2px;display:block}.course-list{gap:var(--s-1);margin:var(--s-2)0 0;color:var(--text-muted);font-family:var(--font-ui);font-size:var(--type-secondary);padding:0;list-style:none;display:grid}.course-list>li{margin-block-end:0}.course-list code{color:var(--text-normal);font-family:var(--font-mono);background:0 0;padding:0;font-size:.85em}.tag-row{gap:var(--s-2);flex-wrap:wrap;margin:0;padding:0;list-style:none;display:flex}.tag-row>li{margin-block-end:0}.tag-row [data-name=Badge]{border-radius:var(--site-tag-radius);block-size:auto;min-block-size:1.6rem;font-family:var(--font-ui);font-size:var(--type-ui)}.dot-item{column-gap:var(--s-3);grid-template-columns:auto 1fr;row-gap:6px;margin-block-end:0;display:grid}.dot-item-icon{block-size:1.6cap;inline-size:1.6cap;transition:transform var(--motion-control-soak);grid-area:1/1;align-self:center}.dot-item:hover .dot-item-icon{transform:scale(1.08)}.dot-item>:not(.dot-item-icon){grid-column:2}.pub-list{gap:var(--s-8);margin:0;padding:0;list-style:none;display:grid}.pub-title{color:var(--text-normal);font-family:var(--font-heading);font-size:var(--type-heading);font-weight:var(--weight-heading);line-height:var(--leading-snug);text-wrap:balance}.pub-authors{color:var(--text-muted);font-family:var(--font-ui);font-size:var(--type-body);line-height:var(--leading-snug)}.pub-venue{color:var(--text-muted);font-family:var(--font-body);font-size:var(--type-secondary);font-style:italic}.page-header{margin-block-end:var(--s-8)}.page-header h1{color:var(--text-normal);font-family:var(--font-heading);font-size:var(--type-h1);font-weight:var(--weight-heading);letter-spacing:var(--tracking-heading);line-height:var(--leading-heading);text-wrap:balance;margin:0}.notfound{min-block-size:40vh;padding-block:var(--s-9);text-align:center;place-items:center;display:grid}.notfound-num{color:var(--text-normal);font-family:var(--font-heading);font-size:clamp(4rem,18vw,10rem);font-weight:var(--weight-heading);letter-spacing:var(--tracking-heading);line-height:1}.notfound-msg{color:var(--text-muted);font-size:var(--type-body-lg);margin:0;font-style:italic}.connect4{box-sizing:border-box;inline-size:100%;max-inline-size:var(--connect4-max-width);margin-block:var(--s-5);display:grid}.connect4>[data-name=Card]{inline-size:100%}.connect4 [data-name=CardContent]{gap:var(--s-4);display:grid}.connect4-toolbar{align-items:center;gap:var(--s-3);font-family:var(--font-ui);background:0 0;border:0;border-radius:0;flex-wrap:wrap;padding:0;display:flex}.connect4-group{align-items:center;display:inline-flex}.connect4-group [data-name=ToggleGroup][data-variant=Outline]{display:inline-flex}.connect4-group [data-name=ToggleGroupItem]{min-inline-size:var(--s-8);min-block-size:var(--s-8);color:var(--text-normal);gap:7px;padding:5px 10px}.connect4-reset{min-block-size:var(--s-8);color:var(--text-normal);font:inherit;cursor:pointer;border-radius:var(--connect4-control-radius);font-family:var(--font-ui);background:0 0;justify-content:center;align-items:center;padding:5px 10px;display:inline-flex}.connect4-swatch{border:1px solid var(--connect4-swatch-border);border-radius:var(--r-pill);block-size:.85rem;inline-size:.85rem}.connect4-red{background:var(--connect4-red)}.connect4-yellow{background:var(--connect4-yellow)}.connect4-status{min-block-size:1.6em;color:var(--text-muted);font-family:var(--font-ui)}.connect4-winrate{align-items:center;gap:var(--s-1)var(--s-3);min-inline-size:0;color:var(--text-normal);font-variant-numeric:tabular-nums;white-space:nowrap;flex-wrap:nowrap;display:flex}.connect4-winrate>span:first-child{text-overflow:ellipsis;min-inline-size:0;overflow:hidden}.connect4-search-progress{inline-size:13ch;color:var(--text-muted);font-size:var(--type-caption);font-variant-numeric:tabular-nums;text-align:start;white-space:nowrap;flex:0 0 13ch}.connect4-status [data-name=Progress]{flex:clamp(4rem,18vw,9rem);inline-size:auto;min-inline-size:3rem;max-inline-size:9rem;margin-block-start:0}.connect4-board{aspect-ratio:7/6;box-sizing:border-box;inline-size:100%;max-inline-size:var(--connect4-board-max-width);padding:var(--s-2);border-radius:var(--connect4-radius);background:var(--connect4-board);box-shadow:var(--connect4-board-shadow);grid-template-columns:repeat(7,minmax(0,1fr));justify-self:center;gap:7px;display:grid}.connect4-cell{aspect-ratio:1;border-radius:var(--r-pill);background:var(--connect4-cell);box-shadow:var(--connect4-cell-shadow);cursor:pointer;place-items:center;display:grid;position:relative}.connect4-last-red{box-shadow:var(--connect4-cell-shadow),var(--connect4-red-ring)}.connect4-last-yellow{box-shadow:var(--connect4-cell-shadow),var(--connect4-yellow-ring)}.connect4-piece{border-radius:var(--r-pill);background-color:var(--surface-canvas);block-size:84%;inline-size:84%;box-shadow:var(--connect4-piece-shadow);transition:background-color var(--motion-surface-soak)}.connect4-piece.connect4-red{background:var(--connect4-red)}.connect4-piece.connect4-yellow{background:var(--connect4-yellow)}.connect4-piece-colored{box-shadow:var(--connect4-piece-colored-shadow)}.connect4-preview{opacity:.45;box-shadow:none;position:absolute;inset:8%}.connect4-preview-red{background:var(--connect4-red);box-shadow:none}.connect4-preview-yellow{background:var(--connect4-yellow);box-shadow:none}@media (width<=520px){.connect4{padding:var(--s-3)}.connect4-toolbar{align-items:stretch}.connect4-group,.connect4-reset{box-sizing:border-box;inline-size:100%}.connect4-group [data-name=ToggleGroup]{inline-size:100%}.connect4-group [data-name=ToggleGroupItem]{flex:1}.connect4-board{gap:5px;padding:6px}}