A PHPStorm theme.