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