datk themes: codelite highlight word are now drawn using empty boxes instead of opaque boxes