*, *::before, *::after {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

:root {
  color-scheme: light;
  --toc-width: 408px;
  --header-height: 86px;
  --gap: 2rem;
  --fg: #171514;
  --muted: #66615d;
  --muted-soft: #8b8782;
  --border: #d8d6d2;
  --border-soft: #e8e6e2;
  --page: #f7f7f8;
  --surface: #fff;
  --surface-subtle: #f1f2f3;
  --surface-code: #f3f2ef;
  --accent: #87004f;
  --accent-dark: #5f0039;
  --accent-wash: #f7edf3;
  --overlay: rgba(23, 21, 20, 0.32);
  --shadow: rgba(23, 21, 20, 0.12);
  --syntax-blue: #365f80;
  --syntax-green: #266d3f;
  --syntax-red: #9a3d3d;
  --syntax-violet: #5d5f93;
  --syntax-amber: #7a5b1f;
  --syntax-step: #7a4b83;
  --syntax-question: #8a5a00;
  --syntax-skipped: #77736e;
  --toc-active: var(--fg);
  --link: var(--accent);
  --font-sans: system-ui, -apple-system, sans-serif;
  --font-mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --fg: #f1ede8;
    --muted: #bbb2aa;
    --muted-soft: #8f8780;
    --border: #403936;
    --border-soft: #302b28;
    --page: #171514;
    --surface: #211e1c;
    --surface-subtle: #292521;
    --surface-code: #24211e;
    --accent: #de9fba;
    --accent-dark: #e6b8ca;
    --accent-wash: #39232e;
    --overlay: rgba(9, 8, 7, 0.62);
    --shadow: rgba(0, 0, 0, 0.34);
    --syntax-blue: #84c9ff;
    --syntax-green: #80dda2;
    --syntax-red: #ff9b9b;
    --syntax-violet: #bcb8ff;
    --syntax-amber: #e8ca7a;
    --syntax-step: #f0a5ff;
    --syntax-question: #f2c36c;
    --syntax-skipped: #a7a09a;
  }
}

:root[data-theme="dark"] {
  color-scheme: dark;
  --fg: #f1ede8;
  --muted: #bbb2aa;
  --muted-soft: #8f8780;
  --border: #403936;
  --border-soft: #302b28;
  --page: #171514;
  --surface: #211e1c;
  --surface-subtle: #292521;
  --surface-code: #24211e;
  --accent: #de9fba;
  --accent-dark: #e6b8ca;
  --accent-wash: #39232e;
  --overlay: rgba(9, 8, 7, 0.62);
  --shadow: rgba(0, 0, 0, 0.34);
  --syntax-blue: #84c9ff;
  --syntax-green: #80dda2;
  --syntax-red: #ff9b9b;
  --syntax-violet: #bcb8ff;
  --syntax-amber: #e8ca7a;
  --syntax-step: #f0a5ff;
  --syntax-question: #f2c36c;
  --syntax-skipped: #a7a09a;
}

:root[data-theme="light"] {
  color-scheme: light;
}

html {
  font-size: 18px;
  scroll-behavior: smooth;
}

a {
  color: var(--link);
}

body {
  font-family: var(--font-sans);
  color: var(--fg);
  background: var(--page);
  line-height: 1.6;
  display: flex;
  flex-direction: column;
  min-height: 100vh;
}

.skip-link {
  position: fixed;
  top: 0.65rem;
  left: 0.75rem;
  z-index: 200;
  transform: translateY(calc(-100% - 1rem));
  padding: 0.45rem 0.65rem;
  background: var(--surface);
  border: 2px solid var(--accent);
  border-radius: 4px;
  color: var(--fg);
  font-size: 0.86rem;
  font-weight: 600;
  text-decoration: none;
  transition: transform 0.12s ease;
}

.skip-link:focus {
  transform: translateY(0);
}

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

#site-header {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: var(--header-height);
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: center;
  gap: 1.25rem;
  padding: 0.85rem 1.5rem 0.75rem;
  background: var(--surface);
  border-top: 3px solid var(--accent);
  border-bottom: 1px solid var(--border);
  z-index: 100;
}

#site-masthead {
  grid-column: 1;
  display: flex;
  align-items: center;
  gap: 1rem;
  min-width: 0;
}

#site-title {
  font-weight: 700;
  font-size: 1.03rem;
  line-height: 1;
  white-space: nowrap;
  flex-shrink: 0;
}

