-
Notifications
You must be signed in to change notification settings - Fork 49
/
Copy pathbase.css
60 lines (51 loc) · 1.34 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
:root {
--jp-execute-time-highlight: var(--jp-brand-color3, #bbdefb);
--jp-execute-time-background: var(--jp-cell-editor-background);
}
/* Transition to highlight a cell change */
@keyframes executeHighlight {
from {
background-color: var(--jp-execute-time-highlight);
}
to {
background-color: var(--jp-execute-time-background);
}
}
.execute-time {
background-color: var(--jp-execute-time-background);
display: flex;
justify-content: space-between;
margin-top: 2px;
font-family: var(--jp-code-font-family, monospace);
font-size: 86%;
border-top: 1px solid var(--jp-cell-editor-border-color, #cfcfcf);
padding: 0 2px;
}
.execute-time.execute-time-contrast-low {
color: var(--jp-ui-font-color3);
}
.execute-time.execute-time-contrast-high {
color: var(--jp-ui-font-color1);
}
.execute-time.execute-time-positioning-left {
flex-direction: row;
}
.execute-time.execute-time-positioning-right {
flex-direction: row-reverse;
}
.execute-time.execute-time-positioning-hover {
display: none;
}
.jp-Cell-inputWrapper:hover .execute-time.execute-time-positioning-hover {
display: block;
position: absolute;
right: 0;
bottom: -1.25em;
border: 1px solid var(--jp-cell-editor-border-color, #cfcfcf);
border-width: 0 1px 1px 1px;
height: 1.25em;
z-index: 3;
}
.execute-time.execute-time-hidden {
display: none;
}