|
@@ -41,6 +41,12 @@
|
|
|
}
|
|
|
|
|
|
|
|
|
+.jp-Toolbar-item.jp-Toolbar-button:focus {
|
|
|
+ box-shadow: var(--jp-toolbar-box-shadow);
|
|
|
+ border: 1px solid var(--jp-toolbar-border-color);
|
|
|
+}
|
|
|
+
|
|
|
+
|
|
|
.jp-Toolbar-button.jp-mod-pressed {
|
|
|
background-color: var(--jp-layout-color3);
|
|
|
box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
|