#site-title a {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  color: inherit;
  text-decoration: none;
}

#site-logo {
  height: 34px;
  width: 34px;
  object-fit: contain;
  border-radius: 4px;
  flex-shrink: 0;
}

#site-subtitle {
  font-size: 0.76rem;
  color: var(--muted-soft);
  line-height: 1.35;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  text-wrap: pretty;
}

#site-nav {
  grid-column: 2;
  display: flex;
  align-items: center;
  gap: 0.5rem;
  flex-shrink: 0;
}

#site-nav a {
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--fg);
  text-decoration: none;
  white-space: nowrap;
  border: 1px solid var(--border);
  border-radius: 3px;
  padding: 0.42rem 1rem;
  transition: background 0.12s, color 0.12s, border-color 0.12s;
}

#site-nav a:hover {
  background: var(--surface-subtle);
  color: var(--fg);
  border-color: var(--border-soft);
}

#site-nav a:focus-visible,
.theme-toggle:focus-visible {
  outline: 2px solid color-mix(in srgb, var(--accent) 42%, transparent);
  outline-offset: 2px;
}

#site-nav a.nav-primary {
  background: var(--link);
  border-color: var(--link);
  color: var(--surface);
}

#site-nav a.nav-primary:hover {
  background: var(--accent-dark);
  border-color: var(--accent-dark);
}

.theme-toggle {
  position: relative;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2.05rem;
  height: 2.05rem;
  color: var(--fg);
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 3px;
  cursor: pointer;
  flex-shrink: 0;
  transition: background 0.12s, border-color 0.12s, color 0.12s;
}

.theme-toggle:hover {
  background: var(--surface-subtle);
  border-color: var(--border-soft);
}

.theme-toggle-icon {
  display: block;
  width: 1.18rem;
  height: 1.18rem;
  fill: currentColor;
}

.theme-toggle-icon-light {
  display: none;
}

:root[data-resolved-theme="dark"] .theme-toggle-icon-dark {
  display: none;
}

:root[data-resolved-theme="dark"] .theme-toggle-icon-light {
  display: block;
}

#toc {
  position: fixed;
  top: var(--header-height);
  left: 0;
  width: var(--toc-width);
  height: calc(100vh - var(--header-height));
  overflow-y: auto;
  overscroll-behavior: contain;
  background: var(--page);
  border-right: 1px solid var(--border-soft);
  padding: 2.15rem 1.15rem 2.5rem 1.4rem;
  font-size: 15.8px;
  line-height: 1.42;
  scrollbar-color: var(--border) transparent;
  scrollbar-width: thin;
}

#toc::-webkit-scrollbar {
  width: 8px;
}

#toc::-webkit-scrollbar-thumb {
  background: var(--border);
  border: 2px solid var(--page);
  border-radius: 999px;
}

#toc #TableOfContents {
  display: flex;
  flex-direction: column;
  gap: 0;
}

#toc ul {
  list-style: none;
  padding-left: 0;
}

#toc ul ul {
  padding-left: 0.95rem;
  border-left: 1px solid var(--border-soft);
  margin: 0.16rem 0 0.28rem 0.35rem;
}

#toc li {
  margin: 0;
}

#toc a {
  position: relative;
  display: block;
  margin-left: -0.45rem;
  padding: 0.26rem 0.45rem;
  border-radius: 4px;
  color: var(--muted);
  text-decoration: none;
  transition: color 0.1s, background 0.1s, border-color 0.1s;
}

#toc a:hover {
  color: var(--toc-active);
}

#toc a.active {
  color: var(--toc-active);
  font-weight: 600;
}

#toc a.active::before {
  content: "";
  position: absolute;
  top: 0.42rem;
  bottom: 0.42rem;
  left: 0;
  width: 2px;
  border-radius: 999px;
  background: var(--accent);
}

#toc a:focus-visible {
  outline: 2px solid color-mix(in srgb, var(--accent) 38%, transparent);
  outline-offset: 1px;
}

#toc-label {
  display: block;
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted-soft);
  margin-bottom: 0.9rem;
}

#content,
#site-footer {
  background: var(--page);
}

#content {
  margin-left: var(--toc-width);
  margin-top: var(--header-height);
  padding: 2.75rem 3rem 4.25rem calc(var(--gap) + 0.5rem);
  max-width: 780px;
  width: 100%;
  line-height: 1.68;
}

