fixes to document formatting
Merge branch 'feature/hal' of https://github.com/spark/core-firmware into feature/hal