fix(_config.yml): fix CSS errors on https
fix(_config.yml): fix CSS errors on https

avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io