solarized.rs

  1// This file was generated by the `theme_importer`.
  2// Be careful when modifying it by hand.
  3
  4use gpui::rgba;
  5
  6#[allow(unused)]
  7use crate::{
  8    Appearance, StatusColorsRefinement, ThemeColorsRefinement, UserFontStyle, UserFontWeight,
  9    UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
 10};
 11
 12pub fn solarized() -> UserThemeFamily {
 13    UserThemeFamily {
 14        name: "Solarized".into(),
 15        author: "Ethan Schoonover (altercation)".into(),
 16        themes: vec![
 17            UserTheme {
 18                name: "Solarized Dark".into(),
 19                appearance: Appearance::Dark,
 20                styles: UserThemeStylesRefinement {
 21                    colors: ThemeColorsRefinement {
 22                        border: Some(rgba(0x003847ff).into()),
 23                        border_variant: Some(rgba(0x003847ff).into()),
 24                        border_focused: Some(rgba(0x2aa19899).into()),
 25                        border_selected: Some(rgba(0x003847ff).into()),
 26                        border_transparent: Some(rgba(0x003847ff).into()),
 27                        border_disabled: Some(rgba(0x003847ff).into()),
 28                        elevated_surface_background: Some(rgba(0x00212bff).into()),
 29                        background: Some(rgba(0x002b36ff).into()),
 30                        element_background: Some(rgba(0x2aa19899).into()),
 31                        element_hover: Some(rgba(0x004454aa).into()),
 32                        element_selected: Some(rgba(0x005a6fff).into()),
 33                        drop_target_background: Some(rgba(0x00445488).into()),
 34                        ghost_element_hover: Some(rgba(0x004454aa).into()),
 35                        ghost_element_selected: Some(rgba(0x005a6fff).into()),
 36                        text: Some(rgba(0xbbbbbbff).into()),
 37                        text_muted: Some(rgba(0x93a1a1ff).into()),
 38                        status_bar_background: Some(rgba(0x00212bff).into()),
 39                        title_bar_background: Some(rgba(0x002c39ff).into()),
 40                        toolbar_background: Some(rgba(0x002b36ff).into()),
 41                        tab_bar_background: Some(rgba(0x004052ff).into()),
 42                        tab_inactive_background: Some(rgba(0x004052ff).into()),
 43                        tab_active_background: Some(rgba(0x002b37ff).into()),
 44                        scrollbar_track_background: Some(rgba(0x002b36ff).into()),
 45                        editor_foreground: Some(rgba(0xbbbbbbff).into()),
 46                        editor_background: Some(rgba(0x002b36ff).into()),
 47                        editor_gutter_background: Some(rgba(0x002b36ff).into()),
 48                        editor_line_number: Some(rgba(0x566c74ff).into()),
 49                        editor_wrap_guide: Some(rgba(0x003847ff).into()),
 50                        editor_active_wrap_guide: Some(rgba(0x003847ff).into()),
 51                        terminal_ansi_bright_black: Some(rgba(0x586e75ff).into()),
 52                        terminal_ansi_bright_red: Some(rgba(0xcb4b16ff).into()),
 53                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
 54                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
 55                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
 56                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
 57                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
 58                        terminal_ansi_bright_white: Some(rgba(0x839496ff).into()),
 59                        terminal_ansi_black: Some(rgba(0x073642ff).into()),
 60                        terminal_ansi_red: Some(rgba(0xdc322fff).into()),
 61                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
 62                        terminal_ansi_yellow: Some(rgba(0xb58900ff).into()),
 63                        terminal_ansi_blue: Some(rgba(0x268bd2ff).into()),
 64                        terminal_ansi_magenta: Some(rgba(0xd33682ff).into()),
 65                        terminal_ansi_cyan: Some(rgba(0x2aa198ff).into()),
 66                        terminal_ansi_white: Some(rgba(0x839496ff).into()),
 67                        ..Default::default()
 68                    },
 69                    status: StatusColorsRefinement {
 70                        error: Some(rgba(0xffeaeaff).into()),
 71                        hidden: Some(rgba(0x93a1a1ff).into()),
 72                        hint: Some(rgba(0x969696ff).into()),
 73                        ..Default::default()
 74                    },
 75                    syntax: Some(UserSyntaxTheme {
 76                        highlights: vec![
 77                            (
 78                                "attribute".into(),
 79                                UserHighlightStyle {
 80                                    color: Some(rgba(0x93a1a1ff).into()),
 81                                    ..Default::default()
 82                                },
 83                            ),
 84                            (
 85                                "boolean".into(),
 86                                UserHighlightStyle {
 87                                    color: Some(rgba(0xb58900ff).into()),
 88                                    ..Default::default()
 89                                },
 90                            ),
 91                            (
 92                                "comment".into(),
 93                                UserHighlightStyle {
 94                                    color: Some(rgba(0x657b83ff).into()),
 95                                    font_style: Some(UserFontStyle::Italic),
 96                                    ..Default::default()
 97                                },
 98                            ),
 99                            (
100                                "comment.doc".into(),
101                                UserHighlightStyle {
102                                    color: Some(rgba(0x657b83ff).into()),
103                                    font_style: Some(UserFontStyle::Italic),
104                                    ..Default::default()
105                                },
106                            ),
107                            (
108                                "constant".into(),
109                                UserHighlightStyle {
110                                    color: Some(rgba(0xb58900ff).into()),
111                                    ..Default::default()
112                                },
113                            ),
114                            (
115                                "constructor".into(),
116                                UserHighlightStyle {
117                                    color: Some(rgba(0x268bd2ff).into()),
118                                    ..Default::default()
119                                },
120                            ),
121                            (
122                                "embedded".into(),
123                                UserHighlightStyle {
124                                    color: Some(rgba(0x93a1a1ff).into()),
125                                    ..Default::default()
126                                },
127                            ),
128                            (
129                                "emphasis".into(),
130                                UserHighlightStyle {
131                                    color: Some(rgba(0xd33682ff).into()),
132                                    ..Default::default()
133                                },
134                            ),
135                            (
136                                "emphasis.strong".into(),
137                                UserHighlightStyle {
138                                    color: Some(rgba(0xd33682ff).into()),
139                                    ..Default::default()
140                                },
141                            ),
142                            (
143                                "function".into(),
144                                UserHighlightStyle {
145                                    color: Some(rgba(0x839496ff).into()),
146                                    ..Default::default()
147                                },
148                            ),
149                            (
150                                "keyword".into(),
151                                UserHighlightStyle {
152                                    color: Some(rgba(0x859900ff).into()),
153                                    ..Default::default()
154                                },
155                            ),
156                            (
157                                "number".into(),
158                                UserHighlightStyle {
159                                    color: Some(rgba(0xd33682ff).into()),
160                                    ..Default::default()
161                                },
162                            ),
163                            (
164                                "preproc".into(),
165                                UserHighlightStyle {
166                                    color: Some(rgba(0xb58900ff).into()),
167                                    ..Default::default()
168                                },
169                            ),
170                            (
171                                "property".into(),
172                                UserHighlightStyle {
173                                    color: Some(rgba(0x839496ff).into()),
174                                    ..Default::default()
175                                },
176                            ),
177                            (
178                                "punctuation".into(),
179                                UserHighlightStyle {
180                                    color: Some(rgba(0x657b83ff).into()),
181                                    ..Default::default()
182                                },
183                            ),
184                            (
185                                "punctuation.bracket".into(),
186                                UserHighlightStyle {
187                                    color: Some(rgba(0x657b83ff).into()),
188                                    ..Default::default()
189                                },
190                            ),
191                            (
192                                "punctuation.delimiter".into(),
193                                UserHighlightStyle {
194                                    color: Some(rgba(0x657b83ff).into()),
195                                    ..Default::default()
196                                },
197                            ),
198                            (
199                                "punctuation.list_marker".into(),
200                                UserHighlightStyle {
201                                    color: Some(rgba(0x657b83ff).into()),
202                                    ..Default::default()
203                                },
204                            ),
205                            (
206                                "punctuation.special".into(),
207                                UserHighlightStyle {
208                                    color: Some(rgba(0x657b83ff).into()),
209                                    ..Default::default()
210                                },
211                            ),
212                            (
213                                "string".into(),
214                                UserHighlightStyle {
215                                    color: Some(rgba(0x2aa198ff).into()),
216                                    ..Default::default()
217                                },
218                            ),
219                            (
220                                "string.escape".into(),
221                                UserHighlightStyle {
222                                    color: Some(rgba(0xcb4b16ff).into()),
223                                    ..Default::default()
224                                },
225                            ),
226                            (
227                                "string.regex".into(),
228                                UserHighlightStyle {
229                                    color: Some(rgba(0x2aa198ff).into()),
230                                    ..Default::default()
231                                },
232                            ),
233                            (
234                                "string.special".into(),
235                                UserHighlightStyle {
236                                    color: Some(rgba(0x2aa198ff).into()),
237                                    ..Default::default()
238                                },
239                            ),
240                            (
241                                "string.special.symbol".into(),
242                                UserHighlightStyle {
243                                    color: Some(rgba(0x2aa198ff).into()),
244                                    ..Default::default()
245                                },
246                            ),
247                            (
248                                "tag".into(),
249                                UserHighlightStyle {
250                                    color: Some(rgba(0x268bd2ff).into()),
251                                    ..Default::default()
252                                },
253                            ),
254                            (
255                                "text.literal".into(),
256                                UserHighlightStyle {
257                                    color: Some(rgba(0x2aa198ff).into()),
258                                    ..Default::default()
259                                },
260                            ),
261                            (
262                                "type".into(),
263                                UserHighlightStyle {
264                                    color: Some(rgba(0xb58900ff).into()),
265                                    ..Default::default()
266                                },
267                            ),
268                            (
269                                "variable".into(),
270                                UserHighlightStyle {
271                                    color: Some(rgba(0x268bd2ff).into()),
272                                    ..Default::default()
273                                },
274                            ),
275                            (
276                                "variable.special".into(),
277                                UserHighlightStyle {
278                                    color: Some(rgba(0x268bd2ff).into()),
279                                    ..Default::default()
280                                },
281                            ),
282                        ],
283                    }),
284                },
285            },
286            UserTheme {
287                name: "Solarized Light".into(),
288                appearance: Appearance::Light,
289                styles: UserThemeStylesRefinement {
290                    colors: ThemeColorsRefinement {
291                        border: Some(rgba(0xddd6c1ff).into()),
292                        border_variant: Some(rgba(0xddd6c1ff).into()),
293                        border_focused: Some(rgba(0xd3af86ff).into()),
294                        border_selected: Some(rgba(0xddd6c1ff).into()),
295                        border_transparent: Some(rgba(0xddd6c1ff).into()),
296                        border_disabled: Some(rgba(0xddd6c1ff).into()),
297                        elevated_surface_background: Some(rgba(0xeee8d5ff).into()),
298                        background: Some(rgba(0xfdf6e3ff).into()),
299                        element_background: Some(rgba(0xac9d57ff).into()),
300                        element_hover: Some(rgba(0xdfca8844).into()),
301                        element_selected: Some(rgba(0xdfca88ff).into()),
302                        ghost_element_hover: Some(rgba(0xdfca8844).into()),
303                        ghost_element_selected: Some(rgba(0xdfca88ff).into()),
304                        text: Some(rgba(0x333333ff).into()),
305                        text_muted: Some(rgba(0x586e75ff).into()),
306                        status_bar_background: Some(rgba(0xeee8d5ff).into()),
307                        title_bar_background: Some(rgba(0xeee8d5ff).into()),
308                        toolbar_background: Some(rgba(0xfdf6e3ff).into()),
309                        tab_bar_background: Some(rgba(0xd9d2c2ff).into()),
310                        tab_inactive_background: Some(rgba(0xd3cbb7ff).into()),
311                        tab_active_background: Some(rgba(0xfdf6e3ff).into()),
312                        scrollbar_track_background: Some(rgba(0xfdf6e3ff).into()),
313                        editor_foreground: Some(rgba(0x333333ff).into()),
314                        editor_background: Some(rgba(0xfdf6e3ff).into()),
315                        editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
316                        editor_line_number: Some(rgba(0x9ca8a6ff).into()),
317                        editor_wrap_guide: Some(rgba(0xddd6c1ff).into()),
318                        editor_active_wrap_guide: Some(rgba(0xddd6c1ff).into()),
319                        terminal_ansi_bright_black: Some(rgba(0x657b83ff).into()),
320                        terminal_ansi_bright_red: Some(rgba(0xcb4b16ff).into()),
321                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
322                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
323                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
324                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
325                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
326                        terminal_ansi_bright_white: Some(rgba(0xeee8d5ff).into()),
327                        terminal_ansi_black: Some(rgba(0x657b83ff).into()),
328                        terminal_ansi_red: Some(rgba(0xdc322fff).into()),
329                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
330                        terminal_ansi_yellow: Some(rgba(0xb58900ff).into()),
331                        terminal_ansi_blue: Some(rgba(0x268bd2ff).into()),
332                        terminal_ansi_magenta: Some(rgba(0xd33682ff).into()),
333                        terminal_ansi_cyan: Some(rgba(0x2aa198ff).into()),
334                        terminal_ansi_white: Some(rgba(0xeee8d5ff).into()),
335                        ..Default::default()
336                    },
337                    status: StatusColorsRefinement {
338                        hidden: Some(rgba(0x586e75ff).into()),
339                        hint: Some(rgba(0x969696ff).into()),
340                        ..Default::default()
341                    },
342                    syntax: Some(UserSyntaxTheme {
343                        highlights: vec![
344                            (
345                                "attribute".into(),
346                                UserHighlightStyle {
347                                    color: Some(rgba(0x93a1a1ff).into()),
348                                    ..Default::default()
349                                },
350                            ),
351                            (
352                                "boolean".into(),
353                                UserHighlightStyle {
354                                    color: Some(rgba(0xb58900ff).into()),
355                                    ..Default::default()
356                                },
357                            ),
358                            (
359                                "comment".into(),
360                                UserHighlightStyle {
361                                    color: Some(rgba(0x93a1a1ff).into()),
362                                    font_style: Some(UserFontStyle::Italic),
363                                    ..Default::default()
364                                },
365                            ),
366                            (
367                                "comment.doc".into(),
368                                UserHighlightStyle {
369                                    color: Some(rgba(0x93a1a1ff).into()),
370                                    font_style: Some(UserFontStyle::Italic),
371                                    ..Default::default()
372                                },
373                            ),
374                            (
375                                "constant".into(),
376                                UserHighlightStyle {
377                                    color: Some(rgba(0xb58900ff).into()),
378                                    ..Default::default()
379                                },
380                            ),
381                            (
382                                "constructor".into(),
383                                UserHighlightStyle {
384                                    color: Some(rgba(0x268bd2ff).into()),
385                                    ..Default::default()
386                                },
387                            ),
388                            (
389                                "embedded".into(),
390                                UserHighlightStyle {
391                                    color: Some(rgba(0x657b83ff).into()),
392                                    ..Default::default()
393                                },
394                            ),
395                            (
396                                "emphasis".into(),
397                                UserHighlightStyle {
398                                    color: Some(rgba(0xd33682ff).into()),
399                                    ..Default::default()
400                                },
401                            ),
402                            (
403                                "emphasis.strong".into(),
404                                UserHighlightStyle {
405                                    color: Some(rgba(0xd33682ff).into()),
406                                    ..Default::default()
407                                },
408                            ),
409                            (
410                                "function".into(),
411                                UserHighlightStyle {
412                                    color: Some(rgba(0x657b83ff).into()),
413                                    ..Default::default()
414                                },
415                            ),
416                            (
417                                "keyword".into(),
418                                UserHighlightStyle {
419                                    color: Some(rgba(0x859900ff).into()),
420                                    ..Default::default()
421                                },
422                            ),
423                            (
424                                "number".into(),
425                                UserHighlightStyle {
426                                    color: Some(rgba(0xd33682ff).into()),
427                                    ..Default::default()
428                                },
429                            ),
430                            (
431                                "preproc".into(),
432                                UserHighlightStyle {
433                                    color: Some(rgba(0xb58900ff).into()),
434                                    ..Default::default()
435                                },
436                            ),
437                            (
438                                "punctuation.bracket".into(),
439                                UserHighlightStyle {
440                                    color: Some(rgba(0x93a1a1ff).into()),
441                                    ..Default::default()
442                                },
443                            ),
444                            (
445                                "string".into(),
446                                UserHighlightStyle {
447                                    color: Some(rgba(0x2aa198ff).into()),
448                                    ..Default::default()
449                                },
450                            ),
451                            (
452                                "string.escape".into(),
453                                UserHighlightStyle {
454                                    color: Some(rgba(0xcb4b16ff).into()),
455                                    ..Default::default()
456                                },
457                            ),
458                            (
459                                "string.regex".into(),
460                                UserHighlightStyle {
461                                    color: Some(rgba(0x2aa198ff).into()),
462                                    ..Default::default()
463                                },
464                            ),
465                            (
466                                "string.special".into(),
467                                UserHighlightStyle {
468                                    color: Some(rgba(0x2aa198ff).into()),
469                                    ..Default::default()
470                                },
471                            ),
472                            (
473                                "string.special.symbol".into(),
474                                UserHighlightStyle {
475                                    color: Some(rgba(0x2aa198ff).into()),
476                                    ..Default::default()
477                                },
478                            ),
479                            (
480                                "tag".into(),
481                                UserHighlightStyle {
482                                    color: Some(rgba(0x268bd2ff).into()),
483                                    ..Default::default()
484                                },
485                            ),
486                            (
487                                "text.literal".into(),
488                                UserHighlightStyle {
489                                    color: Some(rgba(0x2aa198ff).into()),
490                                    ..Default::default()
491                                },
492                            ),
493                            (
494                                "type".into(),
495                                UserHighlightStyle {
496                                    color: Some(rgba(0xb58900ff).into()),
497                                    ..Default::default()
498                                },
499                            ),
500                            (
501                                "variable".into(),
502                                UserHighlightStyle {
503                                    color: Some(rgba(0x268bd2ff).into()),
504                                    ..Default::default()
505                                },
506                            ),
507                            (
508                                "variable.special".into(),
509                                UserHighlightStyle {
510                                    color: Some(rgba(0x268bd2ff).into()),
511                                    ..Default::default()
512                                },
513                            ),
514                        ],
515                    }),
516                },
517            },
518        ],
519    }
520}