UNPKG

2.63 kBCSSView Raw
1.jp-FontsEditor {
2 color: var(--jp-ui-font-color0);
3 overflow-y: auto;
4 background-color: var(--jp-layout-color1);
5}
6
7.jp-FontsEditor-button.jp-mod-styled {
8 font-size: var(--jp-ui-font-size1);
9 background-color: var(--jp-layout-color0);
10 border: solid 1px transparent;
11 white-space: nowrap;
12 flex: 0;
13}
14
15.jp-FontsEditor .lm-CommandPalette-header {
16 margin: 0;
17}
18
19.jp-FontsEditor-enable label {
20 margin: calc(var(--jp-ui-font-size1) / 2) 0 0 var(--jp-ui-font-size1);
21 font-size: var(--jp-ui-font-size1);
22 display: flex;
23 flex-direction: row;
24 align-items: center;
25}
26
27.jp-FontsEditor-button.jp-mod-styled:focus,
28.jp-FontsEditor-button.jp-mod-styled:hover {
29 border-color: var(--jp-border-color1);
30}
31
32.jp-FontsEditor h2 {
33 padding: var(--jp-ui-font-size1);
34 margin: 0;
35 display: flex;
36}
37
38.jp-FontsEditor h2 > label {
39 flex: 1;
40}
41
42.jp-FontsEditor-delete-icon.jp-FontsEditor-button.jp-mod-styled {
43 background-repeat: no-repeat;
44 background-position: center;
45 color: transparent;
46}
47
48.jp-FontsEditor h2 .jp-NotebookIcon {
49 width: var(--jp-ui-font-size2);
50 height: calc(var(--jp-ui-font-size2));
51 display: inline-block;
52 vertical-align: middle;
53 background-repeat: no-repeat;
54}
55
56.jp-FontsEditor-embed {
57 padding: 0;
58 margin: 0;
59}
60
61.jp-FontsEditor-embed li {
62 display: flex;
63 flex-direction: row;
64 list-style: none;
65 align-items: baseline;
66 justify-content: space-between;
67 margin: 0 var(--jp-ui-font-size1);
68}
69
70.jp-FontsEditor-embed li > * {
71 flex: 1;
72 font-size: var(--jp-ui-font-size1);
73}
74
75.jp-FontsEditor-embed li > .jp-FontsEditor-size {
76 flex: 0;
77 padding: 0 var(--jp-ui-font-size1);
78 font-size: var(--jp-ui-font-size0);
79 color: var(--jp-ui-font-color2);
80 white-space: nowrap;
81}
82
83.jp-FontsEditor-field {
84 display: flex;
85 margin: 0 var(--jp-ui-font-size1);
86 align-items: baseline;
87}
88
89.jp-FontsEditor-field label {
90 white-space: nowrap;
91 flex: 0;
92 font-size: var(--jp-ui-font-size1);
93 padding-right: var(--jp-ui-font-size1);
94}
95
96.jp-FontsEditor-field > div {
97 display: flex;
98 flex: 1;
99 flex-direction: row;
100 align-items: baseline;
101}
102.jp-FontsEditor-field > div * {
103 display: block;
104 flex: 1;
105 text-align: right;
106 font-size: var(--jp-ui-font-size1);
107}
108
109.jp-FontsEditor-field select {
110 font-weight: bold;
111 border: none;
112 background: transparent;
113 background-image: var(--jp-ui-select-caret);
114 background-repeat: no-repeat;
115 background-position: 99% center;
116 background-size: 18px;
117 text-align: right;
118 text-align-last: right;
119 margin-left: var(--jp-notebook-padding);
120 padding-right: calc(2 * var(--jp-notebook-padding));
121}
122
123.jp-FontsEditor option {
124 text-align: right;
125}