@heinrichii For reasons I don't understand, this works:

GDK_SCALE=2 opera (wiki.archlinux.org/index.php/HiDPI#Xfce)

My display is not HiDPI.