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