[mod] upgrade pygments

add searx_extra/update/update_pygments.py to update the css style of the oscar and simple themes.
2021-03-16 09:07:08 +01:00
parent 4c631ac6d0
commit 32cd0d31b3
32 changed files with 2180 additions and 1667 deletions
@@ -71,10 +71,6 @@ ul.nav li a {
  border-color: #4d3f43 !important;
 }

-.highlight {
-  background: #333333 !important;
-}
-
 /*nav*/
 .navbar{
  background:#1d1f21 none;