diff --git a/style/variables.css b/style/variables.css index e8b2793..b362a85 100644 --- a/style/variables.css +++ b/style/variables.css @@ -361,6 +361,7 @@ all of MD as it is not optimized for dense, information rich UIs. --jp-collaborator-color7: #85b1e0; /* File or activity icons and switch semantic variables */ + --jp-jupyter-icon-color: #de97f2; --jp-notebook-icon-color: #de97f2; --jp-json-icon-color: #dda2f6; @@ -378,7 +379,6 @@ all of MD as it is not optimized for dense, information rich UIs. /* Sidebar-related styles */ --jp-sidebar-min-width: 180px; - --jp-search-toggle-off-opacity: 0.6; --jp-search-toggle-hover-opacity: 0.8; --jp-search-toggle-on-opacity: 1; @@ -386,14 +386,14 @@ all of MD as it is not optimized for dense, information rich UIs. --jp-search-selected-match-color: black; --jp-search-unselected-match-background-color: #93ddfb; --jp-search-unselected-match-color: white; - --jp-scrollbar-background-color: #343d46; - --jp-scrollbar-thumb-color: 88, 96, 97; /* need to specify thumb color as an RGB triplet */ - --jp-scrollbar-endpad: 3px; /* the minimum gap between the thumb and the ends of a scrollbar */ - --jp-scrollbar-thumb-margin: 3.5px; /* the space in between the sides of the thumb and the track */ - --jp-scrollbar-thumb-radius: 9px; /* set to a large-ish value for rounded endcaps on the thumb */ + --jp-scrollbar-thumb-color: 88, 96, 97; + --jp-scrollbar-endpad: 3px; + --jp-scrollbar-thumb-margin: 3.5px; + --jp-scrollbar-thumb-radius: 9px; /* Icon colors that work well with light or dark backgrounds */ + --jp-icon-contrast-color0: #dda2f6; --jp-icon-contrast-color1: #93ddfb; --jp-icon-contrast-color2: #9aefea;