On 19.03.24 14:50, Tom Lane wrote:
Daniel Gustafsson <dan...@yesql.se> writes:
It's actually not very odd, the reference section is using <reference> elements
and we had missed the arabic numerals setting on those. The attached fixes
that for me. That being said, we've had roman numerals for the reference
section since forever (all the way down to the 7.2 docs online has it) so maybe
it was intentional?
I'm quite sure it *was* intentional. Maybe it was a bad idea, but
it's not that way simply because nobody thought about it.
Looks to me it was just that way because it's the default setting of the
stylesheets.
