fix: restore syntax highlighting - #973

fix: restore syntax highlighting#973

ROTARTSI82 wants to merge 1 commit into

leanprover:mainleanprover/verso:mainfrom

ROTARTSI82:patch-1ROTARTSI82/verso:patch-1Copy head branch name to clipboard