|
@@ -93,6 +93,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
--jp-border-color1: var(--md-grey-700);
|
|
|
--jp-border-color2: var(--md-grey-800);
|
|
|
--jp-border-color3: var(--md-grey-900);
|
|
|
+ --jp-inverse-border-color: var(--md-grey-600);
|
|
|
--jp-border-radius: 2px;
|
|
|
|
|
|
/* UI Fonts
|
|
@@ -330,7 +331,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
--jp-input-active-background: var(--jp-layout-color0);
|
|
|
--jp-input-hover-background: var(--jp-layout-color2);
|
|
|
--jp-input-background: var(--md-grey-800);
|
|
|
- --jp-input-border-color: var(--jp-border-color1);
|
|
|
+ --jp-input-border-color: var(--jp-inverse-border-color);
|
|
|
--jp-input-active-border-color: var(--jp-brand-color1);
|
|
|
--jp-input-active-box-shadow-color: rgba(19, 124, 189, 0.3);
|
|
|
|