/* CppVerify documentation */
:root {
  --color-brand-primary: #3b6fd9;
  --color-brand-content: #3b6fd9;
  --diagram-max-width: 720px;
  --diagram-margin: 2rem;
}

/* Book diagrams — consistent size and centering (Furo + Sphinx figure) */
figure.book-figure,
.book-figure,
figure.align-center,
figure.align-default,
div.figure.align-center,
p.align-center {
  margin: var(--diagram-margin) auto;
  text-align: center;
  clear: both;
}

figure.book-figure img,
.book-figure img,
figure.align-center img,
figure.align-default img,
div.figure img,
article img[src*="/diagrams/"],
.content img[src*="diagrams/"] {
  display: block;
  width: 100%;
  max-width: var(--diagram-max-width);
  height: auto;
  margin-left: auto;
  margin-right: auto;
  border-radius: 8px;
  box-shadow: 0 1px 3px rgba(15, 23, 42, 0.08);
}

/* Standalone image directive (legacy) */
p.align-center > img,
img.align-center {
  display: block;
  width: 100%;
  max-width: var(--diagram-max-width);
  height: auto;
  margin: var(--diagram-margin) auto;
  border-radius: 8px;
}

figure figcaption,
.figure-caption {
  margin-top: 0.75rem;
  font-size: 0.9rem;
  color: var(--color-foreground-secondary, #64748b);
  text-align: center;
  max-width: var(--diagram-max-width);
  margin-left: auto;
  margin-right: auto;
}

.highlight-cpp .highlight pre,
div.highlight-cpp pre {
  font-size: 0.9em;
}

main h1 {
  margin-top: 0.5rem;
}

/* Tables — scroll on small screens; consistent spacing */
.table-wrapper {
  overflow-x: auto;
  margin: 1rem 0 1.5rem;
}

.table-wrapper table.docutils {
  width: 100%;
  border-collapse: collapse;
}

.table-wrapper th,
.table-wrapper td {
  vertical-align: top;
  padding: 0.55rem 0.75rem;
}

.table-wrapper thead th {
  border-bottom: 2px solid var(--color-table-header-border, rgba(128, 128, 128, 0.35));
}

.table-wrapper tbody tr {
  border-bottom: 1px solid var(--color-table-row-border, rgba(128, 128, 128, 0.2));
}

/* API index button (api/index.rst raw HTML) */
a.btn {
  display: inline-block;
  margin: 1rem 0;
  padding: 0.6rem 1.2rem;
  background: var(--color-brand-primary, #3b6fd9);
  color: #fff !important;
  border-radius: 6px;
  text-decoration: none;
  font-weight: 600;
}

a.btn:hover {
  filter: brightness(1.08);
}