UserCSS for a compact representation of the manuals on php.net