Fix CSS formatting of "Other Parameters" section
Merge pull request #69 from mdboom/doc/other-parameters-formatting

Fix CSS formatting of "Other Parameters" section