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                        text: Some(rgba(0xbbbbbbff).into()),
 36                        status_bar_background: Some(rgba(0x00212bff).into()),
 37                        title_bar_background: Some(rgba(0x002c39ff).into()),
 38                        toolbar_background: Some(rgba(0x002b36ff).into()),
 39                        tab_bar_background: Some(rgba(0x004052ff).into()),
 40                        tab_inactive_background: Some(rgba(0x004052ff).into()),
 41                        tab_active_background: Some(rgba(0x002b37ff).into()),
 42                        editor_background: Some(rgba(0x002b36ff).into()),
 43                        editor_gutter_background: Some(rgba(0x002b36ff).into()),
 44                        editor_line_number: Some(rgba(0x566c74ff).into()),
 45                        terminal_ansi_bright_black: Some(rgba(0x586e75ff).into()),
 46                        terminal_ansi_bright_red: Some(rgba(0xcb4b16ff).into()),
 47                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
 48                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
 49                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
 50                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
 51                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
 52                        terminal_ansi_bright_white: Some(rgba(0x839496ff).into()),
 53                        terminal_ansi_black: Some(rgba(0x073642ff).into()),
 54                        terminal_ansi_red: Some(rgba(0xdc322fff).into()),
 55                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
 56                        terminal_ansi_yellow: Some(rgba(0xb58900ff).into()),
 57                        terminal_ansi_blue: Some(rgba(0x268bd2ff).into()),
 58                        terminal_ansi_magenta: Some(rgba(0xd33682ff).into()),
 59                        terminal_ansi_cyan: Some(rgba(0x2aa198ff).into()),
 60                        terminal_ansi_white: Some(rgba(0x839496ff).into()),
 61                        ..Default::default()
 62                    },
 63                    status: StatusColorsRefinement {
 64                        deleted: Some(rgba(0xffeaeaff).into()),
 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(0xcb4b16ff).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(0x268bd2ff).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(0x859900ff).into()),
