Change phpdoc theme