Improve micro-formatting highlighting