.defelement-button:link
{
  text-decoration: none;
}

.defelement-button:hover
{
  text-decoration: underline;
}

.defelement-name
{
  font-family: 'Manrope', sans-serif;
  color: #44AAFF;
}

.defelement-logo
{
  background: linear-gradient(to left,
                    #FF8800,
                    #DD2299);
  -webkit-background-clip: text;
  color: transparent;
  font-family: 'Manrope', sans-serif;
}

/* Keep the full-width layout and inline contents on smaller screens. */
.rodin-page-nav
{
  display: none;
}

.rodin-page-nav a[aria-current="location"]
{
  font-weight: 700;
}

@media screen and (min-width: 1200px)
{
  .rodin-page-nav.rodin-page-nav-fit
  {
    display: block;
    position: fixed;
    top: 4rem;
    padding: 0;
    box-sizing: border-box;
    font-size: 0.9rem;
  }

  .rodin-page-nav h2
  {
    font-size: 1rem;
    margin: 0 0 0.75rem;
  }

  .rodin-page-nav ul
  {
    list-style: none;
    padding: 0;
    margin: 0;
  }

  .rodin-page-nav > details > ul
  {
    max-height: calc(100vh - 8rem);
    overflow-y: auto;
    scrollbar-width: thin;
    scrollbar-color: var(--line-color, #5a6475) transparent;
  }

  .rodin-page-nav li
  {
    margin: 0;
  }

  .rodin-page-nav a
  {
    display: block;
    padding: 0.25rem 0.5rem;
    border-left: 2px solid transparent;
    color: var(--dim-color, #9aa4af);
    text-decoration: none;
    overflow-wrap: anywhere;
  }

  .rodin-page-nav ul ul
  {
    margin-left: 0.6rem;
    padding-left: 0.7rem;
    border-left: 1px solid var(--line-color, #3c4554);
  }

  .rodin-page-nav ul ul > li > a
  {
    position: relative;
  }

  .rodin-page-nav ul ul > li > a::before
  {
    content: "";
    position: absolute;
    left: -0.7rem;
    top: 0.9rem;
    width: 0.7rem;
    border-top: 1px solid var(--line-color, #3c4554);
  }

  .rodin-page-nav a:hover,
  .rodin-page-nav a[aria-current="location"]
  {
    color: var(--link-color, #5b9dd9);
    border-left-color: var(--link-color, #5b9dd9);
  }
}

@media print
{
  .rodin-page-nav
  {
    display: none;
  }
}

/* Shared code palette. Token weight stays uniform throughout the site. */
.m-code, .m-code span
{
  color: #e6edf3;
}

.m-code, .m-code span[class], .m-console, .m-console span[class]
{
  font-weight: 400;
}

pre.m-code,
pre.m-console
{
  border: 1px solid var(--line-color);
  border-radius: var(--border-radius);
}

pre.m-code
{
  background-color: #181d24;
  padding: 1rem;
  line-height: 1.5;
}

.m-code .k, .m-code .kd, .m-code .kn, .m-code .kr, .m-code .kc
{
  color: #c792ea;
}

.m-code .nc, .m-code .nt, .m-code .kt, .m-code .nb
{
  color: #7dc4ff;
}

.m-code .no
{
  color: #f47067;
}

.m-code .cp, .m-code .o, .m-code .ow
{
  color: #f291b7;
}

.m-code .s, .m-code .s1, .m-code .s2, .m-code .sa, .m-code .sb,
.m-code .sc, .m-code .sd, .m-code .se, .m-code .sh, .m-code .si,
.m-code .sr, .m-code .ss, .m-code .sx, .m-code .cpf
{
  color: #a5d6a7;
}

.m-code .m, .m-code .mi, .m-code .mf, .m-code .mh,
.m-code .mo, .m-code .mb, .m-code .il
{
  color: #ffa657;
}

.m-code .fm
{
  color: #ffd166;
}

.m-code .c, .m-code .c1, .m-code .cm, .m-code .cs, .m-code .ch
{
  color: #9aadc2;
  font-style: italic;
}

/* Sidebar placement controls remain beside its heading on wide screens. */
.rodin-page-nav-header
{
  display: flex;
  align-items: center;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-bottom: 0.75rem;
}

.rodin-page-nav .rodin-page-nav-header h2
{
  margin: 0;
}

.rodin-page-nav-positions
{
  display: flex;
  gap: 0.125rem;
  opacity: 0;
  pointer-events: none;
}

.rodin-page-nav:hover .rodin-page-nav-positions,
.rodin-page-nav:has(:focus-visible) .rodin-page-nav-positions
{
  opacity: 1;
  pointer-events: auto;
}

.rodin-page-nav-positions button
{
  display: flex;
  align-items: center;
  justify-content: center;
  width: 2rem;
  height: 2rem;
  padding: 0;
  border: 1px solid transparent;
  border-radius: 0.25rem;
  background: transparent;
  color: var(--dim-color);
  cursor: pointer;
}

.rodin-page-nav-positions button:hover,
.rodin-page-nav-positions button[aria-pressed="true"]
{
  color: var(--link-color);
  background: var(--default-filled-background-color);
  border-color: var(--line-color);
}

.rodin-page-nav-positions button:focus-visible
{
  outline: 2px solid var(--link-color);
  outline-offset: 2px;
}

.rodin-page-nav-positions svg
{
  width: 1.125rem;
  height: 1.125rem;
  fill: none;
  stroke: currentColor;
  stroke-width: 1.5;
  stroke-linecap: round;
  stroke-linejoin: round;
}

@media screen and (min-width: 1200px)
{
  .rodin-page-nav.rodin-page-nav-fit
  {
    display: flex;
    flex-direction: column;
    max-height: calc(100vh - 5rem);
  }

  .rodin-page-nav-header
  {
    flex-shrink: 0;
  }

  .rodin-page-nav > details > ul
  {
    min-height: 0;
    max-height: none;
    flex: 1 1 auto;
  }
}

/* Reference declarations have their own visual hierarchy; titles stay short. */
.rodin-reference-breadcrumb {
  display: flex;
  flex-wrap: wrap;
  gap: .65rem;
  margin-bottom: .7rem;
  font-size: .9rem;
}

.rodin-reference-breadcrumb a {
  font-weight: 400;
}

.rodin-reference-brief {
  color: var(--dim-color);
  font-style: italic;
}

.rodin-reference-include {
  color: var(--dim-color);
  font-size: .9rem;
}

pre.rodin-declaration {
  padding: 1.15rem 1.3rem;
  line-height: 1.65;
  overflow-x: auto;
}

.rodin-declaration *,
.rodin-bindings code,
.rodin-specializations code,
section.m-doc-details h3,
section.m-doc-details h3 a {
  font-weight: 400;
}

section.m-doc-details h3 a.m-doc-self {
  color: var(--link-color);
}

.rodin-bindings td,
.rodin-specializations td {
  vertical-align: top;
}

.rodin-bindings td:first-child {
  width: 5rem;
}

.rodin-specializations td:first-child {
  width: 50%;
}

.rodin-bindings code,
.rodin-specializations code {
  overflow-wrap: anywhere;
}

.rodin-specializations details {
  margin-top: .45rem;
  font-size: .85rem;
}

.rodin-specializations pre {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.rodin-specialization-disclosure,
.rodin-declaration-disclosure {
  margin-top: .5rem;
}

.rodin-specialization-disclosure > summary,
.rodin-declaration-disclosure > summary {
  color: var(--link-color);
  cursor: pointer;
  list-style: none;
}

.rodin-specialization-disclosure > summary::-webkit-details-marker,
.rodin-declaration-disclosure > summary::-webkit-details-marker {
  display: none;
}

.rodin-specialization-disclosure > summary::before,
.rodin-declaration-disclosure > summary::before {
  content: "+";
  display: inline-block;
  width: 1.2em;
}

.rodin-specialization-disclosure[open] > summary::before,
.rodin-declaration-disclosure[open] > summary::before {
  content: "−";
}

/* Nested base-class specializations must wrap on narrow reference pages. */
dl.m-doc dt a.m-doc {
  overflow-wrap: anywhere;
}

/* Declaration qualifiers remain readable without badge borders or fills. */
:is(.m-doc-wrap, h1) .m-label,
:is(.m-doc-wrap, h1) .m-label:not(.m-flat) {
  border: 0;
  background: transparent;
  box-shadow: none;
  color: var(--color);
  font-size: inherit;
  vertical-align: baseline;
}

/* Unboxed constexpr/consteval labels use the syntax palette in both themes. */
:is(.m-doc-wrap, h1) .m-label.m-primary {
  color: var(--code-keyword);
}

:is(.m-doc-wrap, h1) .m-label.m-success {
  color: var(--success-color);
}

:is(.m-doc-wrap, h1) .m-label.m-info {
  color: var(--info-color);
}

:is(.m-doc-wrap, h1) .m-label.m-danger {
  color: var(--danger-color);
}

:is(.m-doc-wrap, h1) .m-label.m-warning {
  color: var(--warning-color);
}

/* Separate parameter names from their input/output direction labels. */
section.m-doc-details table td:first-child > .m-label.m-flat {
  margin-inline-start: .35rem;
  margin-inline-end: .15rem;
}

/* One-hop inheritance diagrams stay small; complete relationships follow. */
.rodin-inheritance {
  margin: 1.5rem 0;
  padding: .8rem;
  border: 1px solid var(--line-color);
  border-radius: .2rem;
  text-align: center;
}

.rodin-inheritance figcaption,
.rodin-inheritance-qualifiers {
  color: var(--dim-color);
  font-size: .85rem;
}

.rodin-inheritance figcaption {
  margin-bottom: .75rem;
}

.rodin-inheritance-row {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: .5rem;
  margin: .6rem 0;
  padding: 0;
  list-style: none;
}

.rodin-inheritance-row li,
.rodin-inheritance-current {
  display: inline-block;
  padding: .3rem .6rem;
  border: 1px solid var(--line-color);
  border-radius: .2rem;
  overflow-wrap: anywhere;
}

.rodin-inheritance-current {
  color: var(--link-color);
}

.rodin-inheritance-arrow {
  color: var(--dim-color);
  line-height: 1.2;
}

.rodin-inheritance-qualifiers {
  display: block;
  margin-top: .25rem;
}

.rodin-relations td {
  vertical-align: top;
}

.rodin-relations td:first-child {
  width: 45%;
}

.rodin-relations code {
  overflow-wrap: anywhere;
}

.rodin-relations details {
  margin-top: .4rem;
  font-size: .85rem;
}

.rodin-relations pre {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.rodin-inherited-members {
  margin: .4rem 0;
  padding-inline-start: 1.2rem;
}

.rodin-inheritance-row li,
.rodin-inheritance-current {
  box-sizing: border-box;
  max-width: 100%;
}

/* Native disclosure buttons keep long derived-class lists compact. */
.rodin-derived-disclosure > .rodin-disclosure-button {
  display: inline-block;
  list-style: none;
  padding: .4rem .8rem;
  margin: .35rem 0 .8rem;
  border: 1px solid var(--line-color);
  border-radius: .2rem;
  color: var(--link-color);
  cursor: pointer;
}

.rodin-disclosure-button::-webkit-details-marker {
  display: none;
}

.rodin-derived-disclosure > .rodin-disclosure-button .rodin-see-less,
.rodin-derived-disclosure[open] > .rodin-disclosure-button .rodin-see-more {
  display: none;
}

.rodin-derived-disclosure[open] > .rodin-disclosure-button .rodin-see-less {
  display: inline;
}

.rodin-disclosure-button:focus-visible {
  outline: 2px solid var(--link-color);
  outline-offset: 3px;
}


/* Shared benchmark navigation icon. */
#navigation .rodin-benchmark-icon
{
  display: inline-block;
  flex-shrink: 0;
  width: 1.25rem;
  height: 1.25rem;
  margin-right: .5rem;
  vertical-align: -.2rem;
  fill: none;
  stroke: currentColor;
  stroke-width: 1.8;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.rodin-overview-declaration {
  margin-top: .5rem;
  padding: .75rem;
  border: 1px solid var(--line-color);
  border-radius: .2rem;
  overflow-wrap: anywhere;
}

/* Keep project ownership separate from the documentation tool credits. */
body > footer > nav > .m-container {
  width: 100%;
  max-width: none;
}

body > footer > nav > .m-container > .m-row > .m-col-l-10 {
  width: 100%;
  left: 0;
}

.rodin-site-footer {
  display: flex;
  align-items: center;
  justify-content: center;
  flex-direction: column;
  gap: .5rem;
  text-align: center;
}

.rodin-site-footer p {
  margin: 0;
}

.rodin-site-footer .rodin-footer-tools {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: .3rem;
  justify-content: center;
  margin-left: 0;
}

.rodin-footer-tools a {
  display: inline-flex;
  align-items: center;
  gap: .2rem;
  color: inherit;
}

.rodin-footer-tools a:hover {
  color: var(--link-color);
}

.rodin-footer-logo {
  display: inline-block;
  flex-shrink: 0;
  background: currentColor;
  mask-position: center;
  mask-repeat: no-repeat;
  mask-size: contain;
}

.rodin-footer-doxygen {
  width: 3.4rem;
  height: 1rem;
  mask-image: url('Doxygen.svg');
}


.rodin-footer-accessible {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip-path: inset(50%);
  white-space: nowrap;
}

@media screen and (max-width: 640px) {
  .rodin-site-footer {
    flex-direction: column;
    align-items: center;
  }

  .rodin-site-footer .rodin-footer-tools {
    margin-left: 0;
  }
}

/* Reading typography shared by documentation and benchmark pages. */
:root, body {
  --line-height: 1.6;
  --paragraph-align: left;
  --paragraph-indent: 0;
}
main article p,
main article li,
main article dd {
  line-height: 1.6;
  letter-spacing: .008em;
}
main article p {
  text-align: left;
  text-indent: 0;
  margin-top: 0;
  margin-bottom: .9em;
}
main article :is(h1, h2, h3, h4) {
  line-height: 1.25;
  letter-spacing: 0;
}
main article :is(h2, h3, h4) {
  margin-top: 1.5em;
  margin-bottom: .6em;
}
main article .m-frame > :is(h2, h3, h4):first-child,
main article .m-block > :is(h2, h3, h4):first-child,
main article .m-note > :is(h2, h3, h4):first-child,
main article .m-block.m-badge > :is(h2, h3, h4) {
  margin-top: 0;
}
main article :is(pre, code, .m-code) {
  letter-spacing: 0;
}
.rodin-page-nav a { line-height: 1.4; }

/* Contents remain readable and can be folded without hiding the page. */
nav[aria-label*="table of contents"] summary,
.rodin-page-nav summary {
  cursor: pointer;
}
.rodin-page-nav > details {
  min-height: 0;
  overflow-y: auto;
}
.rodin-page-nav ul {
  list-style: none;
  padding-left: 0;
}

.rodin-toc li,
.rodin-toc-branch {
  position: relative;
  list-style: none;
  display: grid;
  grid-template-columns: 1.25em minmax(0, 1fr);
  align-items: baseline;
}
.rodin-toc li > a {
  grid-column: 2;
}
.rodin-toc li > :is(ul, ol) {
  grid-column: 1 / -1;
}
.rodin-toc-toggle {
  position: static;
  width: 1.1em;
  padding: 0;
  border: 0;
  background: transparent;
  color: inherit;
  font: inherit;
  line-height: inherit;
  cursor: pointer;
}
.rodin-toc-branch > :is(ul, ol) {
  grid-column: 1 / -1;
}
.rodin-page-nav .rodin-toc-branch {
  display: block;
}
.rodin-page-nav > details > ul {
  padding-left: 1.5rem;
}
.rodin-page-nav .rodin-toc-toggle {
  position: absolute;
  top: .25rem;
}
.rodin-toc-toggle:hover,
.rodin-toc-toggle:focus-visible {
  color: var(--link-color);
}
.rodin-toc-branch > [hidden] {
  display: none !important;
}

/* Preserve the official Boost logo silhouette inside the license badge. */
main article .m-block.m-badge.rodin-license-badge > img {
  border-radius: 0;
  object-fit: contain;
}

/* CI status uses the active light/dark palette; stale results stay subdued. */
.rodin-ci-status { font-weight: 600; }
.rodin-ci-success { color: var(--ci-success-color); }
.rodin-ci-danger { color: var(--ci-danger-color); }
.rodin-ci-warning { color: var(--ci-running-color); }
.rodin-ci-queued { color: var(--ci-queued-color); }
.rodin-ci-cancelled { color: var(--ci-cancelled-color); }
.rodin-ci-muted { color: var(--ci-unknown-color); }
.rodin-site-footer { position: relative; padding-inline: 2.5rem; }
.rodin-ci-link { position: absolute; right: 0; top: 50%; transform: translateY(-50%); padding: .5rem; color: inherit; }
.rodin-ci-link:hover { color: var(--link-color); }
@supports (mask-image: url("")) {
  .rodin-ci-mark { display: inline-block; width: 1.3rem; height: 1.3rem; vertical-align: middle; background: currentColor;
    mask: url("data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20viewBox%3D%220%200%2024%2024%22%3E%3Cg%20fill%3D%22none%22%20stroke%3D%22black%22%20stroke-width%3D%221.7%22%20stroke-linecap%3D%22round%22%20stroke-linejoin%3D%22round%22%3E%3Cpath%20d%3D%22M20%208a8.5%208.5%200%200%200-14-3L3%208m0-5v5h5M4%2016a8.5%208.5%200%200%200%2014%203l3-3m0%205v-5h-5M8%2012h8%22%2F%3E%3C%2Fg%3E%3Cg%20fill%3D%22black%22%3E%3Ccircle%20cx%3D%228%22%20cy%3D%2212%22%20r%3D%221.5%22%2F%3E%3Ccircle%20cx%3D%2212%22%20cy%3D%2212%22%20r%3D%221.5%22%2F%3E%3Ccircle%20cx%3D%2216%22%20cy%3D%2212%22%20r%3D%221.5%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E") center / contain no-repeat; }
  .rodin-ci-label { position: absolute; width: 1px; height: 1px; overflow: hidden; clip-path: inset(50%); }
}

.rodin-ci-checked { margin-top: 1.5rem; }

.rodin-ci-branch + .rodin-ci-branch { margin-top: 2.5rem; }

/* Doxygen's bibliography keeps its citation anchors and definition-list semantics. */
dl.m-doc:has(> dt > a[name^="CITEREF_"])
{
  display: grid;
  grid-template-columns: max-content minmax(0, 1fr);
  column-gap: 1rem;
}

dl.m-doc:has(> dt > a[name^="CITEREF_"]) > :is(dt, dd)
{
  margin: 0;
  padding: 1rem 0;
  border-bottom: 1px solid var(--line-color);
}

dl.m-doc:has(> dt > a[name^="CITEREF_"]) > dt
{
  color: var(--link-color);
  font-weight: 600;
  font-variant-numeric: tabular-nums;
}

dl.m-doc:has(> dt > a[name^="CITEREF_"]) > dd
{
  color: var(--color);
  overflow-wrap: anywhere;
}

dl.m-doc:has(> dt > a[name^="CITEREF_"]) > dd > p
{
  margin: 0;
  text-indent: 0;
}

/* Keep incoming citation links clear of the navigation bar. */
a[name^="CITEREF_"] { scroll-margin-top: 4rem; }