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