From 087b450ecbef716f2c2630201f53d7c59020ab55 Mon Sep 17 00:00:00 2001
From: mahula <lenzmath@posteo.de>
Date: Wed, 1 Feb 2023 09:28:48 +0100
Subject: [PATCH] set theme in config back to vuepress-theme-book

---
 docs/.vuepress/config.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js
index 47a2194..176bf42 100644
--- a/docs/.vuepress/config.js
+++ b/docs/.vuepress/config.js
@@ -5,8 +5,7 @@ module.exports = {
   head: [
     ['meta', {name: 'viewport', content: 'width=device-width,initial-scale=1'}]
   ],
-  // theme: 'vuepress-theme-book',
-  theme: 'book',
+  theme: 'vuepress-theme-book',
   themeConfig: {
     // logo: "/logo.png",
     searchPlaceholder: "Search...",