PHPStorm settings & theme