/* Lean verification panel — injected by scripts/inject-lean-verification.ts */
.lean-verification {
  margin: 0.75rem 0 1rem 0;
  padding: 0.75rem 1rem;
  border: 1px solid var(--border-color, #d2d2d2);
  border-radius: 6px;
  background: var(--code-block-background-color, #f5f5f5);
  font-size: 0.95em;
}
.lean-header {
  font-weight: 500;
  font-size: 0.95em;
  margin-bottom: 0.5rem;
  color: var(--main-color, #333);
}
.lean-tick {
  color: #1a7f37;
  font-weight: 700;
  margin-right: 0.15rem;
}
@media (prefers-color-scheme: dark) {
  .lean-tick { color: #5fb874; }
}
html[data-theme="dark"] .lean-tick,
html[data-theme="ayu"]  .lean-tick { color: #5fb874; }
/* Lean syntax-highlighting tokens (github-light theme) */
.lean-code .hl-keyword { color: #D73A49; }
.lean-code .hl-const   { color: #6F42C1; }
.lean-code .hl-lit     { color: #005CC5; }
.lean-code .hl-string  { color: #032F62; }
.lean-code .hl-comment { color: #6A737D; font-style: italic; }

@media (prefers-color-scheme: dark) {
  .lean-code .hl-keyword { color: #ff7b72; }
  .lean-code .hl-const   { color: #d2a8ff; }
  .lean-code .hl-lit     { color: #79c0ff; }
  .lean-code .hl-string  { color: #a5d6ff; }
  .lean-code .hl-comment { color: #8b949e; }
}
html[data-theme="dark"] .lean-code .hl-keyword,
html[data-theme="ayu"]  .lean-code .hl-keyword { color: #ff7b72; }
html[data-theme="dark"] .lean-code .hl-const,
html[data-theme="ayu"]  .lean-code .hl-const   { color: #d2a8ff; }
html[data-theme="dark"] .lean-code .hl-lit,
html[data-theme="ayu"]  .lean-code .hl-lit     { color: #79c0ff; }
html[data-theme="dark"] .lean-code .hl-string,
html[data-theme="ayu"]  .lean-code .hl-string  { color: #a5d6ff; }
html[data-theme="dark"] .lean-code .hl-comment,
html[data-theme="ayu"]  .lean-code .hl-comment { color: #8b949e; }

.lean-code {
  margin: 0.4rem 0;
  padding: 0.6rem 0.8rem;
  background: var(--code-block-background-color, #fafafa);
  border: 1px solid var(--border-color, #ddd);
  border-radius: 4px;
  overflow-x: auto;
  font-family: monospace;
  font-size: 0.88em;
  line-height: 1.5;
  white-space: pre;
}