search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

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

Closed gebner closed 7 years ago

gebner commented 7 years ago

See guide at http://downtothewire.io/2015/08/15/configuring-jekyll-for-user-and-project-github-pages/

avigad commented 7 years ago

Good catch. This change also makes it easier to run and test the web pages locally, using Jekyll. This worked for me: https://help.github.com/articles/setting-up-your-github-pages-site-locally-with-jekyll/

A small issue was that I also had to install ruby_dev.