#content h1,
#content h2,
#content h3,
#content h4,
#content h5,
#content h6 {
  scroll-margin-top: calc(var(--header-height) + 1rem);
}

#content h1 {
  font-size: 2rem;
  font-weight: 700;
  line-height: 1.15;
  letter-spacing: 0;
  margin-bottom: 0.95rem;
  text-wrap: balance;
}

#content h2 {
  font-size: 1.22rem;
  font-weight: 600;
  line-height: 1.3;
  letter-spacing: 0;
  margin-top: 3rem;
  margin-bottom: 0.75rem;
  padding-bottom: 0.4rem;
  border-bottom: 1px solid var(--border-soft);
  text-wrap: balance;
}

#content h3 {
  font-size: 1.03rem;
  font-weight: 600;
  line-height: 1.35;
  letter-spacing: 0;
  margin-top: 2rem;
  margin-bottom: 0.5rem;
  text-wrap: balance;
}

#content h4,
#content h5,
#content h6 {
  font-size: 0.9rem;
  font-weight: 600;
  line-height: 1.4;
  letter-spacing: 0;
  margin-top: 1.45rem;
  margin-bottom: 0.35rem;
}

#content p {
  margin-bottom: 1.05rem;
  line-height: 1.7;
  hyphenate-limit-chars: 7 3 3;
  -webkit-hyphens: auto;
  -moz-hyphens: auto;
  hyphens: auto;
  overflow-wrap: break-word;
  text-align: justify;
  text-wrap: pretty;
}

#content h1 + p:not(.post-meta) {
  font-size: 1.03rem;
  line-height: 1.72;
  margin-bottom: 1.2rem;
}

#content ul,
#content ol {
  padding-left: 1.5rem;
  margin-bottom: 1.05rem;
  line-height: 1.66;
}

#content li {
  margin-bottom: 0.28rem;
}

#content a {
  color: var(--link);
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--link) 34%, transparent);
  text-underline-offset: 2px;
}

#content a:hover {
  color: var(--accent-dark);
  text-decoration-color: var(--accent-dark);
}

#content code {
  font-family: var(--font-mono);
  font-size: 0.85em;
  background: var(--surface-code);
  color: var(--fg);
  border: 1px solid var(--border-soft);
  padding: 0.08em 0.32em;
  border-radius: 3px;
}

#content pre {
  font-family: var(--font-mono);
  font-size: 0.8rem;
  background: var(--surface-code) !important;
  border: 1px solid var(--border);
  border-radius: 5px;
  padding: 1rem 1.15rem;
  overflow-x: auto;
  margin: 1.25rem 0;
  line-height: 1.58;
  scrollbar-color: var(--border) var(--surface-code);
  scrollbar-width: thin;
}

#content pre::-webkit-scrollbar {
  height: 9px;
}

#content pre::-webkit-scrollbar-thumb {
  background: var(--border);
  border: 2px solid var(--surface-code);
  border-radius: 999px;
}

#content .highlight {
  margin: 1.35rem 0;
}

#content .highlight pre {
  margin: 0;
}

#content pre code {
  background: none;
  border: 0;
  color: inherit;
  padding: 0;
  font-size: inherit;
}

#content .hljs {
  background: transparent;
  color: inherit;
}

:root[data-resolved-theme="dark"] #content pre span[style*="color:#0a3069"] {
  color: var(--syntax-blue) !important;
}

:root[data-resolved-theme="dark"] #content pre span[style*="color:#57606a"] {
  color: var(--muted-soft) !important;
}

:root[data-resolved-theme="dark"] #content pre span[style*="color:#953800"] {
  color: var(--syntax-amber) !important;
}

#content pre.sdd-pre code.language-specdd,
#content .sdd-highlight code.language-specdd {
  color: var(--fg);
}

#content .language-specdd .hljs-punctuation {
  color: var(--muted-soft);
}

#content .language-specdd .hljs-comment {
  color: var(--muted-soft);
  font-style: italic;
}

#content .language-specdd .hljs-sdd-title {
  color: var(--fg);
  font-weight: 600;
}

#content .language-specdd .hljs-sdd-meta,
#content .language-specdd .hljs-sdd-section-value,
#content .language-specdd .hljs-sdd-text {
  color: var(--fg);
}

