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