/* Fallback mínimo si el tema de highlight no llegó a tiempo */
pre code { color: #e6e6ff; }
.hljs-keyword { font-weight: 700; }
.hljs-string { color: #a0e7a0; }
.hljs-number { color: #f8c555; }
.hljs-comment { color: #8a8fa3; font-style: italic; }