Custom themes for PHPStorm