1- @import url ('base.css' );
2-
3- .jp-VarInspector {
4- flex-direction : column;
5- overflow : auto;
6- font-size : var (--jp-ui-font-size1 );
7- }
8-
9- .jp-VarInspector-table {
10- font-family : monospace;
11- border-collapse : collapse;
12- margin : auto;
13- width : 100% ;
14- color : var (--jp-content-font-color1 );
15- }
16-
17- .jp-VarInspector-table td ,
18- .jp-VarInspector-table thead {
19- border : 1px solid;
20- border-color : var (--jp-layout-color2 );
21- padding : 8px ;
22- }
23-
24- .jp-VarInspector-table tr : nth-child (even) {
25- background-color : var (--jp-layout-color1 );
26- }
27-
28- .jp-VarInspector-content tr : hover {
29- background-color : var (--jp-layout-color2 );
30- }
31-
32- .jp-VarInspector-table thead {
33- font-size : var (--jp-ui-font-size0 );
34- text-align : center;
35- background-color : var (--jp-layout-color2 );
36- color : var (--jp-ui-font-color1 );
37- font-weight : 600 ;
38- letter-spacing : 1px ;
39- text-transform : uppercase;
40- }
41-
42- .jp-VarInspector-title {
43- font-size : var (--jp-ui-font-size1 );
44- color : var (--jp-content-font-color1 );
45- text-align : left;
46- padding-left : 10px ;
47- }
48-
49- .jp-VarInspector-deleteButton {
50- text-align : center;
51- width : 1em ;
52- }
53-
54- .jp-VarInspector-varName {
55- font-weight : 600 ;
56- }
57-
1+
2+ @import url ('base.css' );
3+
4+ .jp-VarInspector {
5+ flex-direction : column;
6+ overflow : auto;
7+ font-size : var (--jp-ui-font-size1 );
8+ }
9+
10+ .jp-VarInspector-table {
11+ font-family : monospace;
12+ border-collapse : collapse;
13+ margin : auto;
14+ width : 100% ;
15+ color : var (--jp-content-font-color1 );
16+ }
17+
18+ .jp-VarInspector-table td ,
19+ .jp-VarInspector-table thead {
20+ border : 1px solid;
21+ border-color : var (--jp-layout-color2 );
22+ padding : 8px ;
23+ }
24+
25+ .jp-VarInspector-table tr : nth-child (even) {
26+ background-color : var (--jp-layout-color1 );
27+ }
28+
29+ .jp-VarInspector-content tr : hover {
30+ background-color : var (--jp-layout-color2 );
31+ }
32+
33+ .jp-VarInspector-table thead {
34+ font-size : var (--jp-ui-font-size0 );
35+ text-align : center;
36+ background-color : var (--jp-layout-color2 );
37+ color : var (--jp-ui-font-color1 );
38+ font-weight : 600 ;
39+ letter-spacing : 1px ;
40+ text-transform : uppercase;
41+ }
42+
43+ .jp-VarInspector-title {
44+ font-size : var (--jp-ui-font-size1 );
45+ color : var (--jp-content-font-color1 );
46+ text-align : left;
47+ padding-left : 10px ;
48+ }
49+
50+ .jp-VarInspector-deleteButton {
51+ text-align : center;
52+ width : 1em ;
53+ }
54+
55+ .jp-VarInspector-varName {
56+ font-weight : 600 ;
57+ }
58+
0 commit comments