On 19.03.24 14:50, Tom Lane wrote:
> Daniel Gustafsson <daniel@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.