Restored smaller Doxygen code block padding.

This is a revert of db5b089cee.