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