Add missing halmos
Update inline code styles

Closes #42