Personal theme for PhpStorm