Fancy editor themes for PHP IDE - NuSphere PhpED