#content .language-specdd .hljs-sdd-section-spec,
#content .language-specdd .hljs-sdd-section-platform,
#content .language-specdd .hljs-sdd-section-purpose,
#content .language-specdd .hljs-sdd-section-structure,
#content .language-specdd .hljs-sdd-section-owns,
#content .language-specdd .hljs-sdd-section-can-modify,
#content .language-specdd .hljs-sdd-section-can-read,
#content .language-specdd .hljs-sdd-section-references,
#content .language-specdd .hljs-sdd-section-must,
#content .language-specdd .hljs-sdd-section-must-not,
#content .language-specdd .hljs-sdd-section-forbids,
#content .language-specdd .hljs-sdd-section-depends-on,
#content .language-specdd .hljs-sdd-section-exposes,
#content .language-specdd .hljs-sdd-section-accepts,
#content .language-specdd .hljs-sdd-section-returns,
#content .language-specdd .hljs-sdd-section-raises,
#content .language-specdd .hljs-sdd-section-handles,
#content .language-specdd .hljs-sdd-section-tasks,
#content .language-specdd .hljs-sdd-section-done-when,
#content .language-specdd .hljs-sdd-section-scenario,
#content .language-specdd .hljs-sdd-section-example {
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-section-spec,
#content .language-specdd .hljs-sdd-section-platform,
#content .language-specdd .hljs-sdd-section-purpose {
  color: var(--accent-dark);
}

#content .language-specdd .hljs-sdd-section-structure,
#content .language-specdd .hljs-sdd-section-owns,
#content .language-specdd .hljs-sdd-section-can-modify,
#content .language-specdd .hljs-sdd-section-can-read,
#content .language-specdd .hljs-sdd-section-references {
  color: var(--syntax-blue);
}

#content .language-specdd .hljs-sdd-section-must {
  color: var(--syntax-green);
}

#content .language-specdd .hljs-sdd-section-must-not,
#content .language-specdd .hljs-sdd-section-forbids {
  color: var(--syntax-red);
}

#content .language-specdd .hljs-sdd-section-depends-on,
#content .language-specdd .hljs-sdd-section-exposes,
#content .language-specdd .hljs-sdd-section-accepts,
#content .language-specdd .hljs-sdd-section-returns,
#content .language-specdd .hljs-sdd-section-raises,
#content .language-specdd .hljs-sdd-section-handles {
  color: var(--syntax-violet);
}

#content .language-specdd .hljs-sdd-section-tasks,
#content .language-specdd .hljs-sdd-section-done-when {
  color: var(--syntax-amber);
}

#content .language-specdd .hljs-sdd-section-scenario,
#content .language-specdd .hljs-sdd-section-example {
  color: var(--accent);
}

#content .language-specdd .hljs-sdd-step {
  color: var(--syntax-step);
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-open {
  color: var(--muted-soft);
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-done {
  color: var(--syntax-green);
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-blocked {
  color: var(--syntax-red);
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-question {
  color: var(--syntax-question);
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-skipped {
  color: var(--syntax-skipped);
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-id {
  color: var(--accent-dark);
  font-weight: 600;
}

#content .language-specdd .hljs-sdd-path {
  color: var(--syntax-blue);
}

#content .language-specdd .hljs-sdd-symbol {
  color: var(--syntax-violet);
}

#content blockquote {
  border-left: 3px solid var(--accent);
  background: var(--surface-subtle);
  border-radius: 0 4px 4px 0;
  margin: 1.35rem 0;
  padding: 0.85rem 1rem;
  color: var(--muted);
}

#content blockquote p {
  margin-bottom: 0.65rem;
  text-align: left;
}

#content blockquote > :last-child {
  margin-bottom: 0;
}

#content hr {
  border: none;
  border-top: 1px solid var(--border-soft);
  margin: 2.75rem 0;
}

#content table {
  display: block;
  width: max-content;
  max-width: 100%;
  overflow-x: auto;
  border-collapse: collapse;
  font-size: 0.86rem;
  line-height: 1.45;
  margin: 1.35rem 0;
  scrollbar-color: var(--border) transparent;
  scrollbar-width: thin;
}

#content th,
#content td {
  text-align: left;
  vertical-align: top;
  padding: 0.5rem 0.75rem;
  border: 1px solid var(--border-soft);
}

#content th {
  background: var(--surface-subtle);
  font-weight: 600;
}

#content tr:nth-child(even) td {
  background: color-mix(in srgb, var(--surface-subtle) 50%, transparent);
}

