-
Notifications
You must be signed in to change notification settings - Fork 4.7k
/
base.css
68 lines (55 loc) · 1.81 KB
/
base.css
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
|
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
.jp-FileBrowser-toolbar .jp-Toolbar-item.jp-DropdownMenu,
.jp-FileBrowser-toolbar .jp-Toolbar-item.jp-ToolbarButton,
.jp-FileBrowser-toolbar .jp-Toolbar-item.jp-CommandToolbarButton {
border: solid 1px var(--jp-border-color2);
margin: 1px;
padding: 0px;
}
.jp-FileBrowser-toolbar > .jp-Toolbar-item.jp-ToolbarButton:hover,
.jp-FileBrowser-toolbar > .jp-Toolbar-item.jp-CommandToolbarButton:hover,
.jp-FileBrowser-toolbar > .jp-Toolbar-item.jp-DropdownMenu:hover {
background: var(--neutral-fill-stealth-hover);
}
.jp-FileBrowser-toolbar .lm-MenuBar-item {
height: var(--jp-private-toolbar-height);
display: inline-flex;
align-items: center;
}
.jp-FileBrowser-toolbar .jp-ToolbarButtonComponent {
height: var(--jp-flat-button-height);
}
.jp-FileBrowser-toolbar jp-button.jp-ToolbarButtonComponent:hover {
background: inherit;
}
.jp-FileBrowser-filterBox {
padding: 0;
flex: 0 0 auto;
}
.jp-FileBrowser-filterBox input {
line-height: 24px;
}
.jp-DirListing-content .jp-DirListing-checkboxWrapper {
visibility: visible;
}
/* Action buttons */
.jp-FileBrowser-toolbar > .jp-FileAction > .jp-ToolbarButtonComponent > svg {
display: none;
}
.jp-FileBrowser-toolbar > #fileAction-delete {
background-color: var(--jp-error-color1);
}
.jp-FileBrowser-toolbar
.jp-ToolbarButtonComponent[data-command='filebrowser:delete']
.jp-ToolbarButtonComponent-label {
color: var(--jp-ui-inverse-font-color1);
}
.jp-FileBrowser-toolbar .jp-FileAction {
border: solid 1px var(--jp-border-color2);
margin: 1px;
min-height: var(--jp-private-toolbar-height);
}