/* Verdict badges: landing-page.md's "Visual and language direction" --
   distinguished by symbol *and* colour, never colour alone, so the
   distinction still reads for a colour-blind viewer or in a screen reader
   that skips generated content. Applied via attr_list on inline code spans
   (`` `VERIFIED`{.verdict .verdict-verified} ``), not matched by text
   content -- CSS has no way to select on that, and re-deriving the class
   from the word would be more fragile than just writing it once in the
   markdown.

   Every selector below is prefixed `.md-typeset` -- not decorative, load-
   bearing: `.md-typeset code` (specificity 0,1,1) sets color/background-
   color/border-radius on every inline code span, beating a bare single-class
   selector (0,1,0) regardless of extra_css's later source order. Confirmed
   directly (not assumed): `.verdict-verified`'s `color` computed to
   `var(--md-code-fg-color)` from the theme's rule, not this file's `color`,
   until every selector here matched `.md-typeset code`'s own specificity.
   Matching the theme's selector shape to win on source order, the same
   approach tasklist.css already uses here, rather than reaching for
   `!important`.

   Colours match the palette reasoning.md's own classification flowchart
   already established (light-mode values only there); UNDECIDED has no
   flowchart precedent, so it's a plain neutral grey, deliberately flatter
   than INCONSISTENT_BASE's blue-grey so the two don't read as the same
   colour at a glance. Light-mode values sit close to reasoning.md's mermaid
   fill/stroke pairs; dark-mode values are separately tuned for contrast
   against `--md-default-bg-color`'s dark slate, not just the light values
   left to fail there. */

.md-typeset code.verdict {
  font-weight: 700;
  padding: 0.05em 0.5em;
  border-radius: 3px;
  border: 1px solid currentcolor;
  background-color: transparent;
}

.md-typeset code.verdict::before {
  margin-right: 0.4em;
  font-weight: 700;
}

.md-typeset code.verdict-verified {
  color: #1b5e20;
}

.md-typeset code.verdict-verified::before {
  content: "✓";
}

.md-typeset code.verdict-falsified {
  color: #b71c1c;
}

.md-typeset code.verdict-falsified::before {
  content: "✗";
}

.md-typeset code.verdict-unknown {
  color: #e65100;
}

.md-typeset code.verdict-unknown::before {
  content: "?";
}

.md-typeset code.verdict-inconsistent {
  color: #37474f;
}

.md-typeset code.verdict-inconsistent::before {
  content: "⊥";
}

.md-typeset code.verdict-undecided {
  color: #616161;
}

.md-typeset code.verdict-undecided::before {
  content: "…";
}

[data-md-color-scheme="slate"] .md-typeset code.verdict-verified {
  color: #81c784;
}

[data-md-color-scheme="slate"] .md-typeset code.verdict-falsified {
  color: #e57373;
}

[data-md-color-scheme="slate"] .md-typeset code.verdict-unknown {
  color: #ffb74d;
}

[data-md-color-scheme="slate"] .md-typeset code.verdict-inconsistent {
  color: #90a4ae;
}

[data-md-color-scheme="slate"] .md-typeset code.verdict-undecided {
  color: #b0b0b0;
}