From f5a5a10e5c0e98d06f1469d10e5521b71b43fb27 Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Wed, 15 Feb 2023 19:02:43 +0100
Subject: [PATCH] Fix css

Jekyll ignore folder and file starting with a _, they need to be include
manually.
---
 _config.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/_config.yml b/_config.yml
index 2f7efbea..83395793 100644
--- a/_config.yml
+++ b/_config.yml
@@ -1 +1,2 @@
-theme: jekyll-theme-minimal
\ No newline at end of file
+theme: jekyll-theme-minimal
+include: _odoc-theme