Change mono-blue highlight.hs theme