theme: jekyll-theme-minimal
include: _odoc-theme