forked from jupyterlab/jupyterlab
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.css
88 lines (63 loc) · 1.74 KB
/
index.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
/*-----------------------------------------------------------------------------
| Copyright (c) 2014-2016, Jupyter Development Team.
|
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
.jp-JSONEditor {
display: flex;
flex-direction: column;
width: 100%;
}
.jp-JSONEditor-host {
flex: 1 1 auto;
border: var(--jp-border-width) solid var(--jp-input-border-color);
border-radius: 0px;
background: var(--jp-layout-color0);
min-height: 50px;
margin-left: 12px;
margin-right: 12px;
padding: 1px;
}
.jp-JSONEditor.jp-mod-error .jp-JSONEditor-host {
border-color: red;
outline-color: red;
}
.jp-JSONEditor-header {
display: flex;
flex: 1 0 auto;
min-height: 13px;
padding: 12px;
}
.jp-JSONEditor-header label {
flex: 0 0 auto;
}
.jp-JSONEditor-commitButton, .jp-JSONEditor-revertButton, .jp-JSONEditor-collapser.jp-mod-collapse-enabled {
height: 16px;
width: 16px;
background-size: 18px;
background-repeat: no-repeat;
background-position: center;
}
.jp-JSONEditor-commitButton {
background-image: var(--jp-icon-checkmark);
margin-left: 8px;
}
.jp-JSONEditor-revertButton {
background-image: var(--jp-icon-undo);
}
.jp-JSONEditor-collapser.jp-mod-collapse-enabled {
margin-left: 6px;
background-image: var(--jp-icon-caretup);
}
.jp-JSONEditor-collapser.jp-mod-collapse-enabled.jp-mod-collapsed {
margin-left: 6px;
background-image: var(--jp-icon-caretdown);
}
.jp-JSONEditor-host.jp-mod-collapsed {
display: none;
}
.jp-JSONEditor-host.jp-mod-focused {
background-color: var(--jp-input-background-color-active);
border: 1px solid var(--jp-input-border-color-active);
box-shadow: var(--jp-input-box-shadow);
}