Fix display of <command> elements on man pages

Peter Eisentraut <peter_e@gmx.net>

Commit: 61c84b47619c11e74089cb3160813a4b3c98e6d7
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2012-04-30T18:18:03Z
Releases: 9.2.0
Fix display of <command> elements on man pages

We had changed this from the default bold to monospace for all output
formats, but for man pages, this creates visual inconsistencies, so
revert to the default for man pages.

Files