Updated styling issue in HOL.md