server-side syntax highlighting