Skip to:
I noticed that Part 4 does use h5: see
It is very confusing to have the h5 be smaller than the body text, so we have to fix that.
Since this is just formatting/typos, we can fix without incrementing the version or revision number.
Not a blocker for the release.
Fix cherry-picked to maint/maint-46 branch 2024-12-08
great. i’ll get a PR going
bold small caps would be good, but still need to be larger (even if only slightly larger) than the body text.
Small Caps? It’s hard to differentiate 5 sizes smaller.
ok, this is reports-v2.css - unrelated to the h1, h2, h3 etc. fixes to the site.
we could drop .h5 { font-size: smaller } to just leave h5 at ‘normal’ size.
.h5 { font-size: smaller }
I noticed that Part 4 does use h5: see
It is very confusing to have the h5 be smaller than the body text, so we have to fix that.
Since this is just formatting/typos, we can fix without incrementing the version or revision number.
Not a blocker for the release.