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