why is monospaced font in section headings so tiny?

  just processing quentin's suggestion for buildhistory section, and
noticed for the first time how tiny is monospaced font in headings,
like here:

https://docs.yoctoproject.org/dev-manual/customizing-images.html#customizing-images-using-local-conf

where "local.conf" is so much smaller than the rest of the title. is
there no way to adjust that?

rday