Until this patch, all themes used the Colibri values for syntax highlighting. This made the documentation very hard to read in some light themes.