/* The original page remains the visual shell; Verso supplies semantic code. */
.verso-code-panel {
  --verso-code-color: #e7eee9;
  --verso-code-keyword-color: #e5b888;
  --verso-code-const-color: #b4d9e9;
  --verso-code-var-color: #e7eee9;
  --verso-code-hover-bg-color: #344a48;
}
.verso-code-panel { background: var(--code); color: var(--code-ink); border-radius: 12px; margin: 14px 0; overflow: auto; padding: 18px; }
.verso-declaration + .verso-declaration { margin-top: 22px; }
.verso-source { display: block; width: fit-content; margin-bottom: 8px; color: #9fc8bd; font: 11px ui-sans-serif, sans-serif; text-decoration: none; }
.verso-source:hover { text-decoration: underline; }
.verso-code-panel code.hl.lean.block { display: block; padding: 0; margin: 0; background: transparent; color: #e7eee9; white-space: pre; font-size: 12px; line-height: 1.65; min-width: max-content; }
.verso-code-panel .hl.lean .const { color: #b4d9e9; }
.verso-code-panel .hl.lean .keyword { color: #e5b888; }
.verso-code-panel .hl.lean .var { color: #e7eee9; }
.verso-code-panel .hl.lean .literal { color: #b7dbab; }
.verso-code-panel .hl.lean .comment { color: #91a49c; }
.verso-code-panel .hl.lean a { text-decoration: none; }
.verso-code-panel .hl.lean a:hover { text-decoration: underline; }
.verso-code-panel a:focus-visible { outline: 2px solid #9fc8bd; outline-offset: 3px; }
.tippy-box { font-size: 13px; max-width: min(680px, 92vw) !important; }
.tippy-box code { white-space: pre-wrap; overflow-wrap: anywhere; }
.tippy-box a { color: #0d756a; }
@media (max-width: 700px) { .verso-code-panel { padding: 12px; } }