Typographical adjustments

- Don't show underline of links by default, but on :hover, :focus
- Add “Syntax” to syntax snippets
- Remove superfluous bullet points from the TOC
- Increase margin-top of h1