Theme Editor and Color Picker in Vivaldi Settings