Merge "docs: minimize code-font line-height. Fixes problem in which any...

Merge "docs: minimize code-font line-height. Fixes problem in which any paragraph with code text has more whitespace below it than other lines." into jb-mr1-dev