260                                    ..Default::default()
261                                },
262                            ),
263                            (
264                                "variable".into(),
265                                UserHighlightStyle {
266                                    color: Some(rgba(0x839496ff).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                        text: Some(rgba(0x333333ff).into()),
299                        status_bar_background: Some(rgba(0xeee8d5ff).into()),
300                        title_bar_background: Some(rgba(0xeee8d5ff).into()),
301                        toolbar_background: Some(rgba(0xfdf6e3ff).into()),
302                        tab_bar_background: Some(rgba(0xd9d2c2ff).into()),
303                        tab_inactive_background: Some(rgba(0xd3cbb7ff).into()),
304                        tab_active_background: Some(rgba(0xfdf6e3ff).into()),
305                        editor_background: Some(rgba(0xfdf6e3ff).into()),
306                        editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
307                        editor_line_number: Some(rgba(0x9ca8a6ff).into()),
308                        terminal_ansi_bright_black: Some(rgba(0x657b83ff).into()),
309                        terminal_ansi_bright_red: Some(rgba(0xcb4b16ff).into()),
310                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
311                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
312                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
313                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
314                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
315                        terminal_ansi_bright_white: Some(rgba(0xeee8d5ff).into()),
316                        terminal_ansi_black: Some(rgba(0x657b83ff).into()),
317                        terminal_ansi_red: Some(rgba(0xdc322fff).into()),
318                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
319                        terminal_ansi_yellow: Some(rgba(0xb58900ff).into()),
320                        terminal_ansi_blue: Some(rgba(0x268bd2ff).into()),
321                        terminal_ansi_magenta: Some(rgba(0xd33682ff).into()),
322                        terminal_ansi_cyan: Some(rgba(0x2aa198ff).into()),
323                        terminal_ansi_white: Some(rgba(0xeee8d5ff).into()),
324                        ..Default::default()
325                    },
326                    status: StatusColorsRefinement {
327                        hidden: Some(rgba(0x586e75ff).into()),
328                        hint: Some(rgba(0x969696ff).into()),
329                        ..Default::default()
330                    },
331                    syntax: Some(UserSyntaxTheme {
332                        highlights: vec![
333                            (
334                                "attribute".into(),
335                                UserHighlightStyle {
336                                    color: Some(rgba(0x93a1a1ff).into()),
337                                    ..Default::default()
338                                },
339                            ),
340                            (
341                                "boolean".into(),
342                                UserHighlightStyle {
343                                    color: Some(rgba(0xb58900ff).into()),
344                                    ..Default::default()
345                                },
346                            ),
347                            (
348                                "comment".into(),
349                                UserHighlightStyle {
350                                    color: Some(rgba(0x93a1a1ff).into()),
351                                    font_style: Some(UserFontStyle::Italic),
352                                    ..Default::default()
353                                },
354                            ),
355                            (
356                                "comment.doc".into(),
357                                UserHighlightStyle {
358                                    color: Some(rgba(0x93a1a1ff).into()),
359                                    font_style: Some(UserFontStyle::Italic),
360                                    ..Default::default()
361                                },
362                            ),
363                            (
364                                "constant".into(),
365                                UserHighlightStyle {
366                                    color: Some(rgba(0xcb4b16ff).into()),
367                                    ..Default::default()
368                                },
369                            ),
370                            (
371                                "constructor".into(),
372                                UserHighlightStyle {
373                                    color: Some(rgba(0x268bd2ff).into()),
374                                    ..Default::default()
375                                },
376                            ),
377                            (
378                                "embedded".into(),
379                                UserHighlightStyle {
380                                    color: Some(rgba(0x657b83ff).into()),
381                                    ..Default::default()
382                                },
383                            ),
384                            (
385                                "emphasis".into(),
386                                UserHighlightStyle {
387                                    color: Some(rgba(0xd33682ff).into()),
388                                    ..Default::default()
389                                },
390                            ),
391                            (
392                                "emphasis.strong".into(),
393                                UserHighlightStyle {
394                                    color: Some(rgba(0xd33682ff).into()),
395                                    ..Default::default()
396                                },
397                            ),
398                            (
399                                "function".into(),
400                                UserHighlightStyle {
401                                    color: Some(rgba(0x657b83ff).into()),
402                                    ..Default::default()
403                                },
404                            ),
405                            (
406                                "keyword".into(),
407                                UserHighlightStyle {
408                                    color: Some(rgba(0x268bd2ff).into()),
409                                    ..Default::default()
410                                },
411                            ),
412                            (
413                                "number".into(),
414                                UserHighlightStyle {
415                                    color: Some(rgba(0xd33682ff).into()),
416                                    ..Default::default()
417                                },
418                            ),
419                            (
420                                "preproc".into(),
421                                UserHighlightStyle {
422                                    color: Some(rgba(0xb58900ff).into()),
423                                    ..Default::default()
424                                },
425                            ),
426                            (
427                                "punctuation.bracket".into(),
428                                UserHighlightStyle {
429                                    color: Some(rgba(0x93a1a1ff).into()),
430                                    ..Default::default()
431                                },
432                            ),
433                            (
434                                "string".into(),
435                                UserHighlightStyle {
436                                    color: Some(rgba(0x2aa198ff).into()),
437                                    ..Default::default()
438                                },
439                            ),
440                            (
441                                "string.escape".into(),
442                                UserHighlightStyle {
443                                    color: Some(rgba(0xcb4b16ff).into()),
444                                    ..Default::default()
445                                },
446                            ),
447                            (
448                                "string.regex".into(),
449                                UserHighlightStyle {
450                                    color: Some(rgba(0x2aa198ff).into()),
451                                    ..Default::default()
452                                },
453                            ),
454                            (
455                                "string.special".into(),
456                                UserHighlightStyle {
457                                    color: Some(rgba(0x2aa198ff).into()),
458                                    ..Default::default()
459                                },
460                            ),
461                            (
462                                "string.special.symbol".into(),
463                                UserHighlightStyle {
464                                    color: Some(rgba(0x2aa198ff).into()),
465                                    ..Default::default()
466                                },
467                            ),
468                            (
469                                "tag".into(),
470                                UserHighlightStyle {
471                                    color: Some(rgba(0x268bd2ff).into()),
472                                    ..Default::default()
473                                },
474                            ),
475                            (
476                                "text.literal".into(),
477                                UserHighlightStyle {
478                                    color: Some(rgba(0x2aa198ff).into()),
479                                    ..Default::default()
480                                },
481                            ),
482                            (
483                                "type".into(),
484                                UserHighlightStyle {
485                                    color: Some(rgba(0x859900ff).into()),
486                                    ..Default::default()
487                                },
488                            ),
489                            (
490                                "variable".into(),
491                                UserHighlightStyle {
492                                    color: Some(rgba(0x268bd2ff).into()),
493                                    ..Default::default()
494                                },
495                            ),
496                            (
497                                "variable.special".into(),
498                                UserHighlightStyle {
499                                    color: Some(rgba(0x268bd2ff).into()),
500                                    ..Default::default()
501                                },
502                            ),
503                        ],
504                    }),
505                },
506            },
507        ],
508    }
509}