disable bold on GUI highlights