Markus Lehtonen 194f42f5c9 docs: pin version of jekyll-rtd-theme ... Sync our customizations under _includes/ with v2.0.9 of jekyll-rtd-theme. Also, pin the theme version in order to avoid abrupt build failures in the future (caused by our customization becoming incompatible with the rolling latest version). Also, drop jekyll-rtd-theme from the Gemfile. It's useless there as it's being mandated by remote-theme setting in _config.yml.		2020-10-22 21:32:17 +03:00
..
_includes/class	docs: pin version of jekyll-rtd-theme	2020-10-22 21:32:17 +03:00
.gitignore	docs: initial site setup	2020-10-08 10:50:04 +03:00
404.html	docs: initial site setup	2020-10-08 10:50:04 +03:00
_config.yml	docs: pin version of jekyll-rtd-theme	2020-10-22 21:32:17 +03:00
Gemfile	docs: pin version of jekyll-rtd-theme	2020-10-22 21:32:17 +03:00
Gemfile.lock	docs: pin version of jekyll-rtd-theme	2020-10-22 21:32:17 +03:00
index.md	docs: initial site setup	2020-10-08 10:50:04 +03:00