Greg Pflaum 31de8f75fc Fix indenting in table of contents ...

Fixes #30841. The "filter" section had the wrong header size, which
caused sections following it to have the wrong indentation in the
right-side table of contents.

Signed-off-by: Greg Pflaum <gpflaum@users.noreply.github.com>
Upstream-commit: a616b0c305
Component: cli

2017-06-02 00:11:00 +00:00

..

cli

Fix indenting in table of contents

2017-06-02 00:11:00 +00:00