#toc-toggle {
  display: none;
  flex-direction: column;
  justify-content: center;
  gap: 5px;
  width: 34px;
  height: 34px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 3px;
  cursor: pointer;
  padding: 0 7px;
  flex-shrink: 0;
  transition: background 0.12s, border-color 0.12s;
}

#toc-toggle:hover {
  background: var(--surface-subtle);
  border-color: var(--border);
}

#toc-toggle span {
  display: block;
  width: 100%;
  height: 2px;
  background: var(--fg);
  border-radius: 2px;
}

#toc-overlay {
  display: none;
  position: fixed;
  top: var(--header-height);
  left: 0;
  right: 0;
  bottom: 0;
  background: var(--overlay);
  z-index: 149;
  opacity: 0;
  transition: opacity 0.25s;
}

#toc-overlay.open {
  opacity: 1;
}

.toc-mobile-nav {
  display: none;
}

@media (max-width: 700px) {
  #site-header {
    grid-template-columns: auto minmax(0, 1fr) auto;
    gap: 0.75rem;
    padding: 0.65rem 1.1rem 0.6rem;
  }

  #toc-toggle {
    display: flex;
    grid-column: 1;
    grid-row: 1;
  }

  #site-masthead {
    grid-column: 2;
    grid-row: 1;
    flex-direction: column;
    align-items: flex-start;
    gap: 0.28rem;
  }

  #site-title {
    font-size: 0.96rem;
  }

  #site-logo {
    height: 28px;
    width: 28px;
  }

  #site-subtitle {
    display: none;
  }

  #site-nav {
    grid-column: 3;
    grid-row: 1;
  }

  #site-nav a:not(.nav-primary) {
    display: none;
  }

  body:not(.has-toc) #site-header {
    grid-template-columns: minmax(0, 1fr) auto;
  }

  body:not(.has-toc) #site-masthead {
    grid-column: 1;
  }

  body:not(.has-toc) #site-nav {
    grid-column: 2;
  }

  #toc-overlay {
    display: block;
    pointer-events: none;
  }

  #toc-overlay.open {
    pointer-events: auto;
  }

  #toc {
    top: var(--header-height);
    height: calc(100vh - var(--header-height));
    transform: translateX(-100%);
    transition: transform 0.25s ease;
    z-index: 150;
    background: var(--surface);
    border-right: 1px solid var(--border);
    box-shadow: 18px 0 38px var(--shadow);
    padding: 1.35rem 1.15rem 2rem 1.35rem;
    width: min(360px, 88vw);
    scrollbar-color: var(--border) var(--surface);
  }

  #toc::-webkit-scrollbar-thumb {
    border-color: var(--surface);
  }

  .toc-mobile-nav {
    display: flex;
    flex-wrap: wrap;
    gap: 0.35rem 0.8rem;
    margin-bottom: 1rem;
    padding-bottom: 0.85rem;
    border-bottom: 1px solid var(--border-soft);
  }

  #toc .toc-mobile-nav a {
    display: inline-flex;
    align-items: center;
    margin: 0;
    padding: 0.15rem 0;
    color: var(--muted);
    border-radius: 2px;
    font-size: 0.8rem;
    font-weight: 600;
    line-height: 1.35;
    text-decoration: none;
    white-space: nowrap;
  }

  #toc .toc-mobile-nav a:hover {
    color: var(--link);
    text-decoration: underline;
    text-decoration-color: color-mix(in srgb, var(--link) 50%, transparent);
    text-underline-offset: 3px;
  }

  #toc .toc-mobile-nav a:focus-visible {
    outline: 2px solid color-mix(in srgb, var(--accent) 42%, transparent);
    outline-offset: 2px;
  }

  #toc.open {
    transform: translateX(0);
  }

  #content {
    margin-left: 0;
    padding: 1.5rem 1.25rem 3rem;
  }
}

body:not(.has-toc) #toc-toggle {
  display: none;
}

#content.wide {
  margin-left: 0;
  padding-left: 3rem;
}

#content.article-index {
  max-width: 1160px;
}

@media (max-width: 700px) {
  #content.wide {
    padding-left: 1.25rem;
  }
}

#content .post-list {
  list-style: none;
  padding: 0;
  margin-top: 2rem;
}

#content.article-index .post-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  column-gap: 3rem;
  row-gap: 0;
}

