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 | }
|