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