> On 22 Mar 2024, at 00:33, Peter Eisentraut <pe...@eisentraut.org> wrote: > > 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.
That's quite possible. I don't have strong opinions on whether we should change, or keep it the way it is. -- Daniel Gustafsson
