.article-content { color: var(--lab-ink); font-family: var(--lab-font-serif); font-size: 17px; line-height: 1.95; overflow-wrap: break-word; }
.article-content > :first-child { margin-top: 0; }
.article-content p { margin: 0 0 24px; }
.article-content h1, .article-content h2, .article-content h3, .article-content h4 { scroll-margin-top: 94px; color: var(--lab-ink); }
.article-content h1 { margin: 72px 0 24px; font-size: 34px; line-height: 1.3; }
.article-content h2 { margin: 72px 0 22px; padding-top: 12px; font-size: 30px; font-weight: 600; line-height: 1.35; letter-spacing: -.025em; border-top: 1px solid var(--lab-line); }
.article-content h3 { margin: 42px 0 16px; font-family: var(--lab-font-sans); font-size: 19px; line-height: 1.4; }
.article-content h4 { margin: 34px 0 12px; font-family: var(--lab-font-sans); font-size: 16px; }
.article-content strong { font-weight: 680; }
.article-content a { color: var(--lab-accent); text-decoration-thickness: 1px; text-underline-offset: 3px; }
.article-content blockquote { margin: 32px 0; padding: 17px 22px; color: var(--lab-muted); border-left: 2px solid var(--lab-signal); background: var(--lab-surface); }
.article-content blockquote > :last-child { margin-bottom: 0; }
.article-content ul, .article-content ol { padding-left: 1.5em; }
.article-content li { margin: .4em 0; }
.article-content img { display: block; max-width: 100%; height: auto; margin: 32px auto; border: 1px solid var(--lab-line); }
.article-content .half { display: flex; flex-wrap: wrap; align-items: flex-start; justify-content: center; gap: 16px; margin: 32px 0; }
.article-content .half img { flex: 1 1 280px; width: auto; min-width: 0; max-width: calc(50% - 8px); margin: 0; }
.article-content hr { height: 1px; margin: 52px 0; border: 0; background: var(--lab-line); }
.article-content code { padding: .12em .35em; color: var(--lab-accent); font: .88em var(--lab-font-mono); border: 1px solid var(--lab-line); border-radius: 2px; background: var(--lab-surface); }

.article-content figure.highlight, .article-content pre {
  overflow: auto;
  margin: 30px 0;
  color: var(--lab-code-ink);
  font: 12px/1.75 var(--lab-font-mono);
  border: 1px solid color-mix(in srgb, var(--lab-code) 80%, white);
  border-radius: 3px;
  background: var(--lab-code);
}
.article-content pre { padding: 21px; }
.article-content pre code { padding: 0; color: inherit; font: inherit; border: 0; background: transparent; }
.article-content figure.highlight { position: relative; padding-top: 38px; }
.article-content figure.highlight::before { content: attr(data-language); position: absolute; top: 0; right: 58px; left: 0; height: 38px; padding: 0 14px; color: #84959b; font: 9px/38px var(--lab-font-mono); border-bottom: 1px solid #29343a; }
.article-content figure.highlight table { width: max-content; min-width: 100%; margin: 0; border: 0; }
.article-content figure.highlight td { padding: 0; border: 0; }
.article-content figure.highlight pre { margin: 0; padding: 18px 12px; border: 0; background: transparent; }
.article-content figure.highlight .gutter { width: 42px; color: #526169; text-align: right; user-select: none; border-right: 1px solid #29343a; }
.article-content figure.highlight .code { padding-left: 8px; }

.article-content .comment, .article-content .quote { color: #73838a; }
.article-content .keyword, .article-content .selector-tag, .article-content .addition { color: #86b8c4; }
.article-content .string, .article-content .attr, .article-content .meta-string { color: #d19a73; }
.article-content .title, .article-content .name, .article-content .section { color: #a8c58f; }
.article-content .number, .article-content .literal { color: #cda3d4; }

.article-content .table-container { overflow-x: auto; margin: 30px 0; }
.article-content > table,
.article-content .table-container > table { width: 100%; min-width: 560px; border-collapse: collapse; font-family: var(--lab-font-sans); font-size: 13px; }
.article-content > table th,
.article-content > table td,
.article-content .table-container > table th,
.article-content .table-container > table td { padding: 11px 13px; text-align: left; border: 1px solid var(--lab-line); }
.article-content > table th,
.article-content .table-container > table th { background: var(--lab-surface); }

/* Markdown tables are direct article children in the current renderer. Make the
   table itself the scroll container so a wide schema never widens the page. */
.article-content > table {
  display: block;
  width: 100%;
  min-width: 0;
  max-width: 100%;
  margin: 30px 0;
  overflow-x: auto;
}

.article-content .mermaid { overflow-x: auto; margin: 32px 0; padding: 22px; font: 11px/1.6 var(--lab-font-mono); white-space: pre; border: 1px solid var(--lab-line); background: var(--lab-surface); }
.article-content .mermaid[data-processed="true"] { white-space: normal; }
.article-content .mermaid svg { display: block; max-width: none; margin: auto; }
.article-content .mermaid-error { color: var(--lab-signal); }
.article-content .katex-display { display: block; max-width: 100%; margin: 1.5em 0; padding: .35em 0; overflow-x: auto; overflow-y: hidden; }

@media (max-width: 720px) {
  .article-content { font-size: 16px; }
  .article-content h1 { font-size: 29px; }
  .article-content h2 { margin-top: 55px; font-size: 26px; }
  .article-content figure.highlight, .article-content pre { margin-right: 0; margin-left: 0; }
  .article-content .half { gap: 12px; }
  .article-content .half img { flex-basis: 100%; max-width: 100%; }
}

@media print {
  .site-header, .site-footer, .toc-panel, .toc-toggle, .toc-scrim, .post-navigation { display: none !important; }
  .article-shell, .article-layout { display: block !important; width: 100% !important; max-width: none !important; }
  body { color: #111 !important; background: white !important; }
  .article-content { color: #111 !important; }
}