Verbatim environment formatted with
style={$style}, numbered={$numbered}, and
highlight={string-join($highlight, ',')}.
Verbatim plain processing doesn’t support highlightingVerbatim plain processing doesn’t support line numberingVerbatim raw processing doesn’t support injectionsVerbatim raw processing doesn’t support highlightingVerbatim raw processing doesn’t support line numberingUnrecognized verbatim-style: {$style}