From 807775c5194bdd2b24d90cd3a6f1958a293659c2 Mon Sep 17 00:00:00 2001
From: Andrea Borruso <aborruso@gmail.com>
Date: Tue, 27 Aug 2024 14:44:20 +0200
Subject: [PATCH] Update extra.css (#1633)

removed a duplicate and corrected a typo
---
 docs/src/extra.css | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/docs/src/extra.css b/docs/src/extra.css
index 0e75f2af7..e1395aff3 100644
--- a/docs/src/extra.css
+++ b/docs/src/extra.css
@@ -237,10 +237,7 @@ img {
   --md-footer-fg-color: #eae2cb;
 }
 
-md-nav__link--active {
+.md-nav__link--active {
     text-decoration: underline;
 }
 
-md-nav__link--active {
-    text-decoration: underline;
-}