phpdoc theme css update