Dark theme for PHPStorm