solarized.rs

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