[themes] MySQL Workbench Dark Theme