From 9a9433db01be43339941b1c446f4039d2a4eb756 Mon Sep 17 00:00:00 2001 From: Dimitris Zlatanidis Date: Mon, 12 Jun 2023 11:35:15 +0300 Subject: [PATCH] Updated for theme --- .idea/workspace.xml | 18 ++++++++---------- mkdocs.yml | 8 +++++++- 2 files changed, 15 insertions(+), 11 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index c74cd899..a7f3b5f2 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -8,8 +8,6 @@ - - diff --git a/mkdocs.yml b/mkdocs.yml index d4c10b8e..b0bf9685 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -13,4 +13,10 @@ theme: name: terminal palette: dark features: - - footer.prev_next + - footer.prev_next + - navigation.side.indexes + - revision.date + - revision.history + static_templates: + - 404.html + - about/coverage-report/index.html