On Sat, 10 Aug 2019 13:45:12 +0200, Mike Wey wrote:

So they will most likely not work in 4.0, and you will need to add some
CSS to change the border of the frame.

Okay, thanks. At least it's still doable.