1 | {
|
2 | "title": "Fonts",
|
3 | "description": "Settings for JupyterLab Fonts",
|
4 | "type": "object",
|
5 | "jupyter.lab.setting-icon": "fonts:fonts",
|
6 | "jupyter.lab.setting-icon-label": "Fonts",
|
7 | "definitions": {
|
8 | "ICSSOM": {
|
9 | "oneOf": [
|
10 | { "$ref": "#/definitions/ICSSOMPrimitive" },
|
11 | {
|
12 | "type": "array",
|
13 | "items": { "anyOf": [{ "$ref": "#/definitions/ICSSOMPrimitive" }] }
|
14 | },
|
15 | {
|
16 | "type": "object",
|
17 | "patternProperties": {
|
18 | ".*": { "$ref": "#/definitions/ICSSOM" }
|
19 | }
|
20 | }
|
21 | ]
|
22 | },
|
23 | "ICSSOMPrimitive": {
|
24 | "oneOf": [{ "type": "string" }, { "type": "number" }]
|
25 | },
|
26 | "IFontFaceCommon": {
|
27 | "type": "object",
|
28 | "required": ["src"],
|
29 | "properties": {
|
30 | "src": { "$ref": "#/definitions/ICSSOM" },
|
31 | "unicode-range": { "$ref": "#/definitions/ICSSOM" },
|
32 | "font-variant": { "$ref": "#/definitions/ICSSOM" },
|
33 | "font-feature-settings": { "$ref": "#/definitions/ICSSOM" },
|
34 | "font-variation-settings": { "$ref": "#/definitions/ICSSOM" },
|
35 | "font-stretch": { "$ref": "#/definitions/ICSSOM" },
|
36 | "font-weight": { "$ref": "#/definitions/ICSSOM" },
|
37 | "font-style": { "$ref": "#/definitions/ICSSOM" },
|
38 | "unicodeRange": { "$ref": "#/definitions/ICSSOM" },
|
39 | "fontVariant": { "$ref": "#/definitions/ICSSOM" },
|
40 | "fontFeatureSettings": { "$ref": "#/definitions/ICSSOM" },
|
41 | "fontVariationSettings": { "$ref": "#/definitions/ICSSOM" },
|
42 | "fontStretch": { "$ref": "#/definitions/ICSSOM" },
|
43 | "fontWeight": { "$ref": "#/definitions/ICSSOM" },
|
44 | "fontStyle": { "$ref": "#/definitions/ICSSOM" }
|
45 | }
|
46 | },
|
47 | "IFontFaceCamel": {
|
48 | "allOf": [
|
49 | {
|
50 | "type": "object",
|
51 | "required": ["fontFamily"],
|
52 | "properties": {
|
53 | "fontFamily": { "type": "string" }
|
54 | }
|
55 | },
|
56 | { "$ref": "#/definitions/IFontFaceCommon" }
|
57 | ]
|
58 | },
|
59 | "IFontFaceCanonical": {
|
60 | "allOf": [
|
61 | {
|
62 | "type": "object",
|
63 | "required": ["font-family"],
|
64 | "properties": {
|
65 | "font-family": { "type": "string" }
|
66 | }
|
67 | },
|
68 | { "$ref": "#/definitions/IFontFaceCommon" }
|
69 | ]
|
70 | },
|
71 | "IFontFacePrimitive": {
|
72 | "oneOf": [
|
73 | { "$ref": "#/definitions/IFontFaceCamel" },
|
74 | { "$ref": "#/definitions/IFontFaceCanonical" }
|
75 | ]
|
76 | },
|
77 | "IFontFaceObject": {
|
78 | "type": "object",
|
79 | "patternProperties": {
|
80 | ".*": {
|
81 | "type": "array",
|
82 | "items": {
|
83 | "$ref": "#/definitions/IFontFacePrimitive"
|
84 | }
|
85 | }
|
86 | },
|
87 | "additionalProperties": {
|
88 | "type": "array",
|
89 | "items": {
|
90 | "$ref": "#/definitions/IFontFacePrimitive"
|
91 | }
|
92 | }
|
93 | },
|
94 | "IFontFace": {
|
95 | "oneOf": [
|
96 | {
|
97 | "type": "array",
|
98 | "items": { "$ref": "#/definitions/IFontFacePrimitive" }
|
99 | },
|
100 | { "$ref": "#/definitions/IFontFacePrimitive" }
|
101 | ]
|
102 | },
|
103 | "IFontLicenseObject": {
|
104 | "type": "object",
|
105 | "patternProperties": {
|
106 | ".*": {
|
107 | "$ref": "#/definitions/IFontLicensePrimitive"
|
108 | }
|
109 | },
|
110 | "additionalProperties": {
|
111 | "$ref": "#/definitions/IFontLicensePrimitive"
|
112 | }
|
113 | },
|
114 | "IFontLicensePrimitive": {
|
115 | "type": "object",
|
116 | "required": ["name", "spdx", "text", "holders"],
|
117 | "properties": {
|
118 | "name": { "type": "string" },
|
119 | "spdx": { "type": "string" },
|
120 | "text": { "type": "string" },
|
121 | "holders": {
|
122 | "type": "array",
|
123 | "items": {
|
124 | "type": "string"
|
125 | }
|
126 | }
|
127 | }
|
128 | },
|
129 | "IJSS": {
|
130 | "type": "object",
|
131 | "additionalProperties": {
|
132 | "oneOf": [
|
133 | { "$ref": "#/definitions/IJSS" },
|
134 | { "#ref": "#/definitions/ICSSOM" }
|
135 | ]
|
136 | }
|
137 | },
|
138 | "IJSSRoot": {
|
139 | "type": "object",
|
140 | "additionalProperties": {
|
141 | "$ref": "#/definitions/ICSSOM"
|
142 | },
|
143 | "patternProperties": {
|
144 | ".*": {
|
145 | "$ref": "#/definitions/ICSSOM"
|
146 | }
|
147 | }
|
148 | },
|
149 | "IStyles": {
|
150 | "type": "object",
|
151 | "additionalProperties": {
|
152 | "anyOf": [
|
153 | { "$ref": "#/definitions/ICSSOM" },
|
154 | { "$ref": "#/definitions/IJSS" },
|
155 | { "$ref": "#/definitions/IFontFace" },
|
156 | { "$ref": "#/definitions/IJSSRoot" }
|
157 | ]
|
158 | },
|
159 | "properties": {
|
160 | "@font-face": {
|
161 | "$ref": "#/definitions/IFontFace"
|
162 | },
|
163 | ":root": {
|
164 | "$ref": "#/definitions/IJSSRoot"
|
165 | }
|
166 | }
|
167 | }
|
168 | },
|
169 |
|
170 | "properties": {
|
171 | "enabled": {
|
172 | "description": "Enable all font customizations",
|
173 | "title": "Enable Custom Fonts",
|
174 | "type": "boolean",
|
175 | "default": true
|
176 | },
|
177 | "version": {
|
178 | "description": "Reserved for future use to provide backwards compatibility",
|
179 | "default": "v1",
|
180 | "title": "Configuration Version",
|
181 | "type": "string"
|
182 | },
|
183 | "styles": {
|
184 | "description": "JSS-compatible JSON applied to the Global scope",
|
185 | "default": {},
|
186 | "title": "Global Styles",
|
187 | "$ref": "#/definitions/IStyles"
|
188 | },
|
189 | "fonts": {
|
190 | "description": "Embedded JSS `@font-face` declarations grouped by `font-family`",
|
191 | "default": {},
|
192 | "title": "Embedded Fonts",
|
193 | "$ref": "#/definitions/IFontFaceObject"
|
194 | },
|
195 | "fontLicenses": {
|
196 | "description": "Rights for embedded fonts",
|
197 | "default": {},
|
198 | "title": "Embedded Font Licenses",
|
199 | "$ref": "#/definitions/IFontLicenseObject"
|
200 | }
|
201 | }
|
202 | }
|