.md-typeset ul li,
.md-typeset ol li {
  margin-top: 0.10em;
  margin-bottom: 0.10em;
}

.md-typeset h1 {
  margin-bottom: 0.5em;
}

.md-typeset h2,
.md-typeset h3,
.md-typeset h4 {
  margin-top: 1em;
  margin-bottom: 0.1em;
}

.md-typeset h1 + *,
.md-typeset h2 + *,
.md-typeset h3 + *,
.md-typeset h4 + * {
  margin-top: 0.1em;
}

.md-typeset p + ul,
.md-typeset p + ol {
  margin-top: -0.6em;
}

.md-typeset .admonition,
.md-typeset details {
  margin-top: 0.4em;
  margin-bottom: 0.4em;
  padding: 0 0.6rem;
}

.md-typeset .admonition-title,
.md-typeset summary {
  padding-top: 0.3rem;
  padding-bottom: 0.3rem;
}

.md-typeset .admonition > :last-child,
.md-typeset details > :last-child {
  margin-bottom: 0.3rem;
}

.md-typeset pre,
.md-typeset .highlight {
  margin-top: 0.3em;
}

.md-typeset p + .highlight,
.md-typeset p + pre {
  margin-top: -0.6em;
}

.md-typeset .tabbed-set + h2,
.md-typeset .tabbed-set + h3,
.md-typeset .tabbed-set + h4 {
  margin-top: 0.6em;
}

.console-line {
  display: block;
  position: relative;
}

.console-copy-line {
  position: absolute;
  right: 2.0em;
  top: 0;
  padding: 0;
  margin: 0;
  background: transparent;
  border: none;
  cursor: pointer;
  color: var(--md-default-fg-color--lightest);
  line-height: 1;
  opacity: 0;
  transition: opacity .25s, color .25s;
  display: inline-flex;
  align-items: center;
}

pre:hover .console-copy-line {
  opacity: 1;
}

.console-line--prompt:hover .console-copy-line {
  color: var(--md-default-fg-color--light);
}

.console-line--prompt .console-copy-line:focus,
.console-line--prompt .console-copy-line:hover {
  color: var(--md-accent-fg-color);
}

/* Bracket button: a narrow, full-line-height cell that draws a vertical rail
   via a pseudo-element. No text content, so the rail is pixel-perfect and
   continuous across line boundaries (no font-metric gaps). */
.console-copy-line--bracket {
  top: 0;
  bottom: 0;
  height: auto;
  width: 14px;
  padding: 0;
}

.console-copy-line--bracket::before {
  content: '';
  position: absolute;
  left: 50%;
  top: 0;
  bottom: 0;
  width: 2px;
  margin-left: -1px;
  background: currentColor;
}

/* End of a bracket group: the vertical rail stops at the middle of the line
   and a horizontal tick runs left, forming a ┘ corner. */
.console-copy-line--bracket-end::before {
  bottom: 50%;
}

.console-copy-line--bracket-end::after {
  content: '';
  position: absolute;
  left: 0;
  right: 50%;
  top: 50%;
  margin-top: -1px;
  height: 2px;
  background: currentColor;
}

.console-copy-line--active {
  color: var(--md-accent-fg-color);
}

/* Glossary rich hover cards (driven by docs/javascripts/glossary.js).
   The dotted underline is set explicitly because glossary.js removes the
   `title` attribute (to suppress Material's plain tooltip), and Material's
   default abbr underline targets `abbr[title]`. */
.md-typeset .glossary-term {
  cursor: pointer;
  border-bottom: 0.05rem dotted var(--md-default-fg-color--light);
  text-decoration: none;
}

.md-typeset .glossary-term:hover,
.md-typeset .glossary-term:focus {
  border-bottom-color: var(--md-accent-fg-color);
}

.glossary-card {
  position: absolute;
  top: 0;
  left: 0;
  z-index: 100;
  width: max-content;
  max-width: 20rem;
  padding: 0.5rem 0.7rem;
  border: 0.05rem solid var(--md-default-fg-color--lightest);
  border-radius: 0.2rem;
  background: var(--md-default-bg-color);
  color: var(--md-default-fg-color);
  box-shadow: var(--md-shadow-z2);
  font-size: 0.68rem;
  line-height: 1.5;
  opacity: 0;
  visibility: hidden;
  transition: opacity 0.15s, visibility 0.15s;
}

.glossary-card--visible {
  opacity: 1;
  visibility: visible;
}

.glossary-card__title {
  margin-bottom: 0.2rem;
  font-weight: 700;
}

.glossary-card__link {
  color: var(--md-default-fg-color);
  text-decoration: none;
}

.glossary-card__link:hover {
  color: var(--md-accent-fg-color);
}

.glossary-card__content > :first-child {
  margin-top: 0;
}

.glossary-card__content > :last-child {
  margin-bottom: 0;
}

.glossary-card__arrow {
  position: absolute;
  z-index: -1;
  width: 0.5rem;
  height: 0.5rem;
  border: 0.05rem solid var(--md-default-fg-color--lightest);
  background: var(--md-default-bg-color);
  transform: rotate(45deg);
}