Crash Fixes, panel editor tweaks and theming changes — Vivaldi Browser snapshot 4021.3

In this snapshot we’ve resolved two more common crashers, and improved the panel editor and unified theming.