Better latex highlight for jade