RM: added client-side syntax highlighting