Don't highlight selection in headers, disable editing and make it a bit
bigger by default.

Generic highlighter: Interface for automatic download of available definitions. Refactorings and changes in related parts of the code.