For CSS formatting of "Other Parameters" section.
Merge pull request #2809 from mdboom/docs/other-parameters-section-formatting

"Other parameters" sections have weird formatting