From 6e7a24681c25c68a36e8714116d8d816f135780b Mon Sep 17 00:00:00 2001
From: xdvora19 <xdvora19@fi.muni.cz>
Date: Mon, 17 Jun 2024 23:23:01 +0200
Subject: [PATCH] add search bar
---
docs/stylesheets/extra.css | 8 ++++++++
mkdocs.yml | 1 +
2 files changed, 9 insertions(+)
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 47d804b..349bb32 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -223,3 +223,11 @@ tr td {
height: auto !important;
margin-right: 10px;
}
+
+.md-search__form:hover {
+ background-color: #000000b0;
+}
+
+.md-search__form:hover .md-search__icon {
+ color: white !important;
+}
diff --git a/mkdocs.yml b/mkdocs.yml
index 2a9a179..e1af071 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -63,3 +63,4 @@ extra_css:
plugins:
- render_swagger
- include-markdown
+ - search
--
GitLab