Hello, Christian Moe <m...@christianmoe.com> writes:
> Here's a simple CSS workaround that might or might not work well for > you, and won't work for non-HTML backends, but at least requires minimal > hacking: [...] Good to know. Anyhow, does my proposal make sense? Regards, -- Nicolas Goaziou