forked from jupyterlab/jupyterlab
-
Notifications
You must be signed in to change notification settings - Fork 0
/
toolbar.css
94 lines (69 loc) · 1.88 KB
/
toolbar.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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
/*-----------------------------------------------------------------------------
| Copyright (c) 2014-2016, Jupyter Development Team.
|
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
:root {
--jp-private-toolbar-height: 24px;
}
.jp-Toolbar {
color: var(--jp-ui-font-color1);
flex: 0 0 auto;
display: flex;
flex-direction: row;
border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
height: 24px;
height: calc(var(--jp-private-toolbar-height) + var(--jp-border-width));
}
.jp-Toolbar > .jp-Toolbar-item {
flex: 0 0 auto;
padding-left: 8px;
padding-right: 8px;
vertical-align: middle;
font-size: 14px;
line-height: 23px;
}
.jp-Toolbar-item.jp-Toolbar-button {
font-family: FontAwesome;
text-align: center;
display: inline-block;
height: 24px;
width: 32px;
background-repeat: no-repeat;
background-position: center;
background-size: 16px;
}
.jp-Toolbar-button.jp-mod-pressed {
background-color: #E0E0E0;
box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
}
.jp-Toolbar-button:hover {
background-color: #EEEEEE;
box-shadow: inset 0 0px 1px rgba(0, 0, 0, 0.5);
}
.jp-Toolbar > .jp-Toolbar-item.jp-Kernel-toolbarKernelName {
text-align: right;
flex-grow: 1;
flex-shrink: 1;
font-size: var(--jp-ui-font-size1);
}
.jp-Toolbar-item.jp-Kernel-toolbarKernelIndicator {
font-family: FontAwesome;
text-align: center;
display: inline-block;
}
.jp-Toolbar-item.jp-Kernel-toolbarKernelIndicator {
border-right: none;
}
.jp-Kernel-toolbarInterrupt::before {
content: "\f04d"; /* stop */
}
.jp-Kernel-toolbarRestart::before {
content: "\f01e"; /* rotate-right */
}
.jp-Kernel-toolbarKernelIndicator::before {
content: "\f10c"; /* circle-o */
}
.jp-Kernel-toolbarKernelIndicator.jp-mod-busy::before {
content: "\f111"; /* circle */
}