On Sun, 2024-07-21 at 14:56 +0200, Patrick Dupre wrote: > Sure, but it could be a font option.
But romannum is not a font. Unless you consider that in some generalized fashion. :-) -- José Abílio -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
