Michal, not to long ago I thought I saw codemirror highlighting mysql keywords in red. Now there seems to be no related css classes for the highlighting anymore. Was this change on purpose?