From 087cab11627255836ee9b86e7477783d5c7f695b Mon Sep 17 00:00:00 2001
From: Omri Mendels <omri374@users.noreply.github.com>
Date: Wed, 1 Jan 2020 23:27:12 +0200
Subject: [PATCH] Set theme jekyll-theme-dinky

---
 docs/_config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_config.yml b/docs/_config.yml
index 941557bdb..4d04545b1 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -1,4 +1,4 @@
-theme: jekyll-theme-cayman
+theme: jekyll-theme-dinky
 plugins:
   - jekyll-seo-tag
   - jekyll-sitemap