:root{--color-text: #2d3748;--color-text-light: #4a5568;--color-text-muted: #718096;--color-background: #ffffff;--color-background-light: #f7fafc;--color-border: #e2e8f0;--color-accent: #3182ce;--color-accent-hover: #2c5282;--font-family-base: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;--font-family-mono: 'SF Mono', Monaco, 'Cascadia Code', 'Roboto Mono', Consolas, 'Courier New', monospace;--font-size-xs: 0.75rem;--font-size-sm: 0.875rem;--font-size-base: 1rem;--font-size-lg: 1.125rem;--font-size-xl: 1.25rem;--font-size-2xl: 1.5rem;--font-size-3xl: 1.875rem;--font-size-4xl: 2.25rem;--line-height-tight: 1.25;--line-height-normal: 1.5;--line-height-relaxed: 1.625;--font-weight-normal: 400;--font-weight-medium: 500;--font-weight-semibold: 600;--font-weight-bold: 700;--spacing-xs: 0.25rem;--spacing-sm: 0.5rem;--spacing-md: 1rem;--spacing-lg: 1.5rem;--spacing-xl: 2rem;--spacing-2xl: 3rem;--spacing-3xl: 4rem;--border-radius: 0.375rem;--border-width: 1px;--shadow-sm: 0 1px 2px 0 rgba(0, 0, 0, 0.05);--shadow-md: 0 4px 6px -1px rgba(0, 0, 0, 0.1), 0 2px 4px -1px rgba(0, 0, 0, 0.06);--container-max-width: 1024px;--content-max-width: 768px}@media (prefers-color-scheme: dark){:root:not([data-theme="light"]){--color-text: #f7fafc;--color-text-light: #e2e8f0;--color-text-muted: #a0aec0;--color-background: #1a202c;--color-background-light: #2d3748;--color-border: #4a5568;--color-accent: #63b3ed;--color-accent-hover: #4299e1}}[data-theme="dark"]:root{--color-text: #f7fafc;--color-text-light: #e2e8f0;--color-text-muted: #a0aec0;--color-background: #1a202c;--color-background-light: #2d3748;--color-border: #4a5568;--color-accent: #63b3ed;--color-accent-hover: #4299e1}[data-theme="light"]:root{--color-text: #2d3748;--color-text-light: #4a5568;--color-text-muted: #718096;--color-background: #ffffff;--color-background-light: #f7fafc;--color-border: #e2e8f0;--color-accent: #3182ce;--color-accent-hover: #2c5282}.blog-posts{display:flex;flex-direction:column;gap:var(--spacing-2xl)}.blog-post-preview{padding-bottom:var(--spacing-2xl);border-bottom:var(--border-width) solid var(--color-border)}.blog-post-preview:last-child{border-bottom:none;padding-bottom:0}.post-header{margin-bottom:var(--spacing-md)}.post-title{margin-bottom:var(--spacing-sm)}.post-title a{color:var(--color-text) !important;text-decoration:none !important;background:none !important}.post-title a:hover{color:var(--color-accent) !important}.post-meta{display:flex;align-items:center;gap:var(--spacing-md);flex-wrap:wrap}.post-meta time{color:var(--color-text-muted);font-size:var(--font-size-sm)}.reading-time{display:flex;align-items:center;gap:var(--spacing-xs);color:var(--color-text-muted);font-size:var(--font-size-sm)}.reading-time-clock{flex-shrink:0;color:var(--color-text-muted)}.reading-time-text{white-space:nowrap}@media (max-width: 767px){.reading-time.rt-hide-mobile .reading-time-clock{display:none}}.post-tags{display:flex;gap:var(--spacing-xs);flex-wrap:wrap}.tag{font-size:var(--font-size-xs);font-weight:var(--font-weight-medium);padding:var(--spacing-xs) var(--spacing-sm);border-radius:var(--border-radius);border:var(--border-width) solid transparent;display:inline-block;transition:all 0.2s ease;background-color:var(--color-background-light);color:var(--color-text-light);border-color:var(--color-border)}.post-excerpt{color:var(--color-text-light);margin-bottom:var(--spacing-md);line-height:var(--line-height-relaxed)}.post-footer{margin-top:var(--spacing-md)}.read-more{color:var(--color-accent) !important;font-weight:var(--font-weight-medium) !important;text-decoration:none !important;background:none !important;font-size:var(--font-size-sm)}.read-more:hover{color:var(--color-accent-hover) !important}.post-navigation{margin-top:var(--spacing-2xl);padding-top:var(--spacing-lg);border-top:var(--border-width) solid var(--color-border)}.back-to-blog{color:var(--color-text-muted) !important;font-weight:var(--font-weight-medium) !important;text-decoration:none !important;background:none !important;font-size:var(--font-size-sm)}.back-to-blog:hover{color:var(--color-accent) !important}*,*::before,*::after{box-sizing:border-box}*{margin:0;padding:0}html{scroll-behavior:smooth;scroll-padding-top:6rem}body{font-family:var(--font-family-base);font-size:var(--font-size-base);line-height:var(--line-height-normal);font-weight:var(--font-weight-normal);color:var(--color-text);background-color:var(--color-background);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}@keyframes fadeIn{from{opacity:0}to{opacity:1}}.container{max-width:var(--container-max-width);margin:0 auto;padding:0 var(--spacing-md)}@media (min-width: 768px){.container{padding:0 var(--spacing-xl)}}.site-wrapper{min-height:100vh;display:flex;flex-direction:column}.site-header{background-color:var(--color-background);border-bottom:var(--border-width) solid var(--color-border);position:sticky;top:0;z-index:100;backdrop-filter:blur(8px);-webkit-backdrop-filter:blur(8px)}.main-nav{display:flex;align-items:center;justify-content:space-between;padding:var(--spacing-md) 0;position:relative}@media (min-width: 768px){.main-nav{padding:var(--spacing-lg) 0}.main-nav .nav-brand{flex:0 0 auto}.main-nav .nav-menu{flex:1;justify-content:center}.main-nav .nav-social{flex:0 0 auto}}.nav-brand .brand-link{font-size:var(--font-size-xl);font-weight:var(--font-weight-bold);color:var(--color-text);text-decoration:none;background:none !important}.nav-brand .brand-link:hover{color:var(--color-accent);text-decoration:none}.nav-brand .brand-link .hover-underneath{position:relative;display:inline-block}.nav-brand .brand-link .hover-underneath .underneath-text{position:absolute;left:50%;top:80%;transform:translateX(-50%);z-index:1000;white-space:nowrap;pointer-events:none;font-size:0.4em;font-style:italic;font-weight:var(--font-weight-normal);color:var(--color-text-muted);opacity:0;transition:opacity 0.3s ease, transform 0.3s ease;background-color:var(--color-background);padding:1px 2px;border-radius:2px;line-height:1}@media (max-width: 1023px){.nav-brand .brand-link .hover-underneath .underneath-text{display:none}}.nav-brand .brand-link .hover-underneath:hover .underneath-text{opacity:1;transform:translateX(-50%) translateY(2px)}.nav-menu{display:none;align-items:center;gap:var(--spacing-xl)}@media (min-width: 768px){.nav-menu{display:flex}}.nav-link{color:var(--color-text-light);font-weight:var(--font-weight-medium);padding:var(--spacing-sm) 0;position:relative;transition:color 0.2s ease;text-decoration:none;background:none !important}.nav-link:hover{color:var(--color-text);text-decoration:none}.nav-link.active{color:var(--color-accent)}.nav-link.active::after{content:'';position:absolute;bottom:-2px;left:0;right:0;height:2px;background-color:var(--color-accent);border-radius:1px}.nav-social{display:none;align-items:center;gap:var(--spacing-xs)}@media (min-width: 768px){.nav-social{display:flex}}.nav-social-link{color:var(--color-text-muted);padding:6px;border-radius:var(--border-radius);transition:all 0.2s ease;background:none !important;display:flex;align-items:center;justify-content:center}.nav-social-link:hover{color:var(--color-accent);background-color:rgba(49,130,206,0.1) !important;text-decoration:none;transform:translateY(-1px)}.nav-social-link svg{display:block}.theme-toggle{color:var(--color-text-muted);background:none;border:none;padding:6px;border-radius:var(--border-radius);cursor:pointer;display:flex;align-items:center;justify-content:center;transition:all 0.2s ease}.theme-toggle:hover{color:var(--color-accent);background-color:rgba(49,130,206,0.1);transform:translateY(-1px)}.theme-toggle:focus{outline:2px solid var(--color-accent);outline-offset:2px}.theme-toggle svg{display:block;width:16px;height:16px}.theme-toggle .sun-icon{display:block}.theme-toggle .moon-icon{display:none}.theme-toggle[data-theme="dark"] .sun-icon{display:none}.theme-toggle[data-theme="dark"] .moon-icon{display:block}.theme-toggle[data-theme="light"] .sun-icon{display:block}.theme-toggle[data-theme="light"] .moon-icon{display:none}@media (prefers-color-scheme: dark){.theme-toggle[data-theme="auto"] .sun-icon{display:block}.theme-toggle[data-theme="auto"] .moon-icon{display:none}}@media (prefers-color-scheme: light){.theme-toggle[data-theme="auto"] .sun-icon{display:none}.theme-toggle[data-theme="auto"] .moon-icon{display:block}}.nav-toggle{display:flex;flex-direction:column;background:none;border:none;padding:var(--spacing-sm);cursor:pointer}@media (min-width: 768px){.nav-toggle{display:none}}.nav-toggle span{width:18px;height:2px;background-color:var(--color-text);margin:2px 0;transition:0.3s;border-radius:1px}.nav-toggle:hover span{background-color:var(--color-accent)}.main-content{flex:1;padding:var(--spacing-2xl) 0;max-width:var(--content-max-width);margin:0 auto;width:100%;opacity:0;animation:fadeIn 0.5s ease-in-out forwards}@media (min-width: 768px){.main-content{padding:var(--spacing-3xl) 0}}h1,h2,h3,h4,h5,h6{font-weight:var(--font-weight-semibold);line-height:var(--line-height-tight);color:var(--color-text);margin-bottom:var(--spacing-md)}h1:not(:first-child),h2:not(:first-child),h3:not(:first-child),h4:not(:first-child),h5:not(:first-child),h6:not(:first-child){margin-top:var(--spacing-2xl)}h1{font-size:var(--font-size-4xl);font-weight:var(--font-weight-bold)}@media (max-width: 767px){h1{font-size:var(--font-size-3xl)}}h2{font-size:var(--font-size-3xl)}@media (max-width: 767px){h2{font-size:var(--font-size-2xl)}}h3{font-size:var(--font-size-2xl)}h4{font-size:var(--font-size-xl)}h5{font-size:var(--font-size-lg)}h6{font-size:var(--font-size-base)}p{margin-bottom:var(--spacing-md);color:var(--color-text-light);line-height:var(--line-height-relaxed)}a{color:var(--color-accent);text-decoration:none;transition:color 0.2s ease}a:hover{color:var(--color-accent-hover)}.hero a,.page-content a{text-decoration:none;transition:color 0.2s ease}.link-color-1{color:#3182ce !important;background-color:rgba(49,130,206,0.08) !important}.link-color-1:hover{background-color:rgba(49,130,206,0.15) !important}.link-color-2{color:#38a169 !important;background-color:rgba(56,161,105,0.08) !important}.link-color-2:hover{background-color:rgba(56,161,105,0.15) !important}.link-color-3{color:#d69e2e !important;background-color:rgba(214,158,46,0.08) !important}.link-color-3:hover{background-color:rgba(214,158,46,0.15) !important}.link-color-4{color:#9f7aea !important;background-color:rgba(159,122,234,0.08) !important}.link-color-4:hover{background-color:rgba(159,122,234,0.15) !important}.publication{margin-bottom:var(--spacing-lg);padding:var(--spacing-lg);border:var(--border-width) solid var(--color-border);border-radius:var(--border-radius);background-color:var(--color-background)}.publication .pub-header{display:flex;justify-content:space-between;align-items:flex-start;margin-bottom:var(--spacing-sm);gap:var(--spacing-md)}@media (max-width: 767px){.publication .pub-header{flex-direction:column;gap:var(--spacing-sm)}}.publication .pub-header .badge-container{display:flex;align-items:baseline;gap:2px;flex-shrink:0}.publication .pub-title{font-size:var(--font-size-lg);font-weight:var(--font-weight-semibold);color:var(--color-text);line-height:var(--line-height-tight);flex:1;margin:0}.publication .pub-title a{color:var(--color-text) !important}.publication .pub-title a:hover{color:var(--color-text-light) !important}.publication .pub-badge{font-size:var(--font-size-sm);font-weight:var(--font-weight-medium);color:var(--color-accent);background-color:rgba(49,130,206,0.1);padding:var(--spacing-xs) var(--spacing-sm);border-radius:var(--border-radius);white-space:nowrap;flex-shrink:0;text-decoration:none;transition:all 0.2s ease}.publication .pub-badge:hover{background-color:rgba(49,130,206,0.2) !important;color:var(--color-accent-hover);transform:translateY(-1px)}.publication .pub-badge.sosp-badge{background-color:#1e40af !important;color:white !important}.publication .pub-badge.sosp-badge:hover{background-color:#2563eb !important;color:white !important;transform:translateY(-1px)}.publication .pub-authors{font-size:var(--font-size-sm);color:var(--color-text-muted);margin-bottom:var(--spacing-xs)}.publication .pub-authors strong{color:var(--color-text);font-weight:var(--font-weight-semibold)}.publication .pub-venue{font-size:var(--font-size-sm);color:var(--color-text-light);font-style:italic;margin-bottom:var(--spacing-sm)}.publication .pub-links{display:flex;gap:var(--spacing-sm);flex-wrap:wrap;margin-top:var(--spacing-sm)}.publication .pub-links a{font-size:var(--font-size-xs) !important;font-weight:var(--font-weight-medium) !important;padding:var(--spacing-xs) var(--spacing-sm) !important;background-color:var(--color-background-light) !important;border:var(--border-width) solid var(--color-border) !important;border-radius:var(--border-radius) !important;color:var(--color-text-light) !important;text-decoration:none !important;transition:all 0.2s ease !important}.publication .pub-links a:hover{background-color:var(--color-accent) !important;color:white !important;border-color:var(--color-accent) !important}ul,ol{margin-bottom:var(--spacing-md);padding-left:var(--spacing-lg)}ul li,ol li{margin-bottom:var(--spacing-xs);color:var(--color-text-light);line-height:var(--line-height-relaxed)}ul ul,ul ol,ol ul,ol ol{margin-top:var(--spacing-xs);margin-bottom:var(--spacing-xs)}blockquote{border-left:4px solid var(--color-accent);padding-left:var(--spacing-md);margin:var(--spacing-lg) 0;font-style:italic;color:var(--color-text-muted)}code{font-family:var(--font-family-mono);font-size:0.9em;background-color:var(--color-background-light);padding:0.125rem 0.25rem;border-radius:var(--border-radius);border:var(--border-width) solid var(--color-border);word-break:break-all;white-space:pre-wrap}pre{font-family:var(--font-family-mono);background-color:var(--color-background-light);padding:var(--spacing-md);border-radius:var(--border-radius);border:var(--border-width) solid var(--color-border);overflow-x:auto;margin:var(--spacing-lg) 0}pre code{background:none;border:none;padding:0}table{width:120%;max-width:calc(100vw - 4rem);margin-bottom:var(--spacing-lg);margin-left:-10%;margin-right:auto;border-collapse:collapse;border-spacing:0;border:var(--border-width) solid var(--color-border);border-radius:var(--border-radius)}@media (max-width: 767px){table{width:110%;margin-left:-5%;max-width:calc(100vw - 2rem)}}table th,table td{padding:var(--spacing-xs) 4px;text-align:left;border-bottom:var(--border-width) solid var(--color-border);font-size:var(--font-size-xs);vertical-align:top}@media (min-width: 768px){table th,table td{padding:var(--spacing-sm) var(--spacing-sm);font-size:var(--font-size-sm)}}table th code,table td code{font-size:0.7em;padding:1px 2px;white-space:nowrap;display:inline}table th{font-weight:var(--font-weight-semibold);color:var(--color-text);background-color:var(--color-background-light);font-size:var(--font-size-xs)}@media (min-width: 768px){table th{font-size:var(--font-size-sm)}}table td{color:var(--color-text-light)}table tr:last-child th,table tr:last-child td{border-bottom:none}img{max-width:100%;height:auto;border-radius:var(--border-radius);margin:var(--spacing-md) 0}em,i{word-break:break-all;hyphens:auto}em:not([data-long]),i:not([data-long]){word-break:normal;hyphens:none}p{word-wrap:break-word;overflow-wrap:break-word}hr{border:none;border-top:var(--border-width) solid var(--color-border);margin:var(--spacing-2xl) 0}.hero{text-align:left;margin-bottom:var(--spacing-3xl)}.hero p:first-child{font-size:var(--font-size-xl);font-weight:var(--font-weight-medium);color:var(--color-text);margin-bottom:var(--spacing-lg)}@media (max-width: 767px){.hero p:first-child{font-size:var(--font-size-lg)}}.hero h1:first-child{margin-bottom:var(--spacing-lg)}.profile-section{display:flex;align-items:center;gap:var(--spacing-xl);margin-bottom:var(--spacing-lg)}@media (max-width: 767px){.profile-section{flex-direction:column;align-items:center;text-align:center;gap:var(--spacing-lg)}}.profile-photo{flex-shrink:0;width:156px;height:156px}.profile-photo img{width:150px;height:150px;object-fit:cover;border-radius:50%;border:3px solid var(--color-border);box-shadow:var(--shadow-md);transition:all 0.3s cubic-bezier(0.23, 1, 0.32, 1);display:block}.profile-photo img.profile-loading{opacity:0;min-width:150px;min-height:150px;flex-shrink:0}.profile-photo img:hover{box-shadow:var(--shadow-lg);transform:translateY(-2px)}.profile-content{flex:1;min-width:0}.hover-margin{position:relative}.hover-margin .margin-text{position:absolute;left:calc(100% + var(--spacing-md));top:50%;transform:translateY(-50%);font-size:var(--font-size-sm);font-style:normal;font-weight:var(--font-weight-medium);white-space:nowrap;opacity:0;transition:opacity 0.3s ease, transform 0.3s ease;pointer-events:none;z-index:-1;background-color:var(--color-background);padding:var(--spacing-xs) var(--spacing-sm);border-radius:var(--border-radius)}.hover-margin:hover .margin-text{opacity:1;transform:translateY(-50%) translateX(4px)}@media (max-width: 1023px){.hover-margin .margin-text{display:none}}.hover-underneath{position:relative;display:inline-block}.hover-underneath .underneath-text{position:absolute;left:50%;top:88%;transform:translateX(-50%);font-size:0.4em;font-style:italic;font-weight:var(--font-weight-normal);color:var(--color-text-muted);white-space:nowrap;opacity:0;transition:opacity 0.3s ease, transform 0.3s ease;pointer-events:none;z-index:10;background-color:var(--color-background);padding:1px 2px;border-radius:2px;line-height:1}.hover-underneath:hover .underneath-text{opacity:1;transform:translateX(-50%) translateY(2px)}@media (max-width: 1023px){.hover-underneath .underneath-text{display:none}}.page{max-width:100%}.page-header{margin-bottom:var(--spacing-lg);text-align:left}@media (min-width: 768px){.page-header{margin-bottom:var(--spacing-xl)}}.page-title{margin-bottom:var(--spacing-sm);margin-top:0}.page-subtitle{font-size:var(--font-size-lg);color:var(--color-text-muted);margin-bottom:0;font-weight:var(--font-weight-normal)}@media (min-width: 768px){.page-subtitle{font-size:var(--font-size-xl)}}.page-content{max-width:100%}.site-footer{background-color:var(--color-background-light);border-top:var(--border-width) solid var(--color-border);padding:var(--spacing-md) 0;margin-top:auto}.footer-content{text-align:center}.footer-social{display:flex;gap:var(--spacing-md)}.social-link{color:var(--color-text-muted);padding:var(--spacing-sm);border-radius:var(--border-radius);transition:all 0.2s ease;background:none !important}.social-link:hover{color:var(--color-accent);background-color:var(--color-background) !important;text-decoration:none;transform:translateY(-1px)}.social-link svg{display:block}.footer-text p{margin:0;font-size:var(--font-size-sm);color:var(--color-text-muted)}.footer-text p a{color:var(--color-text-muted);background:none !important}.footer-text p a:hover{color:var(--color-accent)}@media (max-width: 767px){.container{padding:0 var(--spacing-md)}.main-content{padding:var(--spacing-xl) 0}.page-header{margin-bottom:var(--spacing-lg)}.nav-menu{display:none;position:absolute;top:100%;left:0;right:0;background-color:var(--color-background);border-bottom:var(--border-width) solid var(--color-border);box-shadow:var(--shadow-md);flex-direction:column;gap:0;padding:var(--spacing-md) 0}.nav-menu.active{display:flex}.nav-social{margin-left:0;margin-top:var(--spacing-md);padding:var(--spacing-md) var(--spacing-lg);justify-content:center;border-top:var(--border-width) solid var(--color-border);display:flex}.nav-link{padding:var(--spacing-md) var(--spacing-lg);border-bottom:var(--border-width) solid var(--color-border)}.nav-link:last-child{border-bottom:none}.nav-link.active::after{display:none}.nav-toggle.active span:nth-child(1){transform:rotate(45deg) translate(5px, 5px)}.nav-toggle.active span:nth-child(2){opacity:0}.nav-toggle.active span:nth-child(3){transform:rotate(-45deg) translate(7px, -6px)}}