1// This file was generated by the `theme_importer`.
2// Be careful when modifying it by hand.
3
4use gpui::rgba;
5
6#[allow(unused)]
7use crate::{
8 Appearance, PlayerColor, PlayerColors, StatusColorsRefinement, ThemeColorsRefinement,
9 UserFontStyle, UserFontWeight, UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily,
10 UserThemeStylesRefinement,
11};
12
13pub fn one() -> UserThemeFamily {
14 UserThemeFamily {
15 name: "One".into(),
16 author: "Zed Industries".into(),
17 themes: vec![
18 UserTheme {
19 name: "One Dark".into(),
20 appearance: Appearance::Dark,
21 styles: UserThemeStylesRefinement {
22 colors: ThemeColorsRefinement {
23 border: Some(rgba(0x464b57ff).into()),
24 border_variant: Some(rgba(0x363c46ff).into()),
25 border_focused: Some(rgba(0x293c5bff).into()),
26 border_selected: Some(rgba(0x293c5bff).into()),
27 border_transparent: Some(rgba(0x00000000).into()),
28 border_disabled: Some(rgba(0x414754ff).into()),
29 elevated_surface_background: Some(rgba(0x2f343eff).into()),
30 surface_background: Some(rgba(0x2f343eff).into()),
31 background: Some(rgba(0x3b414dff).into()),
32 panel_background: Some(rgba(0x2f343eff).into()),
33 element_background: Some(rgba(0x2f343eff).into()),
34 element_hover: Some(rgba(0x363c46ff).into()),
35 element_active: Some(rgba(0x454a56ff).into()),
36 element_selected: Some(rgba(0x454a56ff).into()),
37 element_disabled: Some(rgba(0x2f343eff).into()),
38 drop_target_background: Some(rgba(0x83899480).into()),
39 ghost_element_background: Some(rgba(0x00000000).into()),
40 ghost_element_hover: Some(rgba(0x363c46ff).into()),
41 ghost_element_active: Some(rgba(0x454a56ff).into()),
42 ghost_element_selected: Some(rgba(0x454a56ff).into()),
43 ghost_element_disabled: Some(rgba(0x2f343eff).into()),
44 text: Some(rgba(0xc8ccd4ff).into()),
45 text_muted: Some(rgba(0x838994ff).into()),
46 text_placeholder: Some(rgba(0x555a63ff).into()),
47 text_disabled: Some(rgba(0x555a63ff).into()),
48 text_accent: Some(rgba(0x74ade8ff).into()),
49 icon: Some(rgba(0xc8ccd4ff).into()),
50 icon_muted: Some(rgba(0x838994ff).into()),
51 icon_disabled: Some(rgba(0x555a63ff).into()),
52 icon_placeholder: Some(rgba(0x838994ff).into()),
53 icon_accent: Some(rgba(0x74ade8ff).into()),
54 status_bar_background: Some(rgba(0x3b414dff).into()),
55 title_bar_background: Some(rgba(0x3b414dff).into()),
56 toolbar_background: Some(rgba(0x282c34ff).into()),
57 tab_bar_background: Some(rgba(0x2f343eff).into()),
58 tab_inactive_background: Some(rgba(0x2f343eff).into()),
59 tab_active_background: Some(rgba(0x282c34ff).into()),
60 scrollbar_thumb_background: Some(rgba(0xc8ccd44c).into()),
61 scrollbar_thumb_hover_background: Some(rgba(0x363c46ff).into()),
62 scrollbar_thumb_border: Some(rgba(0x363c46ff).into()),
63 scrollbar_track_background: Some(rgba(0x00000000).into()),
64 scrollbar_track_border: Some(rgba(0x2e333cff).into()),
65 editor_foreground: Some(rgba(0xacb2beff).into()),
66 editor_background: Some(rgba(0x282c34ff).into()),
67 editor_gutter_background: Some(rgba(0x282c34ff).into()),
68 editor_subheader_background: Some(rgba(0x2f343eff).into()),
69 editor_active_line_background: Some(rgba(0x2f343ebf).into()),
70 editor_highlighted_line_background: Some(rgba(0x2f343eff).into()),
71 editor_line_number: Some(rgba(0xc8ccd459).into()),
72 editor_active_line_number: Some(rgba(0xc8ccd4ff).into()),
73 editor_invisible: Some(rgba(0x838994ff).into()),
74 editor_wrap_guide: Some(rgba(0xc8ccd40d).into()),
75 editor_active_wrap_guide: Some(rgba(0xc8ccd41a).into()),
76 editor_document_highlight_read_background: Some(rgba(0x74ade81a).into()),
77 editor_document_highlight_write_background: Some(rgba(0x555a6366).into()),
78 terminal_background: Some(rgba(0x282c34ff).into()),
79 terminal_ansi_bright_black: Some(rgba(0x525661ff).into()),
80 terminal_ansi_bright_red: Some(rgba(0x673a3cff).into()),
81 terminal_ansi_bright_green: Some(rgba(0x4d6140ff).into()),
82 terminal_ansi_bright_yellow: Some(rgba(0x786441ff).into()),
83 terminal_ansi_bright_blue: Some(rgba(0x385378ff).into()),
84 terminal_ansi_bright_magenta: Some(rgba(0x5e2b26ff).into()),
85 terminal_ansi_bright_cyan: Some(rgba(0x3a565bff).into()),
86 terminal_ansi_bright_white: Some(rgba(0xc8ccd4ff).into()),
87 terminal_ansi_black: Some(rgba(0x282c34ff).into()),
88 terminal_ansi_red: Some(rgba(0xd07277ff).into()),
89 terminal_ansi_green: Some(rgba(0xa1c181ff).into()),
90 terminal_ansi_yellow: Some(rgba(0xdec184ff).into()),
91 terminal_ansi_blue: Some(rgba(0x74ade8ff).into()),
92 terminal_ansi_magenta: Some(rgba(0xbe5046ff).into()),
93 terminal_ansi_cyan: Some(rgba(0x6fb4c0ff).into()),
94 terminal_ansi_white: Some(rgba(0xc8ccd4ff).into()),
95 link_text_hover: Some(rgba(0x74ade8ff).into()),
96 ..Default::default()
97 },
98 status: StatusColorsRefinement {
99 conflict: Some(rgba(0xdec184ff).into()),
100 conflict_background: Some(rgba(0x41331dff).into()),
101 conflict_border: Some(rgba(0x5d4c2fff).into()),
102 created: Some(rgba(0xa1c181ff).into()),
103 created_background: Some(rgba(0x222e1dff).into()),
104 created_border: Some(rgba(0x38482fff).into()),
105 deleted: Some(rgba(0xd07277ff).into()),
106 deleted_background: Some(rgba(0x301b1cff).into()),
107 deleted_border: Some(rgba(0x4c2b2cff).into()),
108 error: Some(rgba(0xd07277ff).into()),
109 error_background: Some(rgba(0x301b1cff).into()),
110 error_border: Some(rgba(0x4c2b2cff).into()),
111 hidden: Some(rgba(0x555a63ff).into()),
112 hidden_background: Some(rgba(0x3b414dff).into()),
113 hidden_border: Some(rgba(0x414754ff).into()),
114 hint: Some(rgba(0x5b708aff).into()),
115 hint_background: Some(rgba(0x18243dff).into()),
116 hint_border: Some(rgba(0x293c5bff).into()),
117 ignored: Some(rgba(0x838994ff).into()),
118 ignored_background: Some(rgba(0x3b414dff).into()),
119 ignored_border: Some(rgba(0x464b57ff).into()),
120 info: Some(rgba(0x74ade8ff).into()),
121 info_background: Some(rgba(0x18243dff).into()),
122 info_border: Some(rgba(0x293c5bff).into()),
123 modified: Some(rgba(0xdec184ff).into()),
124 modified_background: Some(rgba(0x41331dff).into()),
125 modified_border: Some(rgba(0x5d4c2fff).into()),
126 predictive: Some(rgba(0x5b6b88ff).into()),
127 predictive_background: Some(rgba(0x222e1dff).into()),
128 predictive_border: Some(rgba(0x38482fff).into()),
129 renamed: Some(rgba(0x74ade8ff).into()),
130 renamed_background: Some(rgba(0x18243dff).into()),
131 renamed_border: Some(rgba(0x293c5bff).into()),
132 success: Some(rgba(0xa1c181ff).into()),
133 success_background: Some(rgba(0x222e1dff).into()),
134 success_border: Some(rgba(0x38482fff).into()),
135 unreachable: Some(rgba(0x838994ff).into()),
136 unreachable_background: Some(rgba(0x3b414dff).into()),
137 unreachable_border: Some(rgba(0x464b57ff).into()),
138 warning: Some(rgba(0xdec184ff).into()),
139 warning_background: Some(rgba(0x41331dff).into()),
140 warning_border: Some(rgba(0x5d4c2fff).into()),
141 ..Default::default()
142 },
143 player: Some(PlayerColors(vec![
144 PlayerColor {
145 cursor: rgba(0x74ade8ff).into(),
146 background: rgba(0x74ade8ff).into(),
147 selection: rgba(0x74ade83d).into(),
148 },
149 PlayerColor {
150 cursor: rgba(0xbe5046ff).into(),
151 background: rgba(0xbe5046ff).into(),
152 selection: rgba(0xbe50463d).into(),
153 },
154 PlayerColor {
155 cursor: rgba(0xc0966bff).into(),
156 background: rgba(0xc0966bff).into(),
157 selection: rgba(0xc0966b3d).into(),
158 },
159 PlayerColor {
160 cursor: rgba(0xb478cfff).into(),
161 background: rgba(0xb478cfff).into(),
162 selection: rgba(0xb478cf3d).into(),
163 },
164 PlayerColor {
165 cursor: rgba(0x6fb4c0ff).into(),
166 background: rgba(0x6fb4c0ff).into(),
167 selection: rgba(0x6fb4c03d).into(),
168 },
169 PlayerColor {
170 cursor: rgba(0xd07277ff).into(),
171 background: rgba(0xd07277ff).into(),
172 selection: rgba(0xd072773d).into(),
173 },
174 PlayerColor {
175 cursor: rgba(0xdec184ff).into(),
176 background: rgba(0xdec184ff).into(),
177 selection: rgba(0xdec1843d).into(),
178 },
179 PlayerColor {
180 cursor: rgba(0xa1c181ff).into(),
181 background: rgba(0xa1c181ff).into(),
182 selection: rgba(0xa1c1813d).into(),
183 },
184 ])),
185 syntax: Some(UserSyntaxTheme {
186 highlights: vec![
187 (
188 "attribute".into(),
189 UserHighlightStyle {
190 color: Some(rgba(0x74ade8ff).into()),
191 ..Default::default()
192 },
193 ),
194 (
195 "boolean".into(),
196 UserHighlightStyle {
197 color: Some(rgba(0xc0966bff).into()),
198 ..Default::default()
199 },
200 ),
201 (
202 "comment".into(),
203 UserHighlightStyle {
204 color: Some(rgba(0x5d636fff).into()),
205 ..Default::default()
206 },
207 ),
208 (
209 "comment.doc".into(),
210 UserHighlightStyle {
211 color: Some(rgba(0x878e98ff).into()),
212 ..Default::default()
213 },
214 ),
215 (
216 "constant".into(),
217 UserHighlightStyle {
218 color: Some(rgba(0xdfc184ff).into()),
219 ..Default::default()
220 },
221 ),
222 (
223 "constructor".into(),
224 UserHighlightStyle {
225 color: Some(rgba(0x74ade9ff).into()),
226 ..Default::default()
227 },
228 ),
229 (
230 "embedded".into(),
231 UserHighlightStyle {
232 color: Some(rgba(0xc8ccd4ff).into()),
233 ..Default::default()
234 },
235 ),
236 (
237 "emphasis".into(),
238 UserHighlightStyle {
239 color: Some(rgba(0x74ade8ff).into()),
240 ..Default::default()
241 },
242 ),
243 (
244 "emphasis.strong".into(),
245 UserHighlightStyle {
246 color: Some(rgba(0xc0966bff).into()),
247 font_weight: Some(UserFontWeight(700.0)),
248 ..Default::default()
249 },
250 ),
251 (
252 "enum".into(),
253 UserHighlightStyle {
254 color: Some(rgba(0xd07277ff).into()),
255 ..Default::default()
256 },
257 ),
258 (
259 "function".into(),
260 UserHighlightStyle {
261 color: Some(rgba(0x74ade9ff).into()),
262 ..Default::default()
263 },
264 ),
265 (
266 "hint".into(),
267 UserHighlightStyle {
268 color: Some(rgba(0x5b708aff).into()),
269 font_weight: Some(UserFontWeight(700.0)),
270 ..Default::default()
271 },
272 ),
273 (
274 "keyword".into(),
275 UserHighlightStyle {
276 color: Some(rgba(0xb478cfff).into()),
277 ..Default::default()
278 },
279 ),
280 (
281 "label".into(),
282 UserHighlightStyle {
283 color: Some(rgba(0x74ade8ff).into()),
284 ..Default::default()
285 },
286 ),
287 (
288 "link_text".into(),
289 UserHighlightStyle {
290 color: Some(rgba(0x74ade9ff).into()),
291 font_style: Some(UserFontStyle::Normal),
292 ..Default::default()
293 },
294 ),
295 (
296 "link_uri".into(),
297 UserHighlightStyle {
298 color: Some(rgba(0x6fb4c0ff).into()),
299 ..Default::default()
300 },
301 ),
302 (
303 "number".into(),
304 UserHighlightStyle {
305 color: Some(rgba(0xc0966bff).into()),
306 ..Default::default()
307 },
308 ),
309 (
310 "operator".into(),
311 UserHighlightStyle {
312 color: Some(rgba(0x6fb4c0ff).into()),
313 ..Default::default()
314 },
315 ),
316 (
317 "predictive".into(),
318 UserHighlightStyle {
319 color: Some(rgba(0x5b6b88ff).into()),
320 font_style: Some(UserFontStyle::Italic),
321 ..Default::default()
322 },
323 ),
324 (
325 "preproc".into(),
326 UserHighlightStyle {
327 color: Some(rgba(0xc8ccd4ff).into()),
328 ..Default::default()
329 },
330 ),
331 (
332 "primary".into(),
333 UserHighlightStyle {
334 color: Some(rgba(0xacb2beff).into()),
335 ..Default::default()
336 },
337 ),
338 (
339 "property".into(),
340 UserHighlightStyle {
341 color: Some(rgba(0xd07277ff).into()),
342 ..Default::default()
343 },
344 ),
345 (
346 "punctuation".into(),
347 UserHighlightStyle {
348 color: Some(rgba(0xacb2beff).into()),
349 ..Default::default()
350 },
351 ),
352 (
353 "punctuation.bracket".into(),
354 UserHighlightStyle {
355 color: Some(rgba(0xb2b9c6ff).into()),
356 ..Default::default()
357 },
358 ),
359 (
360 "punctuation.delimiter".into(),
361 UserHighlightStyle {
362 color: Some(rgba(0xb2b9c6ff).into()),
363 ..Default::default()
364 },
365 ),
366 (
367 "punctuation.list_marker".into(),
368 UserHighlightStyle {
369 color: Some(rgba(0xd07277ff).into()),
370 ..Default::default()
371 },
372 ),
373 (
374 "punctuation.special".into(),
375 UserHighlightStyle {
376 color: Some(rgba(0xb1574bff).into()),
377 ..Default::default()
378 },
379 ),
380 (
381 "string".into(),
382 UserHighlightStyle {
383 color: Some(rgba(0xa1c181ff).into()),
384 ..Default::default()
385 },
386 ),
387 (
388 "string.escape".into(),
389 UserHighlightStyle {
390 color: Some(rgba(0x878e98ff).into()),
391 ..Default::default()
392 },
393 ),
394 (
395 "string.regex".into(),
396 UserHighlightStyle {
397 color: Some(rgba(0xc0966bff).into()),
398 ..Default::default()
399 },
400 ),
401 (
402 "string.special".into(),
403 UserHighlightStyle {
404 color: Some(rgba(0xc0966bff).into()),
405 ..Default::default()
406 },
407 ),
408 (
409 "string.special.symbol".into(),
410 UserHighlightStyle {
411 color: Some(rgba(0xc0966bff).into()),
412 ..Default::default()
413 },
414 ),
415 (
416 "tag".into(),
417 UserHighlightStyle {
418 color: Some(rgba(0x74ade8ff).into()),
419 ..Default::default()
420 },
421 ),
422 (
423 "text.literal".into(),
424 UserHighlightStyle {
425 color: Some(rgba(0xa1c181ff).into()),
426 ..Default::default()
427 },
428 ),
429 (
430 "title".into(),
431 UserHighlightStyle {
432 color: Some(rgba(0xd07277ff).into()),
433 font_weight: Some(UserFontWeight(400.0)),
434 ..Default::default()
435 },
436 ),
437 (
438 "type".into(),
439 UserHighlightStyle {
440 color: Some(rgba(0x6fb4c0ff).into()),
441 ..Default::default()
442 },
443 ),
444 (
445 "variable".into(),
446 UserHighlightStyle {
447 color: Some(rgba(0xc8ccd4ff).into()),
448 ..Default::default()
449 },
450 ),
451 (
452 "variable.special".into(),
453 UserHighlightStyle {
454 color: Some(rgba(0xc0966bff).into()),
455 ..Default::default()
456 },
457 ),
458 (
459 "variant".into(),
460 UserHighlightStyle {
461 color: Some(rgba(0x74ade9ff).into()),
462 ..Default::default()
463 },
464 ),
465 ],
466 }),
467 },
468 },
469 UserTheme {
470 name: "One Light".into(),
471 appearance: Appearance::Light,
472 styles: UserThemeStylesRefinement {
473 colors: ThemeColorsRefinement {
474 border: Some(rgba(0xc9c9caff).into()),
475 border_variant: Some(rgba(0xdfdfe0ff).into()),
476 border_focused: Some(rgba(0xcbcdf6ff).into()),
477 border_selected: Some(rgba(0xcbcdf6ff).into()),
478 border_transparent: Some(rgba(0x00000000).into()),
479 border_disabled: Some(rgba(0xd3d3d4ff).into()),
480 elevated_surface_background: Some(rgba(0xebebecff).into()),
481 surface_background: Some(rgba(0xebebecff).into()),
482 background: Some(rgba(0xdcdcddff).into()),
483 panel_background: Some(rgba(0xebebecff).into()),
484 element_background: Some(rgba(0xebebecff).into()),
485 element_hover: Some(rgba(0xdfdfe0ff).into()),
486 element_active: Some(rgba(0xcacacaff).into()),
487 element_selected: Some(rgba(0xcacacaff).into()),
488 element_disabled: Some(rgba(0xebebecff).into()),
489 drop_target_background: Some(rgba(0x7f818880).into()),
490 ghost_element_background: Some(rgba(0x00000000).into()),
491 ghost_element_hover: Some(rgba(0xdfdfe0ff).into()),
492 ghost_element_active: Some(rgba(0xcacacaff).into()),
493 ghost_element_selected: Some(rgba(0xcacacaff).into()),
494 ghost_element_disabled: Some(rgba(0xebebecff).into()),
495 text: Some(rgba(0x383a41ff).into()),
496 text_muted: Some(rgba(0x7f8188ff).into()),
497 text_placeholder: Some(rgba(0xa1a1a3ff).into()),
498 text_disabled: Some(rgba(0xa1a1a3ff).into()),
499 text_accent: Some(rgba(0x5c79e2ff).into()),
500 icon: Some(rgba(0x383a41ff).into()),
501 icon_muted: Some(rgba(0x7f8188ff).into()),
502 icon_disabled: Some(rgba(0xa1a1a3ff).into()),
503 icon_placeholder: Some(rgba(0x7f8188ff).into()),
504 icon_accent: Some(rgba(0x5c79e2ff).into()),
505 status_bar_background: Some(rgba(0xdcdcddff).into()),
506 title_bar_background: Some(rgba(0xdcdcddff).into()),
507 toolbar_background: Some(rgba(0xfafafaff).into()),
508 tab_bar_background: Some(rgba(0xebebecff).into()),
509 tab_inactive_background: Some(rgba(0xebebecff).into()),
510 tab_active_background: Some(rgba(0xfafafaff).into()),
511 scrollbar_thumb_background: Some(rgba(0x383a414c).into()),
512 scrollbar_thumb_hover_background: Some(rgba(0xdfdfe0ff).into()),
513 scrollbar_thumb_border: Some(rgba(0xdfdfe0ff).into()),
514 scrollbar_track_background: Some(rgba(0x00000000).into()),
515 scrollbar_track_border: Some(rgba(0xeeeeeeff).into()),
516 editor_foreground: Some(rgba(0x383a41ff).into()),
517 editor_background: Some(rgba(0xfafafaff).into()),
518 editor_gutter_background: Some(rgba(0xfafafaff).into()),
519 editor_subheader_background: Some(rgba(0xebebecff).into()),
520 editor_active_line_background: Some(rgba(0xebebecbf).into()),
521 editor_highlighted_line_background: Some(rgba(0xebebecff).into()),
522 editor_line_number: Some(rgba(0x383a4159).into()),
523 editor_active_line_number: Some(rgba(0x383a41ff).into()),
524 editor_invisible: Some(rgba(0x7f8188ff).into()),
525 editor_wrap_guide: Some(rgba(0x383a410d).into()),
526 editor_active_wrap_guide: Some(rgba(0x383a411a).into()),
527 editor_document_highlight_read_background: Some(rgba(0x5c79e21a).into()),
528 editor_document_highlight_write_background: Some(rgba(0xa3a3a466).into()),
529 terminal_background: Some(rgba(0xfafafaff).into()),
530 terminal_ansi_bright_black: Some(rgba(0xaaaaaaff).into()),
531 terminal_ansi_bright_red: Some(rgba(0xf0b0a4ff).into()),
532 terminal_ansi_bright_green: Some(rgba(0xb2cfa9ff).into()),
533 terminal_ansi_bright_yellow: Some(rgba(0xf1dfc1ff).into()),
534 terminal_ansi_bright_blue: Some(rgba(0xb5baf2ff).into()),
535 terminal_ansi_bright_magenta: Some(rgba(0xcea6d3ff).into()),
536 terminal_ansi_bright_cyan: Some(rgba(0xa4bfdbff).into()),
537 terminal_ansi_bright_white: Some(rgba(0x383a41ff).into()),
538 terminal_ansi_black: Some(rgba(0xfafafaff).into()),
539 terminal_ansi_red: Some(rgba(0xd36151ff).into()),
540 terminal_ansi_green: Some(rgba(0x669f59ff).into()),
541 terminal_ansi_yellow: Some(rgba(0xdec184ff).into()),
542 terminal_ansi_blue: Some(rgba(0x5c79e2ff).into()),
543 terminal_ansi_magenta: Some(rgba(0x994fa6ff).into()),
544 terminal_ansi_cyan: Some(rgba(0x3b82b7ff).into()),
545 terminal_ansi_white: Some(rgba(0x383a41ff).into()),
546 link_text_hover: Some(rgba(0x5c79e2ff).into()),
547 ..Default::default()
548 },
549 status: StatusColorsRefinement {
550 conflict: Some(rgba(0xdec184ff).into()),
551 conflict_background: Some(rgba(0xfaf2e6ff).into()),
552 conflict_border: Some(rgba(0xf5e8d2ff).into()),
553 created: Some(rgba(0x669f59ff).into()),
554 created_background: Some(rgba(0xe0ebdcff).into()),
555 created_border: Some(rgba(0xc8dcc1ff).into()),
556 deleted: Some(rgba(0xd36151ff).into()),
557 deleted_background: Some(rgba(0xfbdfd9ff).into()),
558 deleted_border: Some(rgba(0xf6c6bdff).into()),
559 error: Some(rgba(0xd36151ff).into()),
560 error_background: Some(rgba(0xfbdfd9ff).into()),
561 error_border: Some(rgba(0xf6c6bdff).into()),
562 hidden: Some(rgba(0xa1a1a3ff).into()),
563 hidden_background: Some(rgba(0xdcdcddff).into()),
564 hidden_border: Some(rgba(0xd3d3d4ff).into()),
565 hint: Some(rgba(0x9295beff).into()),
566 hint_background: Some(rgba(0xe2e2faff).into()),
567 hint_border: Some(rgba(0xcbcdf6ff).into()),
568 ignored: Some(rgba(0x7f8188ff).into()),
569 ignored_background: Some(rgba(0xdcdcddff).into()),
570 ignored_border: Some(rgba(0xc9c9caff).into()),
571 info: Some(rgba(0x5c79e2ff).into()),
572 info_background: Some(rgba(0xe2e2faff).into()),
573 info_border: Some(rgba(0xcbcdf6ff).into()),
574 modified: Some(rgba(0xdec184ff).into()),
575 modified_background: Some(rgba(0xfaf2e6ff).into()),
576 modified_border: Some(rgba(0xf5e8d2ff).into()),
577 predictive: Some(rgba(0x9c9fc7ff).into()),
578 predictive_background: Some(rgba(0xe0ebdcff).into()),
579 predictive_border: Some(rgba(0xc8dcc1ff).into()),
580 renamed: Some(rgba(0x5c79e2ff).into()),
581 renamed_background: Some(rgba(0xe2e2faff).into()),
582 renamed_border: Some(rgba(0xcbcdf6ff).into()),
583 success: Some(rgba(0x669f59ff).into()),
584 success_background: Some(rgba(0xe0ebdcff).into()),
585 success_border: Some(rgba(0xc8dcc1ff).into()),
586 unreachable: Some(rgba(0x7f8188ff).into()),
587 unreachable_background: Some(rgba(0xdcdcddff).into()),
588 unreachable_border: Some(rgba(0xc9c9caff).into()),
589 warning: Some(rgba(0xdec184ff).into()),
590 warning_background: Some(rgba(0xfaf2e6ff).into()),
591 warning_border: Some(rgba(0xf5e8d2ff).into()),
592 ..Default::default()
593 },
594 player: Some(PlayerColors(vec![
595 PlayerColor {
596 cursor: rgba(0x5c79e2ff).into(),
597 background: rgba(0x5c79e2ff).into(),
598 selection: rgba(0x5c79e23d).into(),
599 },
600 PlayerColor {
601 cursor: rgba(0x994fa6ff).into(),
602 background: rgba(0x994fa6ff).into(),
603 selection: rgba(0x994fa63d).into(),
604 },
605 PlayerColor {
606 cursor: rgba(0xad6f27ff).into(),
607 background: rgba(0xad6f27ff).into(),
608 selection: rgba(0xad6f273d).into(),
609 },
610 PlayerColor {
611 cursor: rgba(0xa44aabff).into(),
612 background: rgba(0xa44aabff).into(),
613 selection: rgba(0xa44aab3d).into(),
614 },
615 PlayerColor {
616 cursor: rgba(0x3b82b7ff).into(),
617 background: rgba(0x3b82b7ff).into(),
618 selection: rgba(0x3b82b73d).into(),
619 },
620 PlayerColor {
621 cursor: rgba(0xd36151ff).into(),
622 background: rgba(0xd36151ff).into(),
623 selection: rgba(0xd361513d).into(),
624 },
625 PlayerColor {
626 cursor: rgba(0xdec184ff).into(),
627 background: rgba(0xdec184ff).into(),
628 selection: rgba(0xdec1843d).into(),
629 },
630 PlayerColor {
631 cursor: rgba(0x669f59ff).into(),
632 background: rgba(0x669f59ff).into(),
633 selection: rgba(0x669f593d).into(),
634 },
635 ])),
636 syntax: Some(UserSyntaxTheme {
637 highlights: vec![
638 (
639 "attribute".into(),
640 UserHighlightStyle {
641 color: Some(rgba(0x5c79e2ff).into()),
642 ..Default::default()
643 },
644 ),
645 (
646 "boolean".into(),
647 UserHighlightStyle {
648 color: Some(rgba(0xad6f26ff).into()),
649 ..Default::default()
650 },
651 ),
652 (
653 "comment".into(),
654 UserHighlightStyle {
655 color: Some(rgba(0xa2a3a7ff).into()),
656 ..Default::default()
657 },
658 ),
659 (
660 "comment.doc".into(),
661 UserHighlightStyle {
662 color: Some(rgba(0x7c7e86ff).into()),
663 ..Default::default()
664 },
665 ),
666 (
667 "constant".into(),
668 UserHighlightStyle {
669 color: Some(rgba(0x669f59ff).into()),
670 ..Default::default()
671 },
672 ),
673 (
674 "constructor".into(),
675 UserHighlightStyle {
676 color: Some(rgba(0x5c79e2ff).into()),
677 ..Default::default()
678 },
679 ),
680 (
681 "embedded".into(),
682 UserHighlightStyle {
683 color: Some(rgba(0x383a41ff).into()),
684 ..Default::default()
685 },
686 ),
687 (
688 "emphasis".into(),
689 UserHighlightStyle {
690 color: Some(rgba(0x5c79e2ff).into()),
691 ..Default::default()
692 },
693 ),
694 (
695 "emphasis.strong".into(),
696 UserHighlightStyle {
697 color: Some(rgba(0xad6f26ff).into()),
698 font_weight: Some(UserFontWeight(700.0)),
699 ..Default::default()
700 },
701 ),
702 (
703 "enum".into(),
704 UserHighlightStyle {
705 color: Some(rgba(0xd36050ff).into()),
706 ..Default::default()
707 },
708 ),
709 (
710 "function".into(),
711 UserHighlightStyle {
712 color: Some(rgba(0x5b79e3ff).into()),
713 ..Default::default()
714 },
715 ),
716 (
717 "hint".into(),
718 UserHighlightStyle {
719 color: Some(rgba(0x9295beff).into()),
720 font_weight: Some(UserFontWeight(700.0)),
721 ..Default::default()
722 },
723 ),
724 (
725 "keyword".into(),
726 UserHighlightStyle {
727 color: Some(rgba(0xa449abff).into()),
728 ..Default::default()
729 },
730 ),
731 (
732 "label".into(),
733 UserHighlightStyle {
734 color: Some(rgba(0x5c79e2ff).into()),
735 ..Default::default()
736 },
737 ),
738 (
739 "link_text".into(),
740 UserHighlightStyle {
741 color: Some(rgba(0x5b79e3ff).into()),
742 font_style: Some(UserFontStyle::Italic),
743 ..Default::default()
744 },
745 ),
746 (
747 "link_uri".into(),
748 UserHighlightStyle {
749 color: Some(rgba(0x3982b7ff).into()),
750 ..Default::default()
751 },
752 ),
753 (
754 "number".into(),
755 UserHighlightStyle {
756 color: Some(rgba(0xad6f26ff).into()),
757 ..Default::default()
758 },
759 ),
760 (
761 "operator".into(),
762 UserHighlightStyle {
763 color: Some(rgba(0x3982b7ff).into()),
764 ..Default::default()
765 },
766 ),
767 (
768 "predictive".into(),
769 UserHighlightStyle {
770 color: Some(rgba(0x9c9fc7ff).into()),
771 font_style: Some(UserFontStyle::Italic),
772 ..Default::default()
773 },
774 ),
775 (
776 "preproc".into(),
777 UserHighlightStyle {
778 color: Some(rgba(0x383a41ff).into()),
779 ..Default::default()
780 },
781 ),
782 (
783 "primary".into(),
784 UserHighlightStyle {
785 color: Some(rgba(0x383a41ff).into()),
786 ..Default::default()
787 },
788 ),
789 (
790 "property".into(),
791 UserHighlightStyle {
792 color: Some(rgba(0xd36050ff).into()),
793 ..Default::default()
794 },
795 ),
796 (
797 "punctuation".into(),
798 UserHighlightStyle {
799 color: Some(rgba(0x383a41ff).into()),
800 ..Default::default()
801 },
802 ),
803 (
804 "punctuation.bracket".into(),
805 UserHighlightStyle {
806 color: Some(rgba(0x4d4f52ff).into()),
807 ..Default::default()
808 },
809 ),
810 (
811 "punctuation.delimiter".into(),
812 UserHighlightStyle {
813 color: Some(rgba(0x4d4f52ff).into()),
814 ..Default::default()
815 },
816 ),
817 (
818 "punctuation.list_marker".into(),
819 UserHighlightStyle {
820 color: Some(rgba(0xd36050ff).into()),
821 ..Default::default()
822 },
823 ),
824 (
825 "punctuation.special".into(),
826 UserHighlightStyle {
827 color: Some(rgba(0xb92c46ff).into()),
828 ..Default::default()
829 },
830 ),
831 (
832 "string".into(),
833 UserHighlightStyle {
834 color: Some(rgba(0x659f58ff).into()),
835 ..Default::default()
836 },
837 ),
838 (
839 "string.escape".into(),
840 UserHighlightStyle {
841 color: Some(rgba(0x7c7e86ff).into()),
842 ..Default::default()
843 },
844 ),
845 (
846 "string.regex".into(),
847 UserHighlightStyle {
848 color: Some(rgba(0xad6f27ff).into()),
849 ..Default::default()
850 },
851 ),
852 (
853 "string.special".into(),
854 UserHighlightStyle {
855 color: Some(rgba(0xad6f27ff).into()),
856 ..Default::default()
857 },
858 ),
859 (
860 "string.special.symbol".into(),
861 UserHighlightStyle {
862 color: Some(rgba(0xad6f27ff).into()),
863 ..Default::default()
864 },
865 ),
866 (
867 "tag".into(),
868 UserHighlightStyle {
869 color: Some(rgba(0x5c79e2ff).into()),
870 ..Default::default()
871 },
872 ),
873 (
874 "text.literal".into(),
875 UserHighlightStyle {
876 color: Some(rgba(0x659f58ff).into()),
877 ..Default::default()
878 },
879 ),
880 (
881 "title".into(),
882 UserHighlightStyle {
883 color: Some(rgba(0xd36050ff).into()),
884 font_weight: Some(UserFontWeight(400.0)),
885 ..Default::default()
886 },
887 ),
888 (
889 "type".into(),
890 UserHighlightStyle {
891 color: Some(rgba(0x3982b7ff).into()),
892 ..Default::default()
893 },
894 ),
895 (
896 "variable".into(),
897 UserHighlightStyle {
898 color: Some(rgba(0x383a41ff).into()),
899 ..Default::default()
900 },
901 ),
902 (
903 "variable.special".into(),
904 UserHighlightStyle {
905 color: Some(rgba(0xad6f26ff).into()),
906 ..Default::default()
907 },
908 ),
909 (
910 "variant".into(),
911 UserHighlightStyle {
912 color: Some(rgba(0x5b79e3ff).into()),
913 ..Default::default()
914 },
915 ),
916 ],
917 }),
918 },
919 },
920 ],
921 }
922}