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(0x29a19899).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(0x002a35ff).into()),
 29                        element_background: Some(rgba(0x29a19899).into()),
 30                        element_hover: Some(rgba(0x004353aa).into()),
 31                        element_selected: Some(rgba(0x005a6fff).into()),
 32                        drop_target_background: Some(rgba(0x00435388).into()),
 33                        ghost_element_hover: Some(rgba(0x004353aa).into()),
 34                        text: Some(rgba(0xbbbbbbff).into()),
 35                        tab_inactive_background: Some(rgba(0x003f51ff).into()),
 36                        tab_active_background: Some(rgba(0x002a36ff).into()),
 37                        editor_background: Some(rgba(0x002a35ff).into()),
 38                        editor_gutter_background: Some(rgba(0x002a35ff).into()),
 39                        editor_line_number: Some(rgba(0x566c74ff).into()),
 40                        terminal_ansi_bright_black: Some(rgba(0x586e75ff).into()),
 41                        terminal_ansi_bright_red: Some(rgba(0xcb4b15ff).into()),
 42                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
 43                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
 44                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
 45                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
 46                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
 47                        terminal_ansi_bright_white: Some(rgba(0x839496ff).into()),
 48                        terminal_ansi_black: Some(rgba(0x063642ff).into()),
 49                        terminal_ansi_red: Some(rgba(0xdc312eff).into()),
 50                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
 51                        terminal_ansi_yellow: Some(rgba(0xb58800ff).into()),
 52                        terminal_ansi_blue: Some(rgba(0x258ad2ff).into()),
 53                        terminal_ansi_magenta: Some(rgba(0xd33582ff).into()),
 54                        terminal_ansi_cyan: Some(rgba(0x29a198ff).into()),
 55                        terminal_ansi_white: Some(rgba(0x839496ff).into()),
 56                        ..Default::default()
 57                    },
 58                    status: StatusColorsRefinement {
 59                        deleted: Some(rgba(0xffeaeaff).into()),
 60                        error: Some(rgba(0xffeaeaff).into()),
 61                        hidden: Some(rgba(0x93a1a1ff).into()),
 62                        ..Default::default()
 63                    },
 64                    syntax: Some(UserSyntaxTheme {
 65                        highlights: vec![
 66                            (
 67                                "attribute".into(),
 68                                UserHighlightStyle {
 69                                    color: Some(rgba(0x93a1a1ff).into()),
 70                                    ..Default::default()
 71                                },
 72                            ),
 73                            (
 74                                "boolean".into(),
 75                                UserHighlightStyle {
 76                                    color: Some(rgba(0xb58800ff).into()),
 77                                    ..Default::default()
 78                                },
 79                            ),
 80                            (
 81                                "comment".into(),
 82                                UserHighlightStyle {
 83                                    color: Some(rgba(0x657b83ff).into()),
 84                                    font_style: Some(UserFontStyle::Italic),
 85                                    ..Default::default()
 86                                },
 87                            ),
 88                            (
 89                                "constant".into(),
 90                                UserHighlightStyle {
 91                                    color: Some(rgba(0xcb4b15ff).into()),
 92                                    ..Default::default()
 93                                },
 94                            ),
 95                            (
 96                                "embedded".into(),
 97                                UserHighlightStyle {
 98                                    color: Some(rgba(0x93a1a1ff).into()),
 99                                    ..Default::default()
100                                },
101                            ),
102                            (
103                                "emphasis".into(),
104                                UserHighlightStyle {
105                                    color: Some(rgba(0xd33582ff).into()),
106                                    ..Default::default()
107                                },
108                            ),
109                            (
110                                "emphasis.strong".into(),
111                                UserHighlightStyle {
112                                    color: Some(rgba(0xd33582ff).into()),
113                                    ..Default::default()
114                                },
115                            ),
116                            (
117                                "function".into(),
118                                UserHighlightStyle {
119                                    color: Some(rgba(0x258ad2ff).into()),
120                                    ..Default::default()
121                                },
122                            ),
123                            (
124                                "keyword".into(),
125                                UserHighlightStyle {
126                                    color: Some(rgba(0x859900ff).into()),
127                                    ..Default::default()
128                                },
129                            ),
130                            (
131                                "number".into(),
132                                UserHighlightStyle {
133                                    color: Some(rgba(0xd33582ff).into()),
134                                    ..Default::default()
135                                },
136                            ),
137                            (
138                                "property".into(),
139                                UserHighlightStyle {
140                                    color: Some(rgba(0x839496ff).into()),
141                                    ..Default::default()
142                                },
143                            ),
144                            (
145                                "punctuation".into(),
146                                UserHighlightStyle {
147                                    color: Some(rgba(0x657b83ff).into()),
148                                    ..Default::default()
149                                },
150                            ),
151                            (
152                                "string".into(),
153                                UserHighlightStyle {
154                                    color: Some(rgba(0x29a198ff).into()),
155                                    ..Default::default()
156                                },
157                            ),
158                            (
159                                "string.escape".into(),
160                                UserHighlightStyle {
161                                    color: Some(rgba(0xcb4b15ff).into()),
162                                    ..Default::default()
163                                },
164                            ),
165                            (
166                                "tag".into(),
167                                UserHighlightStyle {
168                                    color: Some(rgba(0x258ad2ff).into()),
169                                    ..Default::default()
170                                },
171                            ),
172                            (
173                                "text.literal".into(),
174                                UserHighlightStyle {
175                                    color: Some(rgba(0x29a198ff).into()),
176                                    ..Default::default()
177                                },
178                            ),
179                            (
180                                "type".into(),
181                                UserHighlightStyle {
182                                    color: Some(rgba(0xcb4b15ff).into()),
183                                    ..Default::default()
184                                },
185                            ),
186                            (
187                                "variable".into(),
188                                UserHighlightStyle {
189                                    color: Some(rgba(0x258ad2ff).into()),
190                                    ..Default::default()
191                                },
192                            ),
193                            (
194                                "variable.special".into(),
195                                UserHighlightStyle {
196                                    color: Some(rgba(0x258ad2ff).into()),
197                                    ..Default::default()
198                                },
199                            ),
200                        ],
201                    }),
202                },
203            },
204            UserTheme {
205                name: "Solarized Light".into(),
206                appearance: Appearance::Light,
207                styles: UserThemeStylesRefinement {
208                    colors: ThemeColorsRefinement {
209                        border: Some(rgba(0xddd6c1ff).into()),
210                        border_variant: Some(rgba(0xddd6c1ff).into()),
211                        border_focused: Some(rgba(0xd3af86ff).into()),
212                        border_selected: Some(rgba(0xddd6c1ff).into()),
213                        border_transparent: Some(rgba(0xddd6c1ff).into()),
214                        border_disabled: Some(rgba(0xddd6c1ff).into()),
215                        background: Some(rgba(0xfdf6e3ff).into()),
216                        element_background: Some(rgba(0xab9d56ff).into()),
217                        element_hover: Some(rgba(0xdec98744).into()),
218                        element_selected: Some(rgba(0xdec987ff).into()),
219                        ghost_element_hover: Some(rgba(0xdec98744).into()),
220                        text: Some(rgba(0x333333ff).into()),
221                        tab_inactive_background: Some(rgba(0xd3cbb7ff).into()),
222                        tab_active_background: Some(rgba(0xfdf6e3ff).into()),
223                        editor_background: Some(rgba(0xfdf6e3ff).into()),
224                        editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
225                        editor_line_number: Some(rgba(0x9ca8a6ff).into()),
226                        terminal_ansi_bright_black: Some(rgba(0x657b83ff).into()),
227                        terminal_ansi_bright_red: Some(rgba(0xcb4b15ff).into()),
228                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
229                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
230                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
231                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
232                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
233                        terminal_ansi_bright_white: Some(rgba(0xeee8d5ff).into()),
234                        terminal_ansi_black: Some(rgba(0x657b83ff).into()),
235                        terminal_ansi_red: Some(rgba(0xdc312eff).into()),
236                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
237                        terminal_ansi_yellow: Some(rgba(0xb58800ff).into()),
238                        terminal_ansi_blue: Some(rgba(0x258ad2ff).into()),
239                        terminal_ansi_magenta: Some(rgba(0xd33582ff).into()),
240                        terminal_ansi_cyan: Some(rgba(0x29a198ff).into()),
241                        terminal_ansi_white: Some(rgba(0xeee8d5ff).into()),
242                        ..Default::default()
243                    },
244                    status: StatusColorsRefinement {
245                        hidden: Some(rgba(0x586e75ff).into()),
246                        ..Default::default()
247                    },
248                    syntax: Some(UserSyntaxTheme {
249                        highlights: vec![
250                            (
251                                "attribute".into(),
252                                UserHighlightStyle {
253                                    color: Some(rgba(0x93a1a1ff).into()),
254                                    ..Default::default()
255                                },
256                            ),
257                            (
258                                "boolean".into(),
259                                UserHighlightStyle {
260                                    color: Some(rgba(0xb58800ff).into()),
261                                    ..Default::default()
262                                },
263                            ),
264                            (
265                                "comment".into(),
266                                UserHighlightStyle {
267                                    color: Some(rgba(0x93a1a1ff).into()),
268                                    font_style: Some(UserFontStyle::Italic),
269                                    ..Default::default()
270                                },
271                            ),
272                            (
273                                "constant".into(),
274                                UserHighlightStyle {
275                                    color: Some(rgba(0xcb4b15ff).into()),
276                                    ..Default::default()
277                                },
278                            ),
279                            (
280                                "embedded".into(),
281                                UserHighlightStyle {
282                                    color: Some(rgba(0x657b83ff).into()),
283                                    ..Default::default()
284                                },
285                            ),
286                            (
287                                "emphasis".into(),
288                                UserHighlightStyle {
289                                    color: Some(rgba(0xd33582ff).into()),
290                                    ..Default::default()
291                                },
292                            ),
293                            (
294                                "emphasis.strong".into(),
295                                UserHighlightStyle {
296                                    color: Some(rgba(0xd33582ff).into()),
297                                    ..Default::default()
298                                },
299                            ),
300                            (
301                                "function".into(),
302                                UserHighlightStyle {
303                                    color: Some(rgba(0x258ad2ff).into()),
304                                    ..Default::default()
305                                },
306                            ),
307                            (
308                                "keyword".into(),
309                                UserHighlightStyle {
310                                    color: Some(rgba(0x859900ff).into()),
311                                    ..Default::default()
312                                },
313                            ),
314                            (
315                                "number".into(),
316                                UserHighlightStyle {
317                                    color: Some(rgba(0xd33582ff).into()),
318                                    ..Default::default()
319                                },
320                            ),
321                            (
322                                "punctuation.bracket".into(),
323                                UserHighlightStyle {
324                                    color: Some(rgba(0x93a1a1ff).into()),
325                                    ..Default::default()
326                                },
327                            ),
328                            (
329                                "string".into(),
330                                UserHighlightStyle {
331                                    color: Some(rgba(0x29a198ff).into()),
332                                    ..Default::default()
333                                },
334                            ),
335                            (
336                                "string.escape".into(),
337                                UserHighlightStyle {
338                                    color: Some(rgba(0xcb4b15ff).into()),
339                                    ..Default::default()
340                                },
341                            ),
342                            (
343                                "tag".into(),
344                                UserHighlightStyle {
345                                    color: Some(rgba(0x258ad2ff).into()),
346                                    ..Default::default()
347                                },
348                            ),
349                            (
350                                "text.literal".into(),
351                                UserHighlightStyle {
352                                    color: Some(rgba(0x29a198ff).into()),
353                                    ..Default::default()
354                                },
355                            ),
356                            (
357                                "type".into(),
358                                UserHighlightStyle {
359                                    color: Some(rgba(0x258ad2ff).into()),
360                                    ..Default::default()
361                                },
362                            ),
363                            (
364                                "variable".into(),
365                                UserHighlightStyle {
366                                    color: Some(rgba(0x258ad2ff).into()),
367                                    ..Default::default()
368                                },
369                            ),
370                            (
371                                "variable.special".into(),
372                                UserHighlightStyle {
373                                    color: Some(rgba(0x258ad2ff).into()),
374                                    ..Default::default()
375                                },
376                            ),
377                        ],
378                    }),
379                },
380            },
381        ],
382    }
383}