From 5ae649bccbf56302e8f8f7b19f2818454a9fb172 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Sun, 3 Oct 2021 00:28:53 +0200
Subject: [PATCH] Fix hover

---
 docs/css/extra.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/css/extra.css b/docs/css/extra.css
index 6572ea8..0f6c9c5 100644
--- a/docs/css/extra.css
+++ b/docs/css/extra.css
@@ -115,3 +115,8 @@ a:hover {
     background-color: #453A62;
     border-color: #996FC1;
 }
+
+.navbar-default .navbar-nav>li>a:hover, .navbar-default .navbar-nav>li>a:focus {
+    color: #fff;
+    background-color: #453A62;
+}