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