On Fri, Mar 22, 2024 at 01:12:30AM +0100, Daniel Gustafsson wrote: > > 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.
If we can't justify why it should be different, it should be like the surrounding sections. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.
