From dce025e54455a44af1d3126da28cc0831cd6969d Mon Sep 17 00:00:00 2001
From: Oleh Prypin <oleh@pryp.in>
Date: Mon, 19 Sep 2022 22:46:24 +0200
Subject: [PATCH] Remove duplicated style due to a merge mistake

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

diff --git a/docs/css/extra.css b/docs/css/extra.css
index 45159b8d..e746741b 100644
--- a/docs/css/extra.css
+++ b/docs/css/extra.css
@@ -19,11 +19,6 @@ div.col-md-9 h1:first-of-type .headerlink {
 div.admonition.block>.admonition-title {
     display: none;
 }
-div.admonition.new {
-    color: #15654a;
-    background-color: #e4f7f1;
-    border-color: #bcf1e8;
-}
 
 .admonition.new, details.new {
     color: #15654a;