diff --git a/style/variables.css b/style/variables.css index 55542a3..d1e8b13 100644 --- a/style/variables.css +++ b/style/variables.css @@ -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 {