Thanks, I misread the information you sent me. It says I "need to update/override one selector in the theme CSS". (I missed "override". BTW should not that be "two", not "one"? ;-) )
Still maybe a bit clumsy for something I would expect to be the default behavior.
But anyway, many thanks. It is great to be given this library!