|
|
@@ -371,7 +371,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
--jp-search-toggle-off-opacity: 0.4;
|
|
|
--jp-search-toggle-hover-opacity: 0.65;
|
|
|
--jp-search-toggle-on-opacity: 1;
|
|
|
- --jp-search-selected-match-background-color: rgb(255, 245, 0);
|
|
|
+ --jp-search-selected-match-background-color: rgb(245, 200, 0);
|
|
|
--jp-search-selected-match-color: black;
|
|
|
--jp-search-unselected-match-background-color: var(
|
|
|
--jp-inverse-layout-color0
|
Andrew Schlaepfer