:root {
  color-scheme: light;
  --background: #ffffff;
  --text: #1a1a1a;
  --muted: #666666;
  --line: #eeeeee;
  --sidebar-width: 260px;
  --article-sidebar-width: 300px;
  --content-width: 920px;
  --article-max-width: 800px;
  --top-spacing: 48px;
  --font-sans: "Helvetica Neue", Helvetica, Arial, sans-serif;
  --font-mono:
    ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono",
    monospace;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-height: 100vh;
  overflow-x: hidden;
  background: var(--background);
  color: var(--text);
  font-family: var(--font-sans);
  font-size: 15px;
  line-height: 1.5;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

a {
  color: inherit;
  text-decoration: none;
}

.site {
  min-height: 100vh;
}

.page {
  display: flex;
  min-height: 100vh;
  flex-direction: column;
}

.layout {
  display: grid;
  flex: 1;
  grid-template-columns: var(--sidebar-width) minmax(0, 1fr);
  width: min(100%, calc(var(--sidebar-width) + var(--content-width)));
  margin: 0 auto;
}

.sidebar {
  padding: 48px 32px 40px 40px;
}

.logo {
  display: inline-block;
  margin-bottom: 48px;
  font-size: 15px;
  font-weight: 400;
  letter-spacing: -0.02em;
  line-height: 1;
}

.sidebar-nav {
  display: grid;
  gap: 14px;
}

.nav-link {
  color: var(--muted);
  font-size: 15px;
  font-weight: 400;
}

.nav-link:hover {
  color: var(--text);
}

.nav-link.is-active {
  color: var(--text);
}

body[data-page="article"] .layout {
  grid-template-columns: var(--article-sidebar-width) minmax(0, 1fr);
  width: min(100%, calc(var(--article-sidebar-width) + var(--content-width)));
}

body[data-page="article"] .site-footer {
  width: min(100%, calc(var(--article-sidebar-width) + var(--content-width)));
}

.article-toc {
  margin-top: 40px;
  padding-top: 24px;
  border-top: 1px solid var(--line);
}

.toc-label {
  margin: 0 0 12px;
  color: var(--muted);
  font-size: 12px;
  font-weight: 400;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.toc-scroll {
  position: sticky;
  top: var(--top-spacing);
  max-height: calc(100vh - var(--top-spacing) - 48px);
  overflow-y: auto;
  padding-right: 8px;
  scrollbar-width: thin;
}

.toc-list,
.toc-sublist {
  margin: 0;
  padding: 0;
  list-style: none;
}

.toc-sublist {
  margin-top: 4px;
  padding-left: 12px;
}

.toc-item {
  margin: 0;
}

.toc-link {
  display: block;
  padding: 4px 0;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.4;
  transition: color 0.15s ease;
}

.toc-link:hover {
  color: var(--text);
}

.toc-link.is-active {
  color: var(--text);
}

.toc-level-2 > .toc-link {
  font-size: 13px;
}

.toc-level-3 > .toc-link {
  font-size: 12px;
}

.toc-level-4 > .toc-link,
.toc-level-5 > .toc-link,
.toc-level-6 > .toc-link {
  font-size: 12px;
  color: #888888;
}

.toc-level-4 > .toc-link.is-active,
.toc-level-5 > .toc-link.is-active,
.toc-level-6 > .toc-link.is-active {
  color: var(--text);
}

.main {
  min-width: 0;
  padding: var(--top-spacing) 80px 80px 40px;
}

.main.text-content {
  max-width: calc(var(--article-max-width) + 120px);
}

.page-title {
  margin: 0 0 40px;
  font-size: 36px;
  font-weight: 400;
  letter-spacing: -0.02em;
  line-height: 1.1;
}

.research-index {
  display: grid;
}

.content-section {
  display: grid;
  grid-template-columns: 160px minmax(0, 1fr);
  gap: 24px;
  align-items: start;
  padding-top: 24px;
}

.content-section[hidden] {
  display: none;
}

.section-label {
  margin: 0;
  padding-top: 24px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 12px;
  font-weight: 400;
  letter-spacing: 0.04em;
  line-height: 1.4;
  text-transform: uppercase;
}

.section-list {
  display: grid;
  border-top: 1px solid var(--text);
}

.list-item {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 24px;
  align-items: baseline;
  padding: 16px 0;
  border-top: 1px solid var(--line);
}

.list-item:first-child {
  border-top: 0;
}

.list-item-link,
.list-item-title {
  min-width: 0;
  font-size: 15px;
  font-weight: 400;
  line-height: 1.5;
}

.list-item-link:hover .list-item-title {
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}

.list-item-title {
  color: var(--text);
}

.list-item-date {
  color: var(--muted);
  font-size: 13px;
  white-space: nowrap;
}

.site-footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: min(100%, calc(var(--sidebar-width) + var(--content-width)));
  margin: 0 auto;
  padding: 20px 40px 28px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 13px;
}

.footer-copy {
  margin: 0;
}

.footer-links {
  display: flex;
  align-items: center;
  gap: 20px;
}

.footer-links a {
  color: var(--muted);
  text-decoration: none;
}

.footer-links a:hover {
  color: var(--text);
}

.footer-link-tbd {
  color: #aaaaaa;
  cursor: default;
}

.blog-content {
  width: 100%;
  max-width: var(--article-max-width);
  min-width: 0;
  margin-bottom: 60px;
  overflow-wrap: break-word;
}

.blog-header {
  margin-bottom: 0;
  max-width: var(--article-max-width);
}

.blog-header h1,
.blog-title {
  margin: 0;
  font-size: 32px;
  font-weight: 400;
  line-height: 1.2;
  letter-spacing: -0.02em;
}

.blogmetadata {
  margin: 16px 0 32px;
  padding-bottom: 24px;
  border-bottom: 1px solid var(--line);
  font-size: 14px;
  max-width: var(--article-max-width);
}

.blogmetadata .blog-date {
  display: inline;
  color: var(--muted);
}

.blogmetadata .blog-date::after {
  content: " · ";
  margin: 0 2px;
  color: var(--muted);
}

.blogmetadata .blog-author {
  display: inline;
  color: var(--text);
}

.blogmetadata:not(:has(.blog-author)) .blog-date::after {
  content: "";
}

#abstract,
.blog-abstract {
  margin-bottom: 24px;
  font-size: 15px;
  line-height: 1.6;
  color: var(--muted);
  max-width: var(--article-max-width);
}

#abstract p,
.blog-abstract p {
  margin: 0 0 16px;
}

#abstract p:last-child,
.blog-abstract p:last-child {
  margin-bottom: 0;
}

.blog-body {
  min-width: 0;
}

.blog-content h2,
.blog-content h3,
.blog-content h4,
.blog-content h5,
.blog-content h6 {
  scroll-margin-top: calc(var(--top-spacing) + 16px);
}

.blog-content h2 {
  margin: 40px 0 14px;
  font-size: 24px;
  font-weight: 500;
  line-height: 1.25;
  letter-spacing: 0;
}

.blog-body > h2:first-child {
  margin-top: 0;
}

.blog-content h3 {
  margin: 32px 0 10px;
  font-size: 18px;
  font-weight: 500;
  line-height: 1.3;
}

.blog-content h4 {
  margin: 24px 0 8px;
  font-size: 16px;
  font-weight: 500;
  line-height: 1.3;
}

.blog-content h5,
.blog-content h6 {
  margin: 20px 0 8px;
  font-size: 14px;
  font-weight: 400;
  line-height: 1.3;
}

.blog-content p {
  margin: 0 0 16px;
  font-size: 15px;
  line-height: 1.65;
}

.blog-content li {
  margin-bottom: 6px;
  font-size: 15px;
  line-height: 1.65;
}

.blog-content ul,
.blog-content ol {
  margin: 0 0 18px;
  padding-left: 24px;
}

.blog-content ul {
  list-style-type: disc;
}

.blog-content ol {
  list-style-type: decimal;
}

.blog-content ol li {
  padding-left: 8px;
}

.blog-content blockquote {
  margin: 0 0 16px;
  padding-left: 18px;
  border-left: 2px solid var(--line);
  color: var(--muted);
  font-style: italic;
}

.blog-content a {
  color: var(--text);
  text-decoration: underline;
  text-decoration-color: #cccccc;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}

.blog-content a:hover {
  text-decoration-color: var(--text);
}

.blog-content strong {
  font-weight: 400;
}

.blog-content code {
  border-radius: 3px;
  padding: 2px 5px;
  background: #f5f5f5;
  font-family: var(--font-mono);
  font-size: 0.85em;
}

.blog-content pre {
  margin: 20px 0;
  max-width: 100%;
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 4px;
  padding: 14px 18px;
  background: #f8f8f8;
  white-space: pre-wrap;
  word-break: break-word;
}

.blog-content pre code {
  padding: 0;
  background: transparent;
  font-size: 13px;
  line-height: 1.5;
}

.blog-content .code-block {
  --code-font-size: 13px;
  --code-line-height: 1.5;
  --code-block-padding-y: 14px;
  --code-block-collapsed-lines: 2;
  margin: 20px 0;
  max-width: 100%;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: #f8f8f8;
}

.blog-content .code-block pre {
  position: relative;
  margin: 0;
  border: none;
  border-radius: 0;
  background: transparent;
}

.blog-content .code-block.is-collapsed pre {
  overflow: hidden;
  max-height: calc(
    var(--code-block-padding-y) * 2 + var(--code-block-collapsed-lines) *
      var(--code-line-height) * var(--code-font-size)
  );
}

.blog-content .code-block.is-collapsed pre::after {
  content: "";
  position: absolute;
  right: 0;
  bottom: 0;
  left: 0;
  height: 28px;
  background: linear-gradient(transparent, #f8f8f8);
  pointer-events: none;
}

.blog-content .code-block-toggle {
  display: block;
  width: 100%;
  margin: 0;
  padding: 8px 18px 10px;
  border: 0;
  border-top: 1px solid var(--line);
  background: transparent;
  color: var(--muted);
  font-family: var(--font-sans);
  font-size: 13px;
  line-height: 1.4;
  text-align: left;
  cursor: pointer;
}

.blog-content .code-block-toggle:hover {
  color: var(--text);
}

.blog-content .katex-display {
  margin: 40px 0;
  overflow-x: auto;
  overflow-y: hidden;
}

.blog-content figure {
  margin: 28px 0;
  max-width: 100%;
  overflow: hidden;
  text-align: center;
}

.blog-content img {
  display: block;
  max-width: 100%;
  height: auto;
  margin: 0 auto;
}

.blog-content figure video,
.blog-content video {
  display: block;
  width: 100%;
  max-width: 100%;
  height: auto;
  margin: 0 auto;
}

.blog-content figcaption {
  margin-top: 12px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.5;
  text-align: left;
}

.blog-content .table-scroll {
  width: 100%;
  margin: 24px 0;
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
  padding-bottom: 4px;
  -webkit-overflow-scrolling: touch;
}

.blog-content table {
  width: 100%;
  min-width: 760px;
  margin: 0;
  border-collapse: collapse;
  table-layout: auto;
  font-size: 13px;
}

.blog-content th,
.blog-content td {
  padding: 8px 10px;
  border-bottom: 1px solid var(--line);
  overflow-wrap: normal;
  text-align: left;
  vertical-align: top;
}

.blog-content td strong,
.blog-content th strong {
  font-size: inherit;
  line-height: inherit;
}

.blog-content th {
  border-top: 1px solid var(--line);
  background: #fafafa;
  font-weight: 400;
  white-space: nowrap;
}

.blog-content td.is-low-multiplier {
  background: #fff2f2;
}

.blog-content tr:last-child td {
  border-bottom: 1px solid var(--line);
}

.empty-state {
  margin: 0;
  color: var(--muted);
}

@media (max-width: 900px) {
  .layout {
    grid-template-columns: 1fr;
    width: min(calc(100% - 32px), var(--content-width));
  }

  .sidebar {
    padding: 32px 0 0;
  }

  .logo {
    margin-bottom: 24px;
  }

  .sidebar-nav {
    grid-auto-flow: column;
    justify-content: start;
    gap: 20px;
  }

  .article-toc {
    display: none;
  }

  body[data-page="article"] .layout {
    grid-template-columns: 1fr;
    width: min(calc(100% - 32px), var(--content-width));
  }

  body[data-page="article"] .site-footer {
    width: min(calc(100% - 32px), var(--content-width));
  }

  .main {
    padding: 32px 0 64px;
  }

  .main.text-content {
    max-width: none;
  }

  .content-section {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .site-footer {
    width: min(calc(100% - 32px), var(--content-width));
    padding-inline: 0;
  }
}