Merge pull request #3663 from adriaanm/spec

More cleanup for the spec. Ported over @som-snytt's PRs.
Simplify CSS, bigger monospace to match math
Reducing overlap of code and math.

Prefer smaller islands of `code` in bigger
sections of $math$. Do not include $`code` in math$,
and avoid `$math$ in code`.