Highlight plugin: Disable line numbers.