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