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