Skip to content

Commit

Permalink
Fix styling for search matches
Browse files Browse the repository at this point in the history
  • Loading branch information
jtpio committed Dec 12, 2024
1 parent 62d4e93 commit ae4a05b
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions style/variables.css
Original file line number Diff line number Diff line change
Expand Up @@ -418,6 +418,15 @@ all of MD as it is not optimized for dense, information rich UIs.
/* Sidebar-related styles */

--jp-sidebar-min-width: 180px;

/* Search colors */
--jp-search-toggle-off-opacity: 0.6;
--jp-search-toggle-hover-opacity: 0.8;
--jp-search-toggle-on-opacity: 1;
--jp-search-selected-match-background-color: var(--md-yellow-500);
--jp-search-selected-match-color: black;
--jp-search-unselected-match-background-color: var(--jp-night-blue);
--jp-search-unselected-match-color: var(--jp-ui-font-color0);
}

.jp-InputArea-editor {
Expand Down

0 comments on commit ae4a05b

Please sign in to comment.