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: 44cdab1fc51558ff7d608d777549bd1e81b36ab8
Component: engine