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

:root {
  --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;
  --toc-active: var(--fg);
  --link: var(--accent);
  --font-sans: system-ui, -apple-system, sans-serif;
  --font-mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
}

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;
}

#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.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);
}

#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 nav {
  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 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: #365f80;
}

#content .language-specdd .hljs-sdd-section-must {
  color: #266d3f;
}

#content .language-specdd .hljs-sdd-section-must-not,
#content .language-specdd .hljs-sdd-section-forbids {
  color: #9a3d3d;
}

#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: #5d5f93;
}

#content .language-specdd .hljs-sdd-section-tasks,
#content .language-specdd .hljs-sdd-section-done-when {
  color: #7a5b1f;
}

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

#content .language-specdd .hljs-sdd-step {
  color: #7a4b83;
  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: #266d3f;
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-blocked {
  color: #a33d3d;
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-question {
  color: #8a5a00;
  font-weight: 700;
}

#content .language-specdd .hljs-sdd-task-skipped {
  color: #77736e;
  font-weight: 700;
}

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

#content .language-specdd .hljs-sdd-path {
  color: #365f80;
}

#content .language-specdd .hljs-sdd-symbol {
  color: #5d5f93;
}

#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: rgba(23, 21, 20, 0.32);
  z-index: 149;
  opacity: 0;
  transition: opacity 0.25s;
}

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

@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;
  }

  #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 rgba(23, 21, 20, 0.12);
    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.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 {
  text-decoration: underline;
  text-underline-offset: 3px;
  text-decoration-color: var(--fg);
}

#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);
}

.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;
  }
}