noctis.rs
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, StatusColorsRefinement, ThemeColorsRefinement, UserFontStyle, UserFontWeight,
9 UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
10};
11
12pub fn noctis() -> UserThemeFamily {
13 UserThemeFamily {
14 name: "Noctis".into(),
15 author: "Liviu Schera (liviuschera)".into(),
16 themes: vec![
17 UserTheme {
18 name: "Noctis Azureus".into(),
19 appearance: Appearance::Dark,
20 styles: UserThemeStylesRefinement {
21 colors: ThemeColorsRefinement {
22 border: Some(rgba(0x1679b6ff).into()),
23 border_variant: Some(rgba(0x1679b6ff).into()),
24 border_focused: Some(rgba(0x09334eff).into()),
25 border_selected: Some(rgba(0x1679b6ff).into()),
26 border_transparent: Some(rgba(0x1679b6ff).into()),
27 border_disabled: Some(rgba(0x1679b6ff).into()),
28 elevated_surface_background: Some(rgba(0x051b29ff).into()),
29 surface_background: Some(rgba(0x051b29ff).into()),
30 background: Some(rgba(0x07273bff).into()),
31 element_background: Some(rgba(0x007f99ff).into()),
32 element_hover: Some(rgba(0x00558a65).into()),
33 element_selected: Some(rgba(0x0c3f5fff).into()),
34 drop_target_background: Some(rgba(0x002a4dff).into()),
35 ghost_element_hover: Some(rgba(0x00558a65).into()),
36 text: Some(rgba(0xbecfdaff).into()),
37 status_bar_background: Some(rgba(0x07273bff).into()),
38 title_bar_background: Some(rgba(0x07273bff).into()),
39 toolbar_background: Some(rgba(0x051b29ff).into()),
40 tab_bar_background: Some(rgba(0x051b29ff).into()),
41 tab_inactive_background: Some(rgba(0x09334eff).into()),
42 tab_active_background: Some(rgba(0x07273bff).into()),
43 editor_background: Some(rgba(0x07273bff).into()),
44 editor_gutter_background: Some(rgba(0x07273bff).into()),
45 editor_line_number: Some(rgba(0x4d6c80ff).into()),
46 editor_active_line_number: Some(rgba(0xbecfdaff).into()),
47 terminal_background: Some(rgba(0x051b29ff).into()),
48 terminal_ansi_bright_black: Some(rgba(0x475e6cff).into()),
49 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
50 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
51 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
52 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
53 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
54 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
55 terminal_ansi_bright_white: Some(rgba(0xbecfdaff).into()),
56 terminal_ansi_black: Some(rgba(0x28353eff).into()),
57 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
58 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
59 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
60 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
61 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
62 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
63 terminal_ansi_white: Some(rgba(0xaec3d0ff).into()),
64 ..Default::default()
65 },
66 status: StatusColorsRefinement {
67 deleted: Some(rgba(0xe34e1cff).into()),
68 error: Some(rgba(0xe34e1cff).into()),
69 hidden: Some(rgba(0x9fb6c6ff).into()),
70 hint: Some(rgba(0x969696ff).into()),
71 warning: Some(rgba(0xffa857ff).into()),
72 ..Default::default()
73 },
74 syntax: Some(UserSyntaxTheme {
75 highlights: vec![
76 (
77 "boolean".into(),
78 UserHighlightStyle {
79 color: Some(rgba(0x7060ebff).into()),
80 ..Default::default()
81 },
82 ),
83 (
84 "comment".into(),
85 UserHighlightStyle {
86 color: Some(rgba(0x5988a6ff).into()),
87 ..Default::default()
88 },
89 ),
90 (
91 "comment.doc".into(),
92 UserHighlightStyle {
93 color: Some(rgba(0x5988a6ff).into()),
94 ..Default::default()
95 },
96 ),
97 (
98 "constant".into(),
99 UserHighlightStyle {
100 color: Some(rgba(0xbecfdaff).into()),
101 ..Default::default()
102 },
103 ),
104 (
105 "function".into(),
106 UserHighlightStyle {
107 color: Some(rgba(0x16a3b6ff).into()),
108 ..Default::default()
109 },
110 ),
111 (
112 "keyword".into(),
113 UserHighlightStyle {
114 color: Some(rgba(0xe66533ff).into()),
115 ..Default::default()
116 },
117 ),
118 (
119 "label".into(),
120 UserHighlightStyle {
121 color: Some(rgba(0x49d6e9ff).into()),
122 ..Default::default()
123 },
124 ),
125 (
126 "link_text".into(),
127 UserHighlightStyle {
128 color: Some(rgba(0x49d6e9ff).into()),
129 ..Default::default()
130 },
131 ),
132 (
133 "link_uri".into(),
134 UserHighlightStyle {
135 color: Some(rgba(0x49d6e9ff).into()),
136 ..Default::default()
137 },
138 ),
139 (
140 "number".into(),
141 UserHighlightStyle {
142 color: Some(rgba(0x7060ebff).into()),
143 ..Default::default()
144 },
145 ),
146 (
147 "preproc".into(),
148 UserHighlightStyle {
149 color: Some(rgba(0xdf769bff).into()),
150 ..Default::default()
151 },
152 ),
153 (
154 "property".into(),
155 UserHighlightStyle {
156 color: Some(rgba(0x16a3b6ff).into()),
157 ..Default::default()
158 },
159 ),
160 (
161 "punctuation".into(),
162 UserHighlightStyle {
163 color: Some(rgba(0xbecfdaff).into()),
164 ..Default::default()
165 },
166 ),
167 (
168 "punctuation.bracket".into(),
169 UserHighlightStyle {
170 color: Some(rgba(0xbecfdaff).into()),
171 ..Default::default()
172 },
173 ),
174 (
175 "punctuation.delimiter".into(),
176 UserHighlightStyle {
177 color: Some(rgba(0xbecfdaff).into()),
178 ..Default::default()
179 },
180 ),
181 (
182 "punctuation.list_marker".into(),
183 UserHighlightStyle {
184 color: Some(rgba(0xbecfdaff).into()),
185 ..Default::default()
186 },
187 ),
188 (
189 "punctuation.special".into(),
190 UserHighlightStyle {
191 color: Some(rgba(0xbecfdaff).into()),
192 ..Default::default()
193 },
194 ),
195 (
196 "string".into(),
197 UserHighlightStyle {
198 color: Some(rgba(0x49e9a6ff).into()),
199 ..Default::default()
200 },
201 ),
202 (
203 "string.escape".into(),
204 UserHighlightStyle {
205 color: Some(rgba(0xbecfdaff).into()),
206 ..Default::default()
207 },
208 ),
209 (
210 "string.regex".into(),
211 UserHighlightStyle {
212 color: Some(rgba(0x49e9a6ff).into()),
213 ..Default::default()
214 },
215 ),
216 (
217 "string.special".into(),
218 UserHighlightStyle {
219 color: Some(rgba(0x49e9a6ff).into()),
220 ..Default::default()
221 },
222 ),
223 (
224 "string.special.symbol".into(),
225 UserHighlightStyle {
226 color: Some(rgba(0x49e9a6ff).into()),
227 ..Default::default()
228 },
229 ),
230 (
231 "tag".into(),
232 UserHighlightStyle {
233 color: Some(rgba(0xe66533ff).into()),
234 ..Default::default()
235 },
236 ),
237 (
238 "text.literal".into(),
239 UserHighlightStyle {
240 color: Some(rgba(0x49e9a6ff).into()),
241 ..Default::default()
242 },
243 ),
244 (
245 "title".into(),
246 UserHighlightStyle {
247 color: Some(rgba(0x49d6e9ff).into()),
248 ..Default::default()
249 },
250 ),
251 (
252 "type".into(),
253 UserHighlightStyle {
254 color: Some(rgba(0xd67e5cff).into()),
255 ..Default::default()
256 },
257 ),
258 (
259 "variable".into(),
260 UserHighlightStyle {
261 color: Some(rgba(0xe4b781ff).into()),
262 ..Default::default()
263 },
264 ),
265 (
266 "variable.special".into(),
267 UserHighlightStyle {
268 color: Some(rgba(0xe66533ff).into()),
269 ..Default::default()
270 },
271 ),
272 ],
273 }),
274 },
275 },
276 UserTheme {
277 name: "Noctis Bordo".into(),
278 appearance: Appearance::Dark,
279 styles: UserThemeStylesRefinement {
280 colors: ThemeColorsRefinement {
281 border: Some(rgba(0x997582ff).into()),
282 border_variant: Some(rgba(0x997582ff).into()),
283 border_focused: Some(rgba(0x413036ff).into()),
284 border_selected: Some(rgba(0x997582ff).into()),
285 border_transparent: Some(rgba(0x997582ff).into()),
286 border_disabled: Some(rgba(0x997582ff).into()),
287 elevated_surface_background: Some(rgba(0x272022ff).into()),
288 surface_background: Some(rgba(0x272022ff).into()),
289 background: Some(rgba(0x322a2dff).into()),
290 element_background: Some(rgba(0x007f99ff).into()),
291 element_hover: Some(rgba(0x533641ff).into()),
292 element_selected: Some(rgba(0x5c2e3e99).into()),
293 drop_target_background: Some(rgba(0x38292eff).into()),
294 ghost_element_hover: Some(rgba(0x533641ff).into()),
295 text: Some(rgba(0xcbbec2ff).into()),
296 status_bar_background: Some(rgba(0x322a2dff).into()),
297 title_bar_background: Some(rgba(0x322a2dff).into()),
298 toolbar_background: Some(rgba(0x272022ff).into()),
299 tab_bar_background: Some(rgba(0x272022ff).into()),
300 tab_inactive_background: Some(rgba(0x413036ff).into()),
301 tab_active_background: Some(rgba(0x322a2dff).into()),
302 editor_background: Some(rgba(0x322a2dff).into()),
303 editor_gutter_background: Some(rgba(0x322a2dff).into()),
304 editor_line_number: Some(rgba(0x715b63ff).into()),
305 editor_active_line_number: Some(rgba(0xcbbec2ff).into()),
306 terminal_background: Some(rgba(0x272022ff).into()),
307 terminal_ansi_bright_black: Some(rgba(0x69545bff).into()),
308 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
309 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
310 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
311 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
312 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
313 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
314 terminal_ansi_bright_white: Some(rgba(0xcbbec2ff).into()),
315 terminal_ansi_black: Some(rgba(0x47393eff).into()),
316 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
317 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
318 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
319 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
320 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
321 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
322 terminal_ansi_white: Some(rgba(0xb9acb0ff).into()),
323 ..Default::default()
324 },
325 status: StatusColorsRefinement {
326 deleted: Some(rgba(0xe34e1cff).into()),
327 error: Some(rgba(0xe34e1cff).into()),
328 hidden: Some(rgba(0xbbaab0ff).into()),
329 hint: Some(rgba(0x969696ff).into()),
330 warning: Some(rgba(0xffa857ff).into()),
331 ..Default::default()
332 },
333 syntax: Some(UserSyntaxTheme {
334 highlights: vec![
335 (
336 "boolean".into(),
337 UserHighlightStyle {
338 color: Some(rgba(0x7060ebff).into()),
339 ..Default::default()
340 },
341 ),
342 (
343 "comment".into(),
344 UserHighlightStyle {
345 color: Some(rgba(0x8b747cff).into()),
346 ..Default::default()
347 },
348 ),
349 (
350 "comment.doc".into(),
351 UserHighlightStyle {
352 color: Some(rgba(0x8b747cff).into()),
353 ..Default::default()
354 },
355 ),
356 (
357 "constant".into(),
358 UserHighlightStyle {
359 color: Some(rgba(0xcbbec2ff).into()),
360 ..Default::default()
361 },
362 ),
363 (
364 "function".into(),
365 UserHighlightStyle {
366 color: Some(rgba(0x16a3b6ff).into()),
367 ..Default::default()
368 },
369 ),
370 (
371 "keyword".into(),
372 UserHighlightStyle {
373 color: Some(rgba(0xe66533ff).into()),
374 ..Default::default()
375 },
376 ),
377 (
378 "label".into(),
379 UserHighlightStyle {
380 color: Some(rgba(0x49d6e9ff).into()),
381 ..Default::default()
382 },
383 ),
384 (
385 "link_text".into(),
386 UserHighlightStyle {
387 color: Some(rgba(0x49d6e9ff).into()),
388 ..Default::default()
389 },
390 ),
391 (
392 "link_uri".into(),
393 UserHighlightStyle {
394 color: Some(rgba(0x49d6e9ff).into()),
395 ..Default::default()
396 },
397 ),
398 (
399 "number".into(),
400 UserHighlightStyle {
401 color: Some(rgba(0x7060ebff).into()),
402 ..Default::default()
403 },
404 ),
405 (
406 "preproc".into(),
407 UserHighlightStyle {
408 color: Some(rgba(0xdf769bff).into()),
409 ..Default::default()
410 },
411 ),
412 (
413 "property".into(),
414 UserHighlightStyle {
415 color: Some(rgba(0x16a3b6ff).into()),
416 ..Default::default()
417 },
418 ),
419 (
420 "punctuation".into(),
421 UserHighlightStyle {
422 color: Some(rgba(0xcbbec2ff).into()),
423 ..Default::default()
424 },
425 ),
426 (
427 "punctuation.bracket".into(),
428 UserHighlightStyle {
429 color: Some(rgba(0xcbbec2ff).into()),
430 ..Default::default()
431 },
432 ),
433 (
434 "punctuation.delimiter".into(),
435 UserHighlightStyle {
436 color: Some(rgba(0xcbbec2ff).into()),
437 ..Default::default()
438 },
439 ),
440 (
441 "punctuation.list_marker".into(),
442 UserHighlightStyle {
443 color: Some(rgba(0xcbbec2ff).into()),
444 ..Default::default()
445 },
446 ),
447 (
448 "punctuation.special".into(),
449 UserHighlightStyle {
450 color: Some(rgba(0xcbbec2ff).into()),
451 ..Default::default()
452 },
453 ),
454 (
455 "string".into(),
456 UserHighlightStyle {
457 color: Some(rgba(0x49e9a6ff).into()),
458 ..Default::default()
459 },
460 ),
461 (
462 "string.escape".into(),
463 UserHighlightStyle {
464 color: Some(rgba(0xcbbec2ff).into()),
465 ..Default::default()
466 },
467 ),
468 (
469 "string.regex".into(),
470 UserHighlightStyle {
471 color: Some(rgba(0x49e9a6ff).into()),
472 ..Default::default()
473 },
474 ),
475 (
476 "string.special".into(),
477 UserHighlightStyle {
478 color: Some(rgba(0x49e9a6ff).into()),
479 ..Default::default()
480 },
481 ),
482 (
483 "string.special.symbol".into(),
484 UserHighlightStyle {
485 color: Some(rgba(0x49e9a6ff).into()),
486 ..Default::default()
487 },
488 ),
489 (
490 "tag".into(),
491 UserHighlightStyle {
492 color: Some(rgba(0xe66533ff).into()),
493 ..Default::default()
494 },
495 ),
496 (
497 "text.literal".into(),
498 UserHighlightStyle {
499 color: Some(rgba(0x49e9a6ff).into()),
500 ..Default::default()
501 },
502 ),
503 (
504 "title".into(),
505 UserHighlightStyle {
506 color: Some(rgba(0x49d6e9ff).into()),
507 ..Default::default()
508 },
509 ),
510 (
511 "type".into(),
512 UserHighlightStyle {
513 color: Some(rgba(0xd67e5cff).into()),
514 ..Default::default()
515 },
516 ),
517 (
518 "variable".into(),
519 UserHighlightStyle {
520 color: Some(rgba(0xe4b781ff).into()),
521 ..Default::default()
522 },
523 ),
524 (
525 "variable.special".into(),
526 UserHighlightStyle {
527 color: Some(rgba(0xe66533ff).into()),
528 ..Default::default()
529 },
530 ),
531 ],
532 }),
533 },
534 },
535 UserTheme {
536 name: "Noctus Hibernus".into(),
537 appearance: Appearance::Light,
538 styles: UserThemeStylesRefinement {
539 colors: ThemeColorsRefinement {
540 border: Some(rgba(0x00c6e0ff).into()),
541 border_variant: Some(rgba(0x00c6e0ff).into()),
542 border_focused: Some(rgba(0xe0eff1ff).into()),
543 border_selected: Some(rgba(0x00c6e0ff).into()),
544 border_transparent: Some(rgba(0x00c6e0ff).into()),
545 border_disabled: Some(rgba(0x00c6e0ff).into()),
546 elevated_surface_background: Some(rgba(0xe1eeefff).into()),
547 surface_background: Some(rgba(0xe1eeefff).into()),
548 background: Some(rgba(0xf4f6f6ff).into()),
549 element_background: Some(rgba(0x099099ff).into()),
550 element_hover: Some(rgba(0xd1eafaff).into()),
551 element_selected: Some(rgba(0xb6e1e7ff).into()),
552 drop_target_background: Some(rgba(0xb2cacdff).into()),
553 ghost_element_hover: Some(rgba(0xd1eafaff).into()),
554 text: Some(rgba(0x005661ff).into()),
555 status_bar_background: Some(rgba(0xcaedf2ff).into()),
556 title_bar_background: Some(rgba(0xe7f2f3ff).into()),
557 toolbar_background: Some(rgba(0xe1eeefff).into()),
558 tab_bar_background: Some(rgba(0xe1eeefff).into()),
559 tab_inactive_background: Some(rgba(0xcaedf2ff).into()),
560 tab_active_background: Some(rgba(0xf4f6f6ff).into()),
561 editor_background: Some(rgba(0xf4f6f6ff).into()),
562 editor_gutter_background: Some(rgba(0xf4f6f6ff).into()),
563 editor_line_number: Some(rgba(0xa0abacff).into()),
564 editor_active_line_number: Some(rgba(0x005661ff).into()),
565 terminal_background: Some(rgba(0xe1eeefff).into()),
566 terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
567 terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
568 terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
569 terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
570 terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
571 terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
572 terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
573 terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
574 terminal_ansi_black: Some(rgba(0x003b42ff).into()),
575 terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
576 terminal_ansi_green: Some(rgba(0x00b368ff).into()),
577 terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
578 terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
579 terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
580 terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
581 terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
582 ..Default::default()
583 },
584 status: StatusColorsRefinement {
585 deleted: Some(rgba(0xff4000ff).into()),
586 error: Some(rgba(0xff4000ff).into()),
587 hidden: Some(rgba(0x71838eff).into()),
588 hint: Some(rgba(0x969696ff).into()),
589 warning: Some(rgba(0xe07a52ff).into()),
590 ..Default::default()
591 },
592 syntax: Some(UserSyntaxTheme {
593 highlights: vec![
594 (
595 "boolean".into(),
596 UserHighlightStyle {
597 color: Some(rgba(0x5842ffff).into()),
598 ..Default::default()
599 },
600 ),
601 (
602 "comment".into(),
603 UserHighlightStyle {
604 color: Some(rgba(0x8ca6a6ff).into()),
605 ..Default::default()
606 },
607 ),
608 (
609 "comment.doc".into(),
610 UserHighlightStyle {
611 color: Some(rgba(0x8ca6a6ff).into()),
612 ..Default::default()
613 },
614 ),
615 (
616 "constant".into(),
617 UserHighlightStyle {
618 color: Some(rgba(0x004d57ff).into()),
619 ..Default::default()
620 },
621 ),
622 (
623 "function".into(),
624 UserHighlightStyle {
625 color: Some(rgba(0x0095a8ff).into()),
626 ..Default::default()
627 },
628 ),
629 (
630 "keyword".into(),
631 UserHighlightStyle {
632 color: Some(rgba(0xe64100ff).into()),
633 ..Default::default()
634 },
635 ),
636 (
637 "label".into(),
638 UserHighlightStyle {
639 color: Some(rgba(0x00bdd6ff).into()),
640 ..Default::default()
641 },
642 ),
643 (
644 "link_text".into(),
645 UserHighlightStyle {
646 color: Some(rgba(0x00bdd6ff).into()),
647 ..Default::default()
648 },
649 ),
650 (
651 "link_uri".into(),
652 UserHighlightStyle {
653 color: Some(rgba(0x00bdd6ff).into()),
654 ..Default::default()
655 },
656 ),
657 (
658 "number".into(),
659 UserHighlightStyle {
660 color: Some(rgba(0x5842ffff).into()),
661 ..Default::default()
662 },
663 ),
664 (
665 "preproc".into(),
666 UserHighlightStyle {
667 color: Some(rgba(0xff5792ff).into()),
668 ..Default::default()
669 },
670 ),
671 (
672 "property".into(),
673 UserHighlightStyle {
674 color: Some(rgba(0x0095a8ff).into()),
675 ..Default::default()
676 },
677 ),
678 (
679 "punctuation".into(),
680 UserHighlightStyle {
681 color: Some(rgba(0x004d57ff).into()),
682 ..Default::default()
683 },
684 ),
685 (
686 "punctuation.bracket".into(),
687 UserHighlightStyle {
688 color: Some(rgba(0x004d57ff).into()),
689 ..Default::default()
690 },
691 ),
692 (
693 "punctuation.delimiter".into(),
694 UserHighlightStyle {
695 color: Some(rgba(0x004d57ff).into()),
696 ..Default::default()
697 },
698 ),
699 (
700 "punctuation.list_marker".into(),
701 UserHighlightStyle {
702 color: Some(rgba(0x004d57ff).into()),
703 ..Default::default()
704 },
705 ),
706 (
707 "punctuation.special".into(),
708 UserHighlightStyle {
709 color: Some(rgba(0x004d57ff).into()),
710 ..Default::default()
711 },
712 ),
713 (
714 "string".into(),
715 UserHighlightStyle {
716 color: Some(rgba(0x00b368ff).into()),
717 ..Default::default()
718 },
719 ),
720 (
721 "string.escape".into(),
722 UserHighlightStyle {
723 color: Some(rgba(0x004d57ff).into()),
724 ..Default::default()
725 },
726 ),
727 (
728 "string.regex".into(),
729 UserHighlightStyle {
730 color: Some(rgba(0x00b368ff).into()),
731 ..Default::default()
732 },
733 ),
734 (
735 "string.special".into(),
736 UserHighlightStyle {
737 color: Some(rgba(0x00b368ff).into()),
738 ..Default::default()
739 },
740 ),
741 (
742 "string.special.symbol".into(),
743 UserHighlightStyle {
744 color: Some(rgba(0x00b368ff).into()),
745 ..Default::default()
746 },
747 ),
748 (
749 "tag".into(),
750 UserHighlightStyle {
751 color: Some(rgba(0xe64100ff).into()),
752 ..Default::default()
753 },
754 ),
755 (
756 "text.literal".into(),
757 UserHighlightStyle {
758 color: Some(rgba(0x00b368ff).into()),
759 ..Default::default()
760 },
761 ),
762 (
763 "title".into(),
764 UserHighlightStyle {
765 color: Some(rgba(0x00bdd6ff).into()),
766 ..Default::default()
767 },
768 ),
769 (
770 "type".into(),
771 UserHighlightStyle {
772 color: Some(rgba(0xb3694dff).into()),
773 ..Default::default()
774 },
775 ),
776 (
777 "variable".into(),
778 UserHighlightStyle {
779 color: Some(rgba(0xfa8900ff).into()),
780 ..Default::default()
781 },
782 ),
783 (
784 "variable.special".into(),
785 UserHighlightStyle {
786 color: Some(rgba(0xe64100ff).into()),
787 ..Default::default()
788 },
789 ),
790 ],
791 }),
792 },
793 },
794 UserTheme {
795 name: "Noctis Lilac".into(),
796 appearance: Appearance::Dark,
797 styles: UserThemeStylesRefinement {
798 colors: ThemeColorsRefinement {
799 border: Some(rgba(0xaea4f4ff).into()),
800 border_variant: Some(rgba(0xaea4f4ff).into()),
801 border_focused: Some(rgba(0xdedbf5ff).into()),
802 border_selected: Some(rgba(0xaea4f4ff).into()),
803 border_transparent: Some(rgba(0xaea4f4ff).into()),
804 border_disabled: Some(rgba(0xaea4f4ff).into()),
805 elevated_surface_background: Some(rgba(0xe9e7f3ff).into()),
806 surface_background: Some(rgba(0xe9e7f3ff).into()),
807 background: Some(rgba(0xf2f1f8ff).into()),
808 element_background: Some(rgba(0x8e80ffff).into()),
809 element_hover: Some(rgba(0xd2ccffff).into()),
810 element_selected: Some(rgba(0xbcb6e7ff).into()),
811 drop_target_background: Some(rgba(0xafaad4aa).into()),
812 ghost_element_hover: Some(rgba(0xd2ccffff).into()),
813 text: Some(rgba(0x0c006bff).into()),
814 status_bar_background: Some(rgba(0xe2dff6ff).into()),
815 title_bar_background: Some(rgba(0xedecf8ff).into()),
816 toolbar_background: Some(rgba(0xe9e7f3ff).into()),
817 tab_bar_background: Some(rgba(0xe9e7f3ff).into()),
818 tab_inactive_background: Some(rgba(0xe2dff6ff).into()),
819 tab_active_background: Some(rgba(0xf2f1f8ff).into()),
820 editor_background: Some(rgba(0xf2f1f8ff).into()),
821 editor_gutter_background: Some(rgba(0xf2f1f8ff).into()),
822 editor_line_number: Some(rgba(0x9d9ab1ff).into()),
823 editor_active_line_number: Some(rgba(0x0c006bff).into()),
824 terminal_background: Some(rgba(0xe9e7f3ff).into()),
825 terminal_ansi_bright_black: Some(rgba(0x0f0080ff).into()),
826 terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
827 terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
828 terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
829 terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
830 terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
831 terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
832 terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
833 terminal_ansi_black: Some(rgba(0x0c006bff).into()),
834 terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
835 terminal_ansi_green: Some(rgba(0x00b368ff).into()),
836 terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
837 terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
838 terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
839 terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
840 terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
841 ..Default::default()
842 },
843 status: StatusColorsRefinement {
844 deleted: Some(rgba(0xff4000ff).into()),
845 error: Some(rgba(0xff4000ff).into()),
846 hidden: Some(rgba(0x75718eff).into()),
847 hint: Some(rgba(0x969696ff).into()),
848 warning: Some(rgba(0xe07a52ff).into()),
849 ..Default::default()
850 },
851 syntax: Some(UserSyntaxTheme {
852 highlights: vec![
853 (
854 "boolean".into(),
855 UserHighlightStyle {
856 color: Some(rgba(0x5842ffff).into()),
857 ..Default::default()
858 },
859 ),
860 (
861 "comment".into(),
862 UserHighlightStyle {
863 color: Some(rgba(0x9995b7ff).into()),
864 ..Default::default()
865 },
866 ),
867 (
868 "comment.doc".into(),
869 UserHighlightStyle {
870 color: Some(rgba(0x9995b7ff).into()),
871 ..Default::default()
872 },
873 ),
874 (
875 "constant".into(),
876 UserHighlightStyle {
877 color: Some(rgba(0x0c006bff).into()),
878 ..Default::default()
879 },
880 ),
881 (
882 "function".into(),
883 UserHighlightStyle {
884 color: Some(rgba(0x0095a8ff).into()),
885 ..Default::default()
886 },
887 ),
888 (
889 "keyword".into(),
890 UserHighlightStyle {
891 color: Some(rgba(0xe64100ff).into()),
892 ..Default::default()
893 },
894 ),
895 (
896 "label".into(),
897 UserHighlightStyle {
898 color: Some(rgba(0x00bdd6ff).into()),
899 ..Default::default()
900 },
901 ),
902 (
903 "link_text".into(),
904 UserHighlightStyle {
905 color: Some(rgba(0x00bdd6ff).into()),
906 ..Default::default()
907 },
908 ),
909 (
910 "link_uri".into(),
911 UserHighlightStyle {
912 color: Some(rgba(0x00bdd6ff).into()),
913 ..Default::default()
914 },
915 ),
916 (
917 "number".into(),
918 UserHighlightStyle {
919 color: Some(rgba(0x5842ffff).into()),
920 ..Default::default()
921 },
922 ),
923 (
924 "preproc".into(),
925 UserHighlightStyle {
926 color: Some(rgba(0xff5792ff).into()),
927 ..Default::default()
928 },
929 ),
930 (
931 "property".into(),
932 UserHighlightStyle {
933 color: Some(rgba(0x0095a8ff).into()),
934 ..Default::default()
935 },
936 ),
937 (
938 "punctuation".into(),
939 UserHighlightStyle {
940 color: Some(rgba(0x0c006bff).into()),
941 ..Default::default()
942 },
943 ),
944 (
945 "punctuation.bracket".into(),
946 UserHighlightStyle {
947 color: Some(rgba(0x0c006bff).into()),
948 ..Default::default()
949 },
950 ),
951 (
952 "punctuation.delimiter".into(),
953 UserHighlightStyle {
954 color: Some(rgba(0x0c006bff).into()),
955 ..Default::default()
956 },
957 ),
958 (
959 "punctuation.list_marker".into(),
960 UserHighlightStyle {
961 color: Some(rgba(0x0c006bff).into()),
962 ..Default::default()
963 },
964 ),
965 (
966 "punctuation.special".into(),
967 UserHighlightStyle {
968 color: Some(rgba(0x0c006bff).into()),
969 ..Default::default()
970 },
971 ),
972 (
973 "string".into(),
974 UserHighlightStyle {
975 color: Some(rgba(0x00b368ff).into()),
976 ..Default::default()
977 },
978 ),
979 (
980 "string.escape".into(),
981 UserHighlightStyle {
982 color: Some(rgba(0x0c006bff).into()),
983 ..Default::default()
984 },
985 ),
986 (
987 "string.regex".into(),
988 UserHighlightStyle {
989 color: Some(rgba(0x00b368ff).into()),
990 ..Default::default()
991 },
992 ),
993 (
994 "string.special".into(),
995 UserHighlightStyle {
996 color: Some(rgba(0x00b368ff).into()),
997 ..Default::default()
998 },
999 ),
1000 (
1001 "string.special.symbol".into(),
1002 UserHighlightStyle {
1003 color: Some(rgba(0x00b368ff).into()),
1004 ..Default::default()
1005 },
1006 ),
1007 (
1008 "tag".into(),
1009 UserHighlightStyle {
1010 color: Some(rgba(0xe64100ff).into()),
1011 ..Default::default()
1012 },
1013 ),
1014 (
1015 "text.literal".into(),
1016 UserHighlightStyle {
1017 color: Some(rgba(0x00b368ff).into()),
1018 ..Default::default()
1019 },
1020 ),
1021 (
1022 "title".into(),
1023 UserHighlightStyle {
1024 color: Some(rgba(0x00bdd6ff).into()),
1025 ..Default::default()
1026 },
1027 ),
1028 (
1029 "type".into(),
1030 UserHighlightStyle {
1031 color: Some(rgba(0xb3694dff).into()),
1032 ..Default::default()
1033 },
1034 ),
1035 (
1036 "variable".into(),
1037 UserHighlightStyle {
1038 color: Some(rgba(0xfa8900ff).into()),
1039 ..Default::default()
1040 },
1041 ),
1042 (
1043 "variable.special".into(),
1044 UserHighlightStyle {
1045 color: Some(rgba(0xe64100ff).into()),
1046 ..Default::default()
1047 },
1048 ),
1049 ],
1050 }),
1051 },
1052 },
1053 UserTheme {
1054 name: "Noctis Lux".into(),
1055 appearance: Appearance::Light,
1056 styles: UserThemeStylesRefinement {
1057 colors: ThemeColorsRefinement {
1058 border: Some(rgba(0x00c6e0ff).into()),
1059 border_variant: Some(rgba(0x00c6e0ff).into()),
1060 border_focused: Some(rgba(0xf2eddeff).into()),
1061 border_selected: Some(rgba(0x00c6e0ff).into()),
1062 border_transparent: Some(rgba(0x00c6e0ff).into()),
1063 border_disabled: Some(rgba(0x00c6e0ff).into()),
1064 elevated_surface_background: Some(rgba(0xf6eddaff).into()),
1065 surface_background: Some(rgba(0xf6eddaff).into()),
1066 background: Some(rgba(0xfef8ecff).into()),
1067 element_background: Some(rgba(0x099099ff).into()),
1068 element_hover: Some(rgba(0xd2f3f9ff).into()),
1069 element_selected: Some(rgba(0xb6e1e7ff).into()),
1070 drop_target_background: Some(rgba(0xcdcbb2ff).into()),
1071 ghost_element_hover: Some(rgba(0xd2f3f9ff).into()),
1072 text: Some(rgba(0x005661ff).into()),
1073 status_bar_background: Some(rgba(0xf0e9d6ff).into()),
1074 title_bar_background: Some(rgba(0xf9f1e1ff).into()),
1075 toolbar_background: Some(rgba(0xf6eddaff).into()),
1076 tab_bar_background: Some(rgba(0xf6eddaff).into()),
1077 tab_inactive_background: Some(rgba(0xf0e9d6ff).into()),
1078 tab_active_background: Some(rgba(0xfef8ecff).into()),
1079 editor_background: Some(rgba(0xfef8ecff).into()),
1080 editor_gutter_background: Some(rgba(0xfef8ecff).into()),
1081 editor_line_number: Some(rgba(0xa0abacff).into()),
1082 editor_active_line_number: Some(rgba(0x005661ff).into()),
1083 terminal_background: Some(rgba(0xf6eddaff).into()),
1084 terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
1085 terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
1086 terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
1087 terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
1088 terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
1089 terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
1090 terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
1091 terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
1092 terminal_ansi_black: Some(rgba(0x003b42ff).into()),
1093 terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
1094 terminal_ansi_green: Some(rgba(0x00b368ff).into()),
1095 terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
1096 terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
1097 terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
1098 terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
1099 terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
1100 ..Default::default()
1101 },
1102 status: StatusColorsRefinement {
1103 deleted: Some(rgba(0xff4000ff).into()),
1104 error: Some(rgba(0xff4000ff).into()),
1105 hidden: Some(rgba(0x888477ff).into()),
1106 hint: Some(rgba(0x969696ff).into()),
1107 warning: Some(rgba(0xe07a52ff).into()),
1108 ..Default::default()
1109 },
1110 syntax: Some(UserSyntaxTheme {
1111 highlights: vec![
1112 (
1113 "boolean".into(),
1114 UserHighlightStyle {
1115 color: Some(rgba(0x5842ffff).into()),
1116 ..Default::default()
1117 },
1118 ),
1119 (
1120 "comment".into(),
1121 UserHighlightStyle {
1122 color: Some(rgba(0x8ca6a6ff).into()),
1123 ..Default::default()
1124 },
1125 ),
1126 (
1127 "comment.doc".into(),
1128 UserHighlightStyle {
1129 color: Some(rgba(0x8ca6a6ff).into()),
1130 ..Default::default()
1131 },
1132 ),
1133 (
1134 "constant".into(),
1135 UserHighlightStyle {
1136 color: Some(rgba(0x004d57ff).into()),
1137 ..Default::default()
1138 },
1139 ),
1140 (
1141 "function".into(),
1142 UserHighlightStyle {
1143 color: Some(rgba(0x0095a8ff).into()),
1144 ..Default::default()
1145 },
1146 ),
1147 (
1148 "keyword".into(),
1149 UserHighlightStyle {
1150 color: Some(rgba(0xe64100ff).into()),
1151 ..Default::default()
1152 },
1153 ),
1154 (
1155 "label".into(),
1156 UserHighlightStyle {
1157 color: Some(rgba(0x00bdd6ff).into()),
1158 ..Default::default()
1159 },
1160 ),
1161 (
1162 "link_text".into(),
1163 UserHighlightStyle {
1164 color: Some(rgba(0x00bdd6ff).into()),
1165 ..Default::default()
1166 },
1167 ),
1168 (
1169 "link_uri".into(),
1170 UserHighlightStyle {
1171 color: Some(rgba(0x00bdd6ff).into()),
1172 ..Default::default()
1173 },
1174 ),
1175 (
1176 "number".into(),
1177 UserHighlightStyle {
1178 color: Some(rgba(0x5842ffff).into()),
1179 ..Default::default()
1180 },
1181 ),
1182 (
1183 "preproc".into(),
1184 UserHighlightStyle {
1185 color: Some(rgba(0xff5792ff).into()),
1186 ..Default::default()
1187 },
1188 ),
1189 (
1190 "property".into(),
1191 UserHighlightStyle {
1192 color: Some(rgba(0x0095a8ff).into()),
1193 ..Default::default()
1194 },
1195 ),
1196 (
1197 "punctuation".into(),
1198 UserHighlightStyle {
1199 color: Some(rgba(0x004d57ff).into()),
1200 ..Default::default()
1201 },
1202 ),
1203 (
1204 "punctuation.bracket".into(),
1205 UserHighlightStyle {
1206 color: Some(rgba(0x004d57ff).into()),
1207 ..Default::default()
1208 },
1209 ),
1210 (
1211 "punctuation.delimiter".into(),
1212 UserHighlightStyle {
1213 color: Some(rgba(0x004d57ff).into()),
1214 ..Default::default()
1215 },
1216 ),
1217 (
1218 "punctuation.list_marker".into(),
1219 UserHighlightStyle {
1220 color: Some(rgba(0x004d57ff).into()),
1221 ..Default::default()
1222 },
1223 ),
1224 (
1225 "punctuation.special".into(),
1226 UserHighlightStyle {
1227 color: Some(rgba(0x004d57ff).into()),
1228 ..Default::default()
1229 },
1230 ),
1231 (
1232 "string".into(),
1233 UserHighlightStyle {
1234 color: Some(rgba(0x00b368ff).into()),
1235 ..Default::default()
1236 },
1237 ),
1238 (
1239 "string.escape".into(),
1240 UserHighlightStyle {
1241 color: Some(rgba(0x004d57ff).into()),
1242 ..Default::default()
1243 },
1244 ),
1245 (
1246 "string.regex".into(),
1247 UserHighlightStyle {
1248 color: Some(rgba(0x00b368ff).into()),
1249 ..Default::default()
1250 },
1251 ),
1252 (
1253 "string.special".into(),
1254 UserHighlightStyle {
1255 color: Some(rgba(0x00b368ff).into()),
1256 ..Default::default()
1257 },
1258 ),
1259 (
1260 "string.special.symbol".into(),
1261 UserHighlightStyle {
1262 color: Some(rgba(0x00b368ff).into()),
1263 ..Default::default()
1264 },
1265 ),
1266 (
1267 "tag".into(),
1268 UserHighlightStyle {
1269 color: Some(rgba(0xe64100ff).into()),
1270 ..Default::default()
1271 },
1272 ),
1273 (
1274 "text.literal".into(),
1275 UserHighlightStyle {
1276 color: Some(rgba(0x00b368ff).into()),
1277 ..Default::default()
1278 },
1279 ),
1280 (
1281 "title".into(),
1282 UserHighlightStyle {
1283 color: Some(rgba(0x00bdd6ff).into()),
1284 ..Default::default()
1285 },
1286 ),
1287 (
1288 "type".into(),
1289 UserHighlightStyle {
1290 color: Some(rgba(0xb3694dff).into()),
1291 ..Default::default()
1292 },
1293 ),
1294 (
1295 "variable".into(),
1296 UserHighlightStyle {
1297 color: Some(rgba(0xfa8900ff).into()),
1298 ..Default::default()
1299 },
1300 ),
1301 (
1302 "variable.special".into(),
1303 UserHighlightStyle {
1304 color: Some(rgba(0xe64100ff).into()),
1305 ..Default::default()
1306 },
1307 ),
1308 ],
1309 }),
1310 },
1311 },
1312 UserTheme {
1313 name: "Noctis Minimus".into(),
1314 appearance: Appearance::Dark,
1315 styles: UserThemeStylesRefinement {
1316 colors: ThemeColorsRefinement {
1317 border: Some(rgba(0x496d83ff).into()),
1318 border_variant: Some(rgba(0x496d83ff).into()),
1319 border_focused: Some(rgba(0x202e37ff).into()),
1320 border_selected: Some(rgba(0x496d83ff).into()),
1321 border_transparent: Some(rgba(0x496d83ff).into()),
1322 border_disabled: Some(rgba(0x496d83ff).into()),
1323 elevated_surface_background: Some(rgba(0x0e1920ff).into()),
1324 surface_background: Some(rgba(0x0e1920ff).into()),
1325 background: Some(rgba(0x1b2932ff).into()),
1326 element_background: Some(rgba(0x2e616bff).into()),
1327 element_hover: Some(rgba(0x00558aff).into()),
1328 element_selected: Some(rgba(0x2c414eff).into()),
1329 drop_target_background: Some(rgba(0x152837ff).into()),
1330 ghost_element_hover: Some(rgba(0x00558aff).into()),
1331 text: Some(rgba(0xc5cdd3ff).into()),
1332 status_bar_background: Some(rgba(0x1b2932ff).into()),
1333 title_bar_background: Some(rgba(0x1b2932ff).into()),
1334 toolbar_background: Some(rgba(0x0e1920ff).into()),
1335 tab_bar_background: Some(rgba(0x0e1920ff).into()),
1336 tab_inactive_background: Some(rgba(0x202e37ff).into()),
1337 tab_active_background: Some(rgba(0x1b2932ff).into()),
1338 editor_background: Some(rgba(0x1b2932ff).into()),
1339 editor_gutter_background: Some(rgba(0x1b2932ff).into()),
1340 editor_line_number: Some(rgba(0x5d6e79ff).into()),
1341 editor_active_line_number: Some(rgba(0xc5cdd3ff).into()),
1342 terminal_background: Some(rgba(0x0e1920ff).into()),
1343 terminal_ansi_bright_black: Some(rgba(0x425866ff).into()),
1344 terminal_ansi_bright_red: Some(rgba(0xca8468ff).into()),
1345 terminal_ansi_bright_green: Some(rgba(0x84c8abff).into()),
1346 terminal_ansi_bright_yellow: Some(rgba(0xd1aa7bff).into()),
1347 terminal_ansi_bright_blue: Some(rgba(0x68a4caff).into()),
1348 terminal_ansi_bright_magenta: Some(rgba(0xc88da2ff).into()),
1349 terminal_ansi_bright_cyan: Some(rgba(0x84c0c8ff).into()),
1350 terminal_ansi_bright_white: Some(rgba(0xc5d1d3ff).into()),
1351 terminal_ansi_black: Some(rgba(0x182a35ff).into()),
1352 terminal_ansi_red: Some(rgba(0xc08872ff).into()),
1353 terminal_ansi_green: Some(rgba(0x72c09fff).into()),
1354 terminal_ansi_yellow: Some(rgba(0xc8a984ff).into()),
1355 terminal_ansi_blue: Some(rgba(0x6196b8ff).into()),
1356 terminal_ansi_magenta: Some(rgba(0xc28097ff).into()),
1357 terminal_ansi_cyan: Some(rgba(0x72b7c0ff).into()),
1358 terminal_ansi_white: Some(rgba(0xc5cdd3ff).into()),
1359 ..Default::default()
1360 },
1361 status: StatusColorsRefinement {
1362 deleted: Some(rgba(0xb96346ff).into()),
1363 error: Some(rgba(0xb96346ff).into()),
1364 hidden: Some(rgba(0x96a8b6ff).into()),
1365 hint: Some(rgba(0x969696ff).into()),
1366 warning: Some(rgba(0xffa857ff).into()),
1367 ..Default::default()
1368 },
1369 syntax: Some(UserSyntaxTheme {
1370 highlights: vec![
1371 (
1372 "boolean".into(),
1373 UserHighlightStyle {
1374 color: Some(rgba(0x7068b1ff).into()),
1375 ..Default::default()
1376 },
1377 ),
1378 (
1379 "comment".into(),
1380 UserHighlightStyle {
1381 color: Some(rgba(0x5e7887ff).into()),
1382 ..Default::default()
1383 },
1384 ),
1385 (
1386 "comment.doc".into(),
1387 UserHighlightStyle {
1388 color: Some(rgba(0x5e7887ff).into()),
1389 ..Default::default()
1390 },
1391 ),
1392 (
1393 "constant".into(),
1394 UserHighlightStyle {
1395 color: Some(rgba(0xc5cdd3ff).into()),
1396 ..Default::default()
1397 },
1398 ),
1399 (
1400 "function".into(),
1401 UserHighlightStyle {
1402 color: Some(rgba(0x3f848dff).into()),
1403 ..Default::default()
1404 },
1405 ),
1406 (
1407 "keyword".into(),
1408 UserHighlightStyle {
1409 color: Some(rgba(0xc37455ff).into()),
1410 ..Default::default()
1411 },
1412 ),
1413 (
1414 "label".into(),
1415 UserHighlightStyle {
1416 color: Some(rgba(0x72b7c0ff).into()),
1417 ..Default::default()
1418 },
1419 ),
1420 (
1421 "link_text".into(),
1422 UserHighlightStyle {
1423 color: Some(rgba(0x72b7c0ff).into()),
1424 ..Default::default()
1425 },
1426 ),
1427 (
1428 "link_uri".into(),
1429 UserHighlightStyle {
1430 color: Some(rgba(0x72b7c0ff).into()),
1431 ..Default::default()
1432 },
1433 ),
1434 (
1435 "number".into(),
1436 UserHighlightStyle {
1437 color: Some(rgba(0x7068b1ff).into()),
1438 ..Default::default()
1439 },
1440 ),
1441 (
1442 "preproc".into(),
1443 UserHighlightStyle {
1444 color: Some(rgba(0xc88da2ff).into()),
1445 ..Default::default()
1446 },
1447 ),
1448 (
1449 "property".into(),
1450 UserHighlightStyle {
1451 color: Some(rgba(0x3f848dff).into()),
1452 ..Default::default()
1453 },
1454 ),
1455 (
1456 "punctuation".into(),
1457 UserHighlightStyle {
1458 color: Some(rgba(0xc5cdd3ff).into()),
1459 ..Default::default()
1460 },
1461 ),
1462 (
1463 "punctuation.bracket".into(),
1464 UserHighlightStyle {
1465 color: Some(rgba(0xc5cdd3ff).into()),
1466 ..Default::default()
1467 },
1468 ),
1469 (
1470 "punctuation.delimiter".into(),
1471 UserHighlightStyle {
1472 color: Some(rgba(0xc5cdd3ff).into()),
1473 ..Default::default()
1474 },
1475 ),
1476 (
1477 "punctuation.list_marker".into(),
1478 UserHighlightStyle {
1479 color: Some(rgba(0xc5cdd3ff).into()),
1480 ..Default::default()
1481 },
1482 ),
1483 (
1484 "punctuation.special".into(),
1485 UserHighlightStyle {
1486 color: Some(rgba(0xc5cdd3ff).into()),
1487 ..Default::default()
1488 },
1489 ),
1490 (
1491 "string".into(),
1492 UserHighlightStyle {
1493 color: Some(rgba(0x72c09fff).into()),
1494 ..Default::default()
1495 },
1496 ),
1497 (
1498 "string.escape".into(),
1499 UserHighlightStyle {
1500 color: Some(rgba(0xc5cdd3ff).into()),
1501 ..Default::default()
1502 },
1503 ),
1504 (
1505 "string.regex".into(),
1506 UserHighlightStyle {
1507 color: Some(rgba(0x72c09fff).into()),
1508 ..Default::default()
1509 },
1510 ),
1511 (
1512 "string.special".into(),
1513 UserHighlightStyle {
1514 color: Some(rgba(0x72c09fff).into()),
1515 ..Default::default()
1516 },
1517 ),
1518 (
1519 "string.special.symbol".into(),
1520 UserHighlightStyle {
1521 color: Some(rgba(0x72c09fff).into()),
1522 ..Default::default()
1523 },
1524 ),
1525 (
1526 "tag".into(),
1527 UserHighlightStyle {
1528 color: Some(rgba(0xc37455ff).into()),
1529 ..Default::default()
1530 },
1531 ),
1532 (
1533 "text.literal".into(),
1534 UserHighlightStyle {
1535 color: Some(rgba(0x72c09fff).into()),
1536 ..Default::default()
1537 },
1538 ),
1539 (
1540 "title".into(),
1541 UserHighlightStyle {
1542 color: Some(rgba(0x72b7c0ff).into()),
1543 ..Default::default()
1544 },
1545 ),
1546 (
1547 "type".into(),
1548 UserHighlightStyle {
1549 color: Some(rgba(0xbe856fff).into()),
1550 ..Default::default()
1551 },
1552 ),
1553 (
1554 "variable".into(),
1555 UserHighlightStyle {
1556 color: Some(rgba(0xd3b692ff).into()),
1557 ..Default::default()
1558 },
1559 ),
1560 (
1561 "variable.special".into(),
1562 UserHighlightStyle {
1563 color: Some(rgba(0xc37455ff).into()),
1564 ..Default::default()
1565 },
1566 ),
1567 ],
1568 }),
1569 },
1570 },
1571 UserTheme {
1572 name: "Noctis".into(),
1573 appearance: Appearance::Dark,
1574 styles: UserThemeStylesRefinement {
1575 colors: ThemeColorsRefinement {
1576 border: Some(rgba(0x0e6671ff).into()),
1577 border_variant: Some(rgba(0x0e6671ff).into()),
1578 border_focused: Some(rgba(0x073940ff).into()),
1579 border_selected: Some(rgba(0x0e6671ff).into()),
1580 border_transparent: Some(rgba(0x0e6671ff).into()),
1581 border_disabled: Some(rgba(0x0e6671ff).into()),
1582 elevated_surface_background: Some(rgba(0x03191bff).into()),
1583 surface_background: Some(rgba(0x03191bff).into()),
1584 background: Some(rgba(0x052529ff).into()),
1585 element_background: Some(rgba(0x099099ff).into()),
1586 element_hover: Some(rgba(0x0b515bff).into()),
1587 element_selected: Some(rgba(0x0e6671ff).into()),
1588 drop_target_background: Some(rgba(0x00404dff).into()),
1589 ghost_element_hover: Some(rgba(0x0b515bff).into()),
1590 text: Some(rgba(0xb2cacdff).into()),
1591 status_bar_background: Some(rgba(0x041d20ff).into()),
1592 title_bar_background: Some(rgba(0x041d20ff).into()),
1593 toolbar_background: Some(rgba(0x03191bff).into()),
1594 tab_bar_background: Some(rgba(0x03191bff).into()),
1595 tab_inactive_background: Some(rgba(0x062e32ff).into()),
1596 tab_active_background: Some(rgba(0x052529ff).into()),
1597 editor_background: Some(rgba(0x052529ff).into()),
1598 editor_gutter_background: Some(rgba(0x052529ff).into()),
1599 editor_line_number: Some(rgba(0x4e6b6eff).into()),
1600 editor_active_line_number: Some(rgba(0xb2cacdff).into()),
1601 terminal_background: Some(rgba(0x03191bff).into()),
1602 terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
1603 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
1604 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
1605 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
1606 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
1607 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
1608 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
1609 terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
1610 terminal_ansi_black: Some(rgba(0x324a4dff).into()),
1611 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
1612 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
1613 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
1614 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
1615 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
1616 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
1617 terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
1618 ..Default::default()
1619 },
1620 status: StatusColorsRefinement {
1621 deleted: Some(rgba(0xe34e1cff).into()),
1622 error: Some(rgba(0xe34e1cff).into()),
1623 hidden: Some(rgba(0x87a7abff).into()),
1624 hint: Some(rgba(0x969696ff).into()),
1625 warning: Some(rgba(0xffa487ff).into()),
1626 ..Default::default()
1627 },
1628 syntax: Some(UserSyntaxTheme {
1629 highlights: vec![
1630 (
1631 "boolean".into(),
1632 UserHighlightStyle {
1633 color: Some(rgba(0x7060ebff).into()),
1634 ..Default::default()
1635 },
1636 ),
1637 (
1638 "comment".into(),
1639 UserHighlightStyle {
1640 color: Some(rgba(0x5b858bff).into()),
1641 ..Default::default()
1642 },
1643 ),
1644 (
1645 "comment.doc".into(),
1646 UserHighlightStyle {
1647 color: Some(rgba(0x5b858bff).into()),
1648 ..Default::default()
1649 },
1650 ),
1651 (
1652 "constant".into(),
1653 UserHighlightStyle {
1654 color: Some(rgba(0xb2cacdff).into()),
1655 ..Default::default()
1656 },
1657 ),
1658 (
1659 "function".into(),
1660 UserHighlightStyle {
1661 color: Some(rgba(0x16a3b6ff).into()),
1662 ..Default::default()
1663 },
1664 ),
1665 (
1666 "keyword".into(),
1667 UserHighlightStyle {
1668 color: Some(rgba(0xe66533ff).into()),
1669 ..Default::default()
1670 },
1671 ),
1672 (
1673 "label".into(),
1674 UserHighlightStyle {
1675 color: Some(rgba(0x49d6e9ff).into()),
1676 ..Default::default()
1677 },
1678 ),
1679 (
1680 "link_text".into(),
1681 UserHighlightStyle {
1682 color: Some(rgba(0x49d6e9ff).into()),
1683 ..Default::default()
1684 },
1685 ),
1686 (
1687 "link_uri".into(),
1688 UserHighlightStyle {
1689 color: Some(rgba(0x49d6e9ff).into()),
1690 ..Default::default()
1691 },
1692 ),
1693 (
1694 "number".into(),
1695 UserHighlightStyle {
1696 color: Some(rgba(0x7060ebff).into()),
1697 ..Default::default()
1698 },
1699 ),
1700 (
1701 "preproc".into(),
1702 UserHighlightStyle {
1703 color: Some(rgba(0xdf769bff).into()),
1704 ..Default::default()
1705 },
1706 ),
1707 (
1708 "property".into(),
1709 UserHighlightStyle {
1710 color: Some(rgba(0x16a3b6ff).into()),
1711 ..Default::default()
1712 },
1713 ),
1714 (
1715 "punctuation".into(),
1716 UserHighlightStyle {
1717 color: Some(rgba(0xb2cacdff).into()),
1718 ..Default::default()
1719 },
1720 ),
1721 (
1722 "punctuation.bracket".into(),
1723 UserHighlightStyle {
1724 color: Some(rgba(0xb2cacdff).into()),
1725 ..Default::default()
1726 },
1727 ),
1728 (
1729 "punctuation.delimiter".into(),
1730 UserHighlightStyle {
1731 color: Some(rgba(0xb2cacdff).into()),
1732 ..Default::default()
1733 },
1734 ),
1735 (
1736 "punctuation.list_marker".into(),
1737 UserHighlightStyle {
1738 color: Some(rgba(0xb2cacdff).into()),
1739 ..Default::default()
1740 },
1741 ),
1742 (
1743 "punctuation.special".into(),
1744 UserHighlightStyle {
1745 color: Some(rgba(0xb2cacdff).into()),
1746 ..Default::default()
1747 },
1748 ),
1749 (
1750 "string".into(),
1751 UserHighlightStyle {
1752 color: Some(rgba(0x49e9a6ff).into()),
1753 ..Default::default()
1754 },
1755 ),
1756 (
1757 "string.escape".into(),
1758 UserHighlightStyle {
1759 color: Some(rgba(0xb2cacdff).into()),
1760 ..Default::default()
1761 },
1762 ),
1763 (
1764 "string.regex".into(),
1765 UserHighlightStyle {
1766 color: Some(rgba(0x49e9a6ff).into()),
1767 ..Default::default()
1768 },
1769 ),
1770 (
1771 "string.special".into(),
1772 UserHighlightStyle {
1773 color: Some(rgba(0x49e9a6ff).into()),
1774 ..Default::default()
1775 },
1776 ),
1777 (
1778 "string.special.symbol".into(),
1779 UserHighlightStyle {
1780 color: Some(rgba(0x49e9a6ff).into()),
1781 ..Default::default()
1782 },
1783 ),
1784 (
1785 "tag".into(),
1786 UserHighlightStyle {
1787 color: Some(rgba(0xe66533ff).into()),
1788 ..Default::default()
1789 },
1790 ),
1791 (
1792 "text.literal".into(),
1793 UserHighlightStyle {
1794 color: Some(rgba(0x49e9a6ff).into()),
1795 ..Default::default()
1796 },
1797 ),
1798 (
1799 "title".into(),
1800 UserHighlightStyle {
1801 color: Some(rgba(0x49d6e9ff).into()),
1802 ..Default::default()
1803 },
1804 ),
1805 (
1806 "type".into(),
1807 UserHighlightStyle {
1808 color: Some(rgba(0xd67e5cff).into()),
1809 ..Default::default()
1810 },
1811 ),
1812 (
1813 "variable".into(),
1814 UserHighlightStyle {
1815 color: Some(rgba(0xe4b781ff).into()),
1816 ..Default::default()
1817 },
1818 ),
1819 (
1820 "variable.special".into(),
1821 UserHighlightStyle {
1822 color: Some(rgba(0xe66533ff).into()),
1823 ..Default::default()
1824 },
1825 ),
1826 ],
1827 }),
1828 },
1829 },
1830 UserTheme {
1831 name: "Noctis Obscuro".into(),
1832 appearance: Appearance::Dark,
1833 styles: UserThemeStylesRefinement {
1834 colors: ThemeColorsRefinement {
1835 border: Some(rgba(0x0e6671ff).into()),
1836 border_variant: Some(rgba(0x0e6671ff).into()),
1837 border_focused: Some(rgba(0x062e32ff).into()),
1838 border_selected: Some(rgba(0x0e6671ff).into()),
1839 border_transparent: Some(rgba(0x0e6671ff).into()),
1840 border_disabled: Some(rgba(0x0e6671ff).into()),
1841 elevated_surface_background: Some(rgba(0x020c0eff).into()),
1842 surface_background: Some(rgba(0x020c0eff).into()),
1843 background: Some(rgba(0x031417ff).into()),
1844 element_background: Some(rgba(0x099099ff).into()),
1845 element_hover: Some(rgba(0x0b515bff).into()),
1846 element_selected: Some(rgba(0x0e6671ff).into()),
1847 drop_target_background: Some(rgba(0x00404dff).into()),
1848 ghost_element_hover: Some(rgba(0x0b515bff).into()),
1849 text: Some(rgba(0xb2cacdff).into()),
1850 status_bar_background: Some(rgba(0x031417ff).into()),
1851 title_bar_background: Some(rgba(0x031417ff).into()),
1852 toolbar_background: Some(rgba(0x020c0eff).into()),
1853 tab_bar_background: Some(rgba(0x020c0eff).into()),
1854 tab_inactive_background: Some(rgba(0x062e32ff).into()),
1855 tab_active_background: Some(rgba(0x031417ff).into()),
1856 editor_background: Some(rgba(0x031417ff).into()),
1857 editor_gutter_background: Some(rgba(0x031417ff).into()),
1858 editor_line_number: Some(rgba(0x4e6b6eff).into()),
1859 editor_active_line_number: Some(rgba(0xb2cacdff).into()),
1860 terminal_background: Some(rgba(0x020c0eff).into()),
1861 terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
1862 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
1863 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
1864 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
1865 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
1866 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
1867 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
1868 terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
1869 terminal_ansi_black: Some(rgba(0x324a4dff).into()),
1870 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
1871 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
1872 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
1873 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
1874 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
1875 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
1876 terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
1877 ..Default::default()
1878 },
1879 status: StatusColorsRefinement {
1880 deleted: Some(rgba(0xe34e1cff).into()),
1881 error: Some(rgba(0xe34e1cff).into()),
1882 hidden: Some(rgba(0x87a7abff).into()),
1883 hint: Some(rgba(0x969696ff).into()),
1884 warning: Some(rgba(0xffa487ff).into()),
1885 ..Default::default()
1886 },
1887 syntax: Some(UserSyntaxTheme {
1888 highlights: vec![
1889 (
1890 "boolean".into(),
1891 UserHighlightStyle {
1892 color: Some(rgba(0x7060ebff).into()),
1893 ..Default::default()
1894 },
1895 ),
1896 (
1897 "comment".into(),
1898 UserHighlightStyle {
1899 color: Some(rgba(0x5b858bff).into()),
1900 ..Default::default()
1901 },
1902 ),
1903 (
1904 "comment.doc".into(),
1905 UserHighlightStyle {
1906 color: Some(rgba(0x5b858bff).into()),
1907 ..Default::default()
1908 },
1909 ),
1910 (
1911 "constant".into(),
1912 UserHighlightStyle {
1913 color: Some(rgba(0xb2cacdff).into()),
1914 ..Default::default()
1915 },
1916 ),
1917 (
1918 "function".into(),
1919 UserHighlightStyle {
1920 color: Some(rgba(0x16a3b6ff).into()),
1921 ..Default::default()
1922 },
1923 ),
1924 (
1925 "keyword".into(),
1926 UserHighlightStyle {
1927 color: Some(rgba(0xe66533ff).into()),
1928 ..Default::default()
1929 },
1930 ),
1931 (
1932 "label".into(),
1933 UserHighlightStyle {
1934 color: Some(rgba(0x49d6e9ff).into()),
1935 ..Default::default()
1936 },
1937 ),
1938 (
1939 "link_text".into(),
1940 UserHighlightStyle {
1941 color: Some(rgba(0x49d6e9ff).into()),
1942 ..Default::default()
1943 },
1944 ),
1945 (
1946 "link_uri".into(),
1947 UserHighlightStyle {
1948 color: Some(rgba(0x49d6e9ff).into()),
1949 ..Default::default()
1950 },
1951 ),
1952 (
1953 "number".into(),
1954 UserHighlightStyle {
1955 color: Some(rgba(0x7060ebff).into()),
1956 ..Default::default()
1957 },
1958 ),
1959 (
1960 "preproc".into(),
1961 UserHighlightStyle {
1962 color: Some(rgba(0xdf769bff).into()),
1963 ..Default::default()
1964 },
1965 ),
1966 (
1967 "property".into(),
1968 UserHighlightStyle {
1969 color: Some(rgba(0x16a3b6ff).into()),
1970 ..Default::default()
1971 },
1972 ),
1973 (
1974 "punctuation".into(),
1975 UserHighlightStyle {
1976 color: Some(rgba(0xb2cacdff).into()),
1977 ..Default::default()
1978 },
1979 ),
1980 (
1981 "punctuation.bracket".into(),
1982 UserHighlightStyle {
1983 color: Some(rgba(0xb2cacdff).into()),
1984 ..Default::default()
1985 },
1986 ),
1987 (
1988 "punctuation.delimiter".into(),
1989 UserHighlightStyle {
1990 color: Some(rgba(0xb2cacdff).into()),
1991 ..Default::default()
1992 },
1993 ),
1994 (
1995 "punctuation.list_marker".into(),
1996 UserHighlightStyle {
1997 color: Some(rgba(0xb2cacdff).into()),
1998 ..Default::default()
1999 },
2000 ),
2001 (
2002 "punctuation.special".into(),
2003 UserHighlightStyle {
2004 color: Some(rgba(0xb2cacdff).into()),
2005 ..Default::default()
2006 },
2007 ),
2008 (
2009 "string".into(),
2010 UserHighlightStyle {
2011 color: Some(rgba(0x49e9a6ff).into()),
2012 ..Default::default()
2013 },
2014 ),
2015 (
2016 "string.escape".into(),
2017 UserHighlightStyle {
2018 color: Some(rgba(0xb2cacdff).into()),
2019 ..Default::default()
2020 },
2021 ),
2022 (
2023 "string.regex".into(),
2024 UserHighlightStyle {
2025 color: Some(rgba(0x49e9a6ff).into()),
2026 ..Default::default()
2027 },
2028 ),
2029 (
2030 "string.special".into(),
2031 UserHighlightStyle {
2032 color: Some(rgba(0x49e9a6ff).into()),
2033 ..Default::default()
2034 },
2035 ),
2036 (
2037 "string.special.symbol".into(),
2038 UserHighlightStyle {
2039 color: Some(rgba(0x49e9a6ff).into()),
2040 ..Default::default()
2041 },
2042 ),
2043 (
2044 "tag".into(),
2045 UserHighlightStyle {
2046 color: Some(rgba(0xe66533ff).into()),
2047 ..Default::default()
2048 },
2049 ),
2050 (
2051 "text.literal".into(),
2052 UserHighlightStyle {
2053 color: Some(rgba(0x49e9a6ff).into()),
2054 ..Default::default()
2055 },
2056 ),
2057 (
2058 "title".into(),
2059 UserHighlightStyle {
2060 color: Some(rgba(0x49d6e9ff).into()),
2061 ..Default::default()
2062 },
2063 ),
2064 (
2065 "type".into(),
2066 UserHighlightStyle {
2067 color: Some(rgba(0xd67e5cff).into()),
2068 ..Default::default()
2069 },
2070 ),
2071 (
2072 "variable".into(),
2073 UserHighlightStyle {
2074 color: Some(rgba(0xe4b781ff).into()),
2075 ..Default::default()
2076 },
2077 ),
2078 (
2079 "variable.special".into(),
2080 UserHighlightStyle {
2081 color: Some(rgba(0xe66533ff).into()),
2082 ..Default::default()
2083 },
2084 ),
2085 ],
2086 }),
2087 },
2088 },
2089 UserTheme {
2090 name: "Noctis Sereno".into(),
2091 appearance: Appearance::Dark,
2092 styles: UserThemeStylesRefinement {
2093 colors: ThemeColorsRefinement {
2094 border: Some(rgba(0x0e6671ff).into()),
2095 border_variant: Some(rgba(0x0e6671ff).into()),
2096 border_focused: Some(rgba(0x062e32ff).into()),
2097 border_selected: Some(rgba(0x0e6671ff).into()),
2098 border_transparent: Some(rgba(0x0e6671ff).into()),
2099 border_disabled: Some(rgba(0x0e6671ff).into()),
2100 elevated_surface_background: Some(rgba(0x020c0eff).into()),
2101 surface_background: Some(rgba(0x020c0eff).into()),
2102 background: Some(rgba(0x031417ff).into()),
2103 element_background: Some(rgba(0x099099ff).into()),
2104 element_hover: Some(rgba(0x0b515bff).into()),
2105 element_selected: Some(rgba(0x0e6671ff).into()),
2106 drop_target_background: Some(rgba(0x00404dff).into()),
2107 ghost_element_hover: Some(rgba(0x0b515bff).into()),
2108 text: Some(rgba(0xb2cacdff).into()),
2109 status_bar_background: Some(rgba(0x031417ff).into()),
2110 title_bar_background: Some(rgba(0x031417ff).into()),
2111 toolbar_background: Some(rgba(0x020c0eff).into()),
2112 tab_bar_background: Some(rgba(0x020c0eff).into()),
2113 tab_inactive_background: Some(rgba(0x062e32ff).into()),
2114 tab_active_background: Some(rgba(0x031417ff).into()),
2115 editor_background: Some(rgba(0x031417ff).into()),
2116 editor_gutter_background: Some(rgba(0x031417ff).into()),
2117 editor_line_number: Some(rgba(0x4e6b6eff).into()),
2118 editor_active_line_number: Some(rgba(0xb2cacdff).into()),
2119 terminal_background: Some(rgba(0x020c0eff).into()),
2120 terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
2121 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2122 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2123 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2124 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2125 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2126 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2127 terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
2128 terminal_ansi_black: Some(rgba(0x324a4dff).into()),
2129 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2130 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2131 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2132 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2133 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2134 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2135 terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
2136 ..Default::default()
2137 },
2138 status: StatusColorsRefinement {
2139 deleted: Some(rgba(0xe34e1cff).into()),
2140 error: Some(rgba(0xe34e1cff).into()),
2141 hidden: Some(rgba(0x87a7abff).into()),
2142 hint: Some(rgba(0x969696ff).into()),
2143 warning: Some(rgba(0xffa487ff).into()),
2144 ..Default::default()
2145 },
2146 syntax: Some(UserSyntaxTheme {
2147 highlights: vec![
2148 (
2149 "boolean".into(),
2150 UserHighlightStyle {
2151 color: Some(rgba(0x7060ebff).into()),
2152 ..Default::default()
2153 },
2154 ),
2155 (
2156 "comment".into(),
2157 UserHighlightStyle {
2158 color: Some(rgba(0x5b858bff).into()),
2159 ..Default::default()
2160 },
2161 ),
2162 (
2163 "comment.doc".into(),
2164 UserHighlightStyle {
2165 color: Some(rgba(0x5b858bff).into()),
2166 ..Default::default()
2167 },
2168 ),
2169 (
2170 "constant".into(),
2171 UserHighlightStyle {
2172 color: Some(rgba(0xb2cacdff).into()),
2173 ..Default::default()
2174 },
2175 ),
2176 (
2177 "function".into(),
2178 UserHighlightStyle {
2179 color: Some(rgba(0x16a3b6ff).into()),
2180 ..Default::default()
2181 },
2182 ),
2183 (
2184 "keyword".into(),
2185 UserHighlightStyle {
2186 color: Some(rgba(0xe66533ff).into()),
2187 ..Default::default()
2188 },
2189 ),
2190 (
2191 "label".into(),
2192 UserHighlightStyle {
2193 color: Some(rgba(0x49d6e9ff).into()),
2194 ..Default::default()
2195 },
2196 ),
2197 (
2198 "link_text".into(),
2199 UserHighlightStyle {
2200 color: Some(rgba(0x49d6e9ff).into()),
2201 ..Default::default()
2202 },
2203 ),
2204 (
2205 "link_uri".into(),
2206 UserHighlightStyle {
2207 color: Some(rgba(0x49d6e9ff).into()),
2208 ..Default::default()
2209 },
2210 ),
2211 (
2212 "number".into(),
2213 UserHighlightStyle {
2214 color: Some(rgba(0x7060ebff).into()),
2215 ..Default::default()
2216 },
2217 ),
2218 (
2219 "preproc".into(),
2220 UserHighlightStyle {
2221 color: Some(rgba(0xdf769bff).into()),
2222 ..Default::default()
2223 },
2224 ),
2225 (
2226 "property".into(),
2227 UserHighlightStyle {
2228 color: Some(rgba(0x16a3b6ff).into()),
2229 ..Default::default()
2230 },
2231 ),
2232 (
2233 "punctuation".into(),
2234 UserHighlightStyle {
2235 color: Some(rgba(0xb2cacdff).into()),
2236 ..Default::default()
2237 },
2238 ),
2239 (
2240 "punctuation.bracket".into(),
2241 UserHighlightStyle {
2242 color: Some(rgba(0xb2cacdff).into()),
2243 ..Default::default()
2244 },
2245 ),
2246 (
2247 "punctuation.delimiter".into(),
2248 UserHighlightStyle {
2249 color: Some(rgba(0xb2cacdff).into()),
2250 ..Default::default()
2251 },
2252 ),
2253 (
2254 "punctuation.list_marker".into(),
2255 UserHighlightStyle {
2256 color: Some(rgba(0xb2cacdff).into()),
2257 ..Default::default()
2258 },
2259 ),
2260 (
2261 "punctuation.special".into(),
2262 UserHighlightStyle {
2263 color: Some(rgba(0xb2cacdff).into()),
2264 ..Default::default()
2265 },
2266 ),
2267 (
2268 "string".into(),
2269 UserHighlightStyle {
2270 color: Some(rgba(0x49e9a6ff).into()),
2271 ..Default::default()
2272 },
2273 ),
2274 (
2275 "string.escape".into(),
2276 UserHighlightStyle {
2277 color: Some(rgba(0xb2cacdff).into()),
2278 ..Default::default()
2279 },
2280 ),
2281 (
2282 "string.regex".into(),
2283 UserHighlightStyle {
2284 color: Some(rgba(0x49e9a6ff).into()),
2285 ..Default::default()
2286 },
2287 ),
2288 (
2289 "string.special".into(),
2290 UserHighlightStyle {
2291 color: Some(rgba(0x49e9a6ff).into()),
2292 ..Default::default()
2293 },
2294 ),
2295 (
2296 "string.special.symbol".into(),
2297 UserHighlightStyle {
2298 color: Some(rgba(0x49e9a6ff).into()),
2299 ..Default::default()
2300 },
2301 ),
2302 (
2303 "tag".into(),
2304 UserHighlightStyle {
2305 color: Some(rgba(0xe66533ff).into()),
2306 ..Default::default()
2307 },
2308 ),
2309 (
2310 "text.literal".into(),
2311 UserHighlightStyle {
2312 color: Some(rgba(0x49e9a6ff).into()),
2313 ..Default::default()
2314 },
2315 ),
2316 (
2317 "title".into(),
2318 UserHighlightStyle {
2319 color: Some(rgba(0x49d6e9ff).into()),
2320 ..Default::default()
2321 },
2322 ),
2323 (
2324 "type".into(),
2325 UserHighlightStyle {
2326 color: Some(rgba(0xd67e5cff).into()),
2327 ..Default::default()
2328 },
2329 ),
2330 (
2331 "variable".into(),
2332 UserHighlightStyle {
2333 color: Some(rgba(0xe4b781ff).into()),
2334 ..Default::default()
2335 },
2336 ),
2337 (
2338 "variable.special".into(),
2339 UserHighlightStyle {
2340 color: Some(rgba(0xe66533ff).into()),
2341 ..Default::default()
2342 },
2343 ),
2344 ],
2345 }),
2346 },
2347 },
2348 UserTheme {
2349 name: "Noctis Uva".into(),
2350 appearance: Appearance::Dark,
2351 styles: UserThemeStylesRefinement {
2352 colors: ThemeColorsRefinement {
2353 border: Some(rgba(0x6e67a8ff).into()),
2354 border_variant: Some(rgba(0x6e67a8ff).into()),
2355 border_focused: Some(rgba(0x2f2c49ff).into()),
2356 border_selected: Some(rgba(0x6e67a8ff).into()),
2357 border_transparent: Some(rgba(0x6e67a8ff).into()),
2358 border_disabled: Some(rgba(0x6e67a8ff).into()),
2359 elevated_surface_background: Some(rgba(0x1f1d30ff).into()),
2360 surface_background: Some(rgba(0x1f1d30ff).into()),
2361 background: Some(rgba(0x292640ff).into()),
2362 element_background: Some(rgba(0x007f99ff).into()),
2363 element_hover: Some(rgba(0x383866ff).into()),
2364 element_selected: Some(rgba(0x332e5cff).into()),
2365 drop_target_background: Some(rgba(0x202040ff).into()),
2366 ghost_element_hover: Some(rgba(0x383866ff).into()),
2367 text: Some(rgba(0xc5c2d6ff).into()),
2368 status_bar_background: Some(rgba(0x292640ff).into()),
2369 title_bar_background: Some(rgba(0x292640ff).into()),
2370 toolbar_background: Some(rgba(0x1f1d30ff).into()),
2371 tab_bar_background: Some(rgba(0x1f1d30ff).into()),
2372 tab_inactive_background: Some(rgba(0x2f2c49ff).into()),
2373 tab_active_background: Some(rgba(0x292640ff).into()),
2374 editor_background: Some(rgba(0x292640ff).into()),
2375 editor_gutter_background: Some(rgba(0x292640ff).into()),
2376 editor_line_number: Some(rgba(0x5c5973ff).into()),
2377 editor_active_line_number: Some(rgba(0xc5c2d6ff).into()),
2378 terminal_background: Some(rgba(0x1f1d30ff).into()),
2379 terminal_ansi_bright_black: Some(rgba(0x504e65ff).into()),
2380 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2381 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2382 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2383 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2384 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2385 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2386 terminal_ansi_bright_white: Some(rgba(0xc5c2d6ff).into()),
2387 terminal_ansi_black: Some(rgba(0x302f3dff).into()),
2388 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2389 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2390 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2391 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2392 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2393 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2394 terminal_ansi_white: Some(rgba(0xb6b3ccff).into()),
2395 ..Default::default()
2396 },
2397 status: StatusColorsRefinement {
2398 deleted: Some(rgba(0xe34e1cff).into()),
2399 error: Some(rgba(0xe34e1cff).into()),
2400 hidden: Some(rgba(0xa9a5c0ff).into()),
2401 hint: Some(rgba(0x969696ff).into()),
2402 warning: Some(rgba(0xffa857ff).into()),
2403 ..Default::default()
2404 },
2405 syntax: Some(UserSyntaxTheme {
2406 highlights: vec![
2407 (
2408 "boolean".into(),
2409 UserHighlightStyle {
2410 color: Some(rgba(0x7060ebff).into()),
2411 ..Default::default()
2412 },
2413 ),
2414 (
2415 "comment".into(),
2416 UserHighlightStyle {
2417 color: Some(rgba(0x716c93ff).into()),
2418 ..Default::default()
2419 },
2420 ),
2421 (
2422 "comment.doc".into(),
2423 UserHighlightStyle {
2424 color: Some(rgba(0x716c93ff).into()),
2425 ..Default::default()
2426 },
2427 ),
2428 (
2429 "constant".into(),
2430 UserHighlightStyle {
2431 color: Some(rgba(0xc5c2d6ff).into()),
2432 ..Default::default()
2433 },
2434 ),
2435 (
2436 "function".into(),
2437 UserHighlightStyle {
2438 color: Some(rgba(0x16a3b6ff).into()),
2439 ..Default::default()
2440 },
2441 ),
2442 (
2443 "keyword".into(),
2444 UserHighlightStyle {
2445 color: Some(rgba(0xe66533ff).into()),
2446 ..Default::default()
2447 },
2448 ),
2449 (
2450 "label".into(),
2451 UserHighlightStyle {
2452 color: Some(rgba(0x49d6e9ff).into()),
2453 ..Default::default()
2454 },
2455 ),
2456 (
2457 "link_text".into(),
2458 UserHighlightStyle {
2459 color: Some(rgba(0x49d6e9ff).into()),
2460 ..Default::default()
2461 },
2462 ),
2463 (
2464 "link_uri".into(),
2465 UserHighlightStyle {
2466 color: Some(rgba(0x49d6e9ff).into()),
2467 ..Default::default()
2468 },
2469 ),
2470 (
2471 "number".into(),
2472 UserHighlightStyle {
2473 color: Some(rgba(0x7060ebff).into()),
2474 ..Default::default()
2475 },
2476 ),
2477 (
2478 "preproc".into(),
2479 UserHighlightStyle {
2480 color: Some(rgba(0xdf769bff).into()),
2481 ..Default::default()
2482 },
2483 ),
2484 (
2485 "property".into(),
2486 UserHighlightStyle {
2487 color: Some(rgba(0x16a3b6ff).into()),
2488 ..Default::default()
2489 },
2490 ),
2491 (
2492 "punctuation".into(),
2493 UserHighlightStyle {
2494 color: Some(rgba(0xc5c2d6ff).into()),
2495 ..Default::default()
2496 },
2497 ),
2498 (
2499 "punctuation.bracket".into(),
2500 UserHighlightStyle {
2501 color: Some(rgba(0xc5c2d6ff).into()),
2502 ..Default::default()
2503 },
2504 ),
2505 (
2506 "punctuation.delimiter".into(),
2507 UserHighlightStyle {
2508 color: Some(rgba(0xc5c2d6ff).into()),
2509 ..Default::default()
2510 },
2511 ),
2512 (
2513 "punctuation.list_marker".into(),
2514 UserHighlightStyle {
2515 color: Some(rgba(0xc5c2d6ff).into()),
2516 ..Default::default()
2517 },
2518 ),
2519 (
2520 "punctuation.special".into(),
2521 UserHighlightStyle {
2522 color: Some(rgba(0xc5c2d6ff).into()),
2523 ..Default::default()
2524 },
2525 ),
2526 (
2527 "string".into(),
2528 UserHighlightStyle {
2529 color: Some(rgba(0x49e9a6ff).into()),
2530 ..Default::default()
2531 },
2532 ),
2533 (
2534 "string.escape".into(),
2535 UserHighlightStyle {
2536 color: Some(rgba(0xc5c2d6ff).into()),
2537 ..Default::default()
2538 },
2539 ),
2540 (
2541 "string.regex".into(),
2542 UserHighlightStyle {
2543 color: Some(rgba(0x49e9a6ff).into()),
2544 ..Default::default()
2545 },
2546 ),
2547 (
2548 "string.special".into(),
2549 UserHighlightStyle {
2550 color: Some(rgba(0x49e9a6ff).into()),
2551 ..Default::default()
2552 },
2553 ),
2554 (
2555 "string.special.symbol".into(),
2556 UserHighlightStyle {
2557 color: Some(rgba(0x49e9a6ff).into()),
2558 ..Default::default()
2559 },
2560 ),
2561 (
2562 "tag".into(),
2563 UserHighlightStyle {
2564 color: Some(rgba(0xe66533ff).into()),
2565 ..Default::default()
2566 },
2567 ),
2568 (
2569 "text.literal".into(),
2570 UserHighlightStyle {
2571 color: Some(rgba(0x49e9a6ff).into()),
2572 ..Default::default()
2573 },
2574 ),
2575 (
2576 "title".into(),
2577 UserHighlightStyle {
2578 color: Some(rgba(0x49d6e9ff).into()),
2579 ..Default::default()
2580 },
2581 ),
2582 (
2583 "type".into(),
2584 UserHighlightStyle {
2585 color: Some(rgba(0xd67e5cff).into()),
2586 ..Default::default()
2587 },
2588 ),
2589 (
2590 "variable".into(),
2591 UserHighlightStyle {
2592 color: Some(rgba(0xe4b781ff).into()),
2593 ..Default::default()
2594 },
2595 ),
2596 (
2597 "variable.special".into(),
2598 UserHighlightStyle {
2599 color: Some(rgba(0xe66533ff).into()),
2600 ..Default::default()
2601 },
2602 ),
2603 ],
2604 }),
2605 },
2606 },
2607 UserTheme {
2608 name: "Noctis Viola".into(),
2609 appearance: Appearance::Dark,
2610 styles: UserThemeStylesRefinement {
2611 colors: ThemeColorsRefinement {
2612 border: Some(rgba(0x8767a8ff).into()),
2613 border_variant: Some(rgba(0x8767a8ff).into()),
2614 border_focused: Some(rgba(0x3d2e4dff).into()),
2615 border_selected: Some(rgba(0x8767a8ff).into()),
2616 border_transparent: Some(rgba(0x8767a8ff).into()),
2617 border_disabled: Some(rgba(0x8767a8ff).into()),
2618 elevated_surface_background: Some(rgba(0x291d35ff).into()),
2619 surface_background: Some(rgba(0x291d35ff).into()),
2620 background: Some(rgba(0x30243dff).into()),
2621 element_background: Some(rgba(0x007f99ff).into()),
2622 element_hover: Some(rgba(0x6a448dff).into()),
2623 element_selected: Some(rgba(0x472e60ff).into()),
2624 drop_target_background: Some(rgba(0x302040ff).into()),
2625 ghost_element_hover: Some(rgba(0x6a448dff).into()),
2626 text: Some(rgba(0xccbfd9ff).into()),
2627 status_bar_background: Some(rgba(0x30243dff).into()),
2628 title_bar_background: Some(rgba(0x30243dff).into()),
2629 toolbar_background: Some(rgba(0x291d35ff).into()),
2630 tab_bar_background: Some(rgba(0x291d35ff).into()),
2631 tab_inactive_background: Some(rgba(0x3d2e4dff).into()),
2632 tab_active_background: Some(rgba(0x30243dff).into()),
2633 editor_background: Some(rgba(0x30243dff).into()),
2634 editor_gutter_background: Some(rgba(0x30243dff).into()),
2635 editor_line_number: Some(rgba(0x665973ff).into()),
2636 editor_active_line_number: Some(rgba(0xccbfd9ff).into()),
2637 terminal_background: Some(rgba(0x291d35ff).into()),
2638 terminal_ansi_bright_black: Some(rgba(0x594e65ff).into()),
2639 terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2640 terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2641 terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2642 terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2643 terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2644 terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2645 terminal_ansi_bright_white: Some(rgba(0xccbfd9ff).into()),
2646 terminal_ansi_black: Some(rgba(0x362f3dff).into()),
2647 terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2648 terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2649 terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2650 terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2651 terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2652 terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2653 terminal_ansi_white: Some(rgba(0xbfafcfff).into()),
2654 ..Default::default()
2655 },
2656 status: StatusColorsRefinement {
2657 deleted: Some(rgba(0xe34e1cff).into()),
2658 error: Some(rgba(0xe34e1cff).into()),
2659 hidden: Some(rgba(0xb3a5c0ff).into()),
2660 hint: Some(rgba(0x969696ff).into()),
2661 warning: Some(rgba(0xffa857ff).into()),
2662 ..Default::default()
2663 },
2664 syntax: Some(UserSyntaxTheme {
2665 highlights: vec![
2666 (
2667 "boolean".into(),
2668 UserHighlightStyle {
2669 color: Some(rgba(0x7060ebff).into()),
2670 ..Default::default()
2671 },
2672 ),
2673 (
2674 "comment".into(),
2675 UserHighlightStyle {
2676 color: Some(rgba(0x7f659aff).into()),
2677 ..Default::default()
2678 },
2679 ),
2680 (
2681 "comment.doc".into(),
2682 UserHighlightStyle {
2683 color: Some(rgba(0x7f659aff).into()),
2684 ..Default::default()
2685 },
2686 ),
2687 (
2688 "constant".into(),
2689 UserHighlightStyle {
2690 color: Some(rgba(0xccbfd9ff).into()),
2691 ..Default::default()
2692 },
2693 ),
2694 (
2695 "function".into(),
2696 UserHighlightStyle {
2697 color: Some(rgba(0x16a3b6ff).into()),
2698 ..Default::default()
2699 },
2700 ),
2701 (
2702 "keyword".into(),
2703 UserHighlightStyle {
2704 color: Some(rgba(0xe66533ff).into()),
2705 ..Default::default()
2706 },
2707 ),
2708 (
2709 "label".into(),
2710 UserHighlightStyle {
2711 color: Some(rgba(0x49d6e9ff).into()),
2712 ..Default::default()
2713 },
2714 ),
2715 (
2716 "link_text".into(),
2717 UserHighlightStyle {
2718 color: Some(rgba(0x49d6e9ff).into()),
2719 ..Default::default()
2720 },
2721 ),
2722 (
2723 "link_uri".into(),
2724 UserHighlightStyle {
2725 color: Some(rgba(0x49d6e9ff).into()),
2726 ..Default::default()
2727 },
2728 ),
2729 (
2730 "number".into(),
2731 UserHighlightStyle {
2732 color: Some(rgba(0x7060ebff).into()),
2733 ..Default::default()
2734 },
2735 ),
2736 (
2737 "preproc".into(),
2738 UserHighlightStyle {
2739 color: Some(rgba(0xdf769bff).into()),
2740 ..Default::default()
2741 },
2742 ),
2743 (
2744 "property".into(),
2745 UserHighlightStyle {
2746 color: Some(rgba(0x16a3b6ff).into()),
2747 ..Default::default()
2748 },
2749 ),
2750 (
2751 "punctuation".into(),
2752 UserHighlightStyle {
2753 color: Some(rgba(0xccbfd9ff).into()),
2754 ..Default::default()
2755 },
2756 ),
2757 (
2758 "punctuation.bracket".into(),
2759 UserHighlightStyle {
2760 color: Some(rgba(0xccbfd9ff).into()),
2761 ..Default::default()
2762 },
2763 ),
2764 (
2765 "punctuation.delimiter".into(),
2766 UserHighlightStyle {
2767 color: Some(rgba(0xccbfd9ff).into()),
2768 ..Default::default()
2769 },
2770 ),
2771 (
2772 "punctuation.list_marker".into(),
2773 UserHighlightStyle {
2774 color: Some(rgba(0xccbfd9ff).into()),
2775 ..Default::default()
2776 },
2777 ),
2778 (
2779 "punctuation.special".into(),
2780 UserHighlightStyle {
2781 color: Some(rgba(0xccbfd9ff).into()),
2782 ..Default::default()
2783 },
2784 ),
2785 (
2786 "string".into(),
2787 UserHighlightStyle {
2788 color: Some(rgba(0x49e9a6ff).into()),
2789 ..Default::default()
2790 },
2791 ),
2792 (
2793 "string.escape".into(),
2794 UserHighlightStyle {
2795 color: Some(rgba(0xccbfd9ff).into()),
2796 ..Default::default()
2797 },
2798 ),
2799 (
2800 "string.regex".into(),
2801 UserHighlightStyle {
2802 color: Some(rgba(0x49e9a6ff).into()),
2803 ..Default::default()
2804 },
2805 ),
2806 (
2807 "string.special".into(),
2808 UserHighlightStyle {
2809 color: Some(rgba(0x49e9a6ff).into()),
2810 ..Default::default()
2811 },
2812 ),
2813 (
2814 "string.special.symbol".into(),
2815 UserHighlightStyle {
2816 color: Some(rgba(0x49e9a6ff).into()),
2817 ..Default::default()
2818 },
2819 ),
2820 (
2821 "tag".into(),
2822 UserHighlightStyle {
2823 color: Some(rgba(0xe66533ff).into()),
2824 ..Default::default()
2825 },
2826 ),
2827 (
2828 "text.literal".into(),
2829 UserHighlightStyle {
2830 color: Some(rgba(0x49e9a6ff).into()),
2831 ..Default::default()
2832 },
2833 ),
2834 (
2835 "title".into(),
2836 UserHighlightStyle {
2837 color: Some(rgba(0x49d6e9ff).into()),
2838 ..Default::default()
2839 },
2840 ),
2841 (
2842 "type".into(),
2843 UserHighlightStyle {
2844 color: Some(rgba(0xd67e5cff).into()),
2845 ..Default::default()
2846 },
2847 ),
2848 (
2849 "variable".into(),
2850 UserHighlightStyle {
2851 color: Some(rgba(0xe4b781ff).into()),
2852 ..Default::default()
2853 },
2854 ),
2855 (
2856 "variable.special".into(),
2857 UserHighlightStyle {
2858 color: Some(rgba(0xe66533ff).into()),
2859 ..Default::default()
2860 },
2861 ),
2862 ],
2863 }),
2864 },
2865 },
2866 ],
2867 }
2868}