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

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

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

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

/* Anchored sections must not draw a competing line between coloured blocks. */
article section:target:has(.m-block) {
  border-left-color: transparent;
}

/* 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-branch {
  position: relative;
  list-style: none;
  display: grid;
  grid-template-columns: 1.25em minmax(0, 1fr);
  align-items: baseline;
}
.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;
}