Replace non-free stylesheets

The css files defining the documentation pages layout are fetched from
php.net during build time. These css files are not licensed under a free
license and are replaced here by a modification of the debian.css file
provided by the Debian's maint-guide package.