/* Lean 4 code blocks: use lean highlighting where available */
code.language-lean {
  font-family: 'JetBrains Mono', 'Fira Code', 'Source Code Pro', monospace;
}

/* Tighter table styling for API mapping tables */
.content table {
  font-size: 0.9em;
}

.content table code {
  font-size: 0.85em;
  padding: 0.1em 0.3em;
}

/* Blog post styling */
blockquote {
  border-left: 4px solid #4a90d9;
  font-style: italic;
}