#content .post-item {
  margin-bottom: 0;
  padding: 2rem 0 2.15rem;
  border-top: 1px solid var(--border-soft);
}

@media (max-width: 900px) {
  #content.article-index {
    max-width: 780px;
  }

  #content.article-index .post-list {
    display: block;
  }
}

#content .post-item .post-meta {
  display: block;
  margin-bottom: 0.5rem;
  font-size: 0.68rem;
  font-weight: 600;
  line-height: 1.35;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted-soft);
  text-align: left;
}

#content .post-title {
  display: block;
  max-width: 42rem;
  font-size: 1.35rem;
  font-weight: 700;
  color: var(--fg);
  text-decoration: none;
  line-height: 1.24;
  margin-bottom: 0.7rem;
  text-wrap: balance;
}

#content .post-title:hover {
  color: var(--link);
  text-decoration: underline;
  text-underline-offset: 3px;
  text-decoration-color: color-mix(in srgb, var(--link) 60%, transparent);
}

#content .post-excerpt {
  max-width: 41rem;
  margin: 0;
  font-size: 0.92rem;
  color: var(--muted);
  line-height: 1.68;
  text-align: left;
}

#content .post-read-more {
  display: inline-block;
  margin-top: 0.95rem;
  font-size: 0.82rem;
  font-weight: 600;
  text-decoration: none;
  color: var(--link);
  border-bottom: 1px solid color-mix(in srgb, var(--link) 34%, transparent);
  text-underline-offset: 3px;
  transition: border-color 0.12s, color 0.12s;
}

#content .post-read-more:hover {
  color: var(--accent-dark);
  border-color: var(--accent-dark);
}

.post-empty {
  color: var(--muted);
  margin-top: 2rem;
}

.post-back {
  font-size: 0.85rem;
  margin-bottom: 1.5rem;
}

.post-back-end {
  margin-top: 3rem;
  margin-bottom: 0;
  padding-top: 1.5rem;
  border-top: 1px solid var(--border);
}

.article-nav + .post-back-end {
  margin-top: 1.25rem;
  padding-top: 0;
  border-top: 0;
}

.article-nav {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin-top: 3rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--border);
}

#content .article-nav-link {
  display: block;
  min-width: 0;
  padding: 0.85rem 0.95rem;
  background: var(--surface);
  border: 1px solid var(--border-soft);
  border-radius: 5px;
  color: var(--fg);
  text-decoration: none;
}

#content .article-nav-link:hover {
  border-color: var(--border);
}

#content .article-nav-link span {
  display: block;
  margin-bottom: 0.3rem;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 600;
  text-transform: uppercase;
}

#content .article-nav-link strong {
  display: block;
  font-size: 0.88rem;
  line-height: 1.35;
  font-weight: 600;
  overflow-wrap: break-word;
}

#content .article-nav-next {
  text-align: right;
}

@media (max-width: 700px) {
  .article-nav {
    grid-template-columns: 1fr;
  }

  #content .article-nav-next {
    text-align: left;
  }
}

.post-meta {
  font-size: 0.85rem;
  color: var(--muted);
  margin-bottom: 2rem;
}

.pagination {
  display: flex;
  align-items: center;
  gap: 1.5rem;
  margin-top: 2.5rem;
  font-size: 0.9rem;
}

.pagination-link {
  color: var(--fg);
  text-decoration: none;
  font-weight: 500;
}

.pagination-link:hover {
  text-decoration: underline;
}

.pagination-info {
  color: var(--muted);
}

#site-footer {
  margin-top: auto;
  border-top: 1px solid var(--border);
  padding: 1.5rem 3rem 1.5rem calc(var(--gap) + 0.5rem);
  display: flex;
  align-items: center;
  justify-content: space-between;
  font-size: 0.8rem;
  color: var(--muted);
}

body.has-toc #site-footer {
  margin-left: var(--toc-width);
}

#site-footer a {
  color: var(--muted);
  text-decoration: none;
  margin-left: 1.5rem;
}

#site-footer a:hover {
  color: var(--fg);
}

@media (max-width: 700px) {
  #site-footer {
    flex-direction: column;
    gap: 0.75rem;
    align-items: flex-start;
    padding: 1.25rem;
  }

  body.has-toc #site-footer {
    margin-left: 0;
  }

  #site-footer a {
    margin-left: 0;
    margin-right: 1.25rem;
  }

  #site-footer nav {
    display: flex;
  }
}