theme: jekyll-theme-minimal
include: ["_odoc-theme", "_odoc_support"]