Mixed content errors after enabling HTTPS

Caused by https://github.com/sebastianbergmann/phpunit-website/issues/18

Not sure whether the intention was to redirect all HTTP to HTTPS, but that's the case now, and the mixed content errors occur on HTTPS either way.

While being there, grepped for `http:` within manual pages and adjusted them.
Primary change.  The font is not loaded currently.