gruvbox.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 gruvbox() -> UserThemeFamily {
  13    UserThemeFamily {
  14        name: "Gruvbox".into(),
  15        author: "morhetz".into(),
  16        themes: vec![
  17            UserTheme {
  18                name: "Gruvbox Dark Hard".into(),
  19                appearance: Appearance::Dark,
  20                styles: UserThemeStylesRefinement {
  21                    colors: ThemeColorsRefinement {
  22                        border: Some(rgba(0x3c3836ff).into()),
  23                        border_variant: Some(rgba(0x3c3836ff).into()),
  24                        border_focused: Some(rgba(0x3c3836ff).into()),
  25                        border_selected: Some(rgba(0x3c3836ff).into()),
  26                        border_transparent: Some(rgba(0x3c3836ff).into()),
  27                        border_disabled: Some(rgba(0x3c3836ff).into()),
  28                        background: Some(rgba(0x1d2021ff).into()),
  29                        element_background: Some(rgba(0x45858880).into()),
  30                        element_hover: Some(rgba(0x3c383680).into()),
  31                        element_selected: Some(rgba(0x3c383680).into()),
  32                        drop_target_background: Some(rgba(0x3c3836ff).into()),
  33                        ghost_element_hover: Some(rgba(0x3c383680).into()),
  34                        text: Some(rgba(0xebdbb2ff).into()),
  35                        status_bar_background: Some(rgba(0x1d2021ff).into()),
  36                        title_bar_background: Some(rgba(0x1d2021ff).into()),
  37                        tab_inactive_background: Some(rgba(0x1d2021ff).into()),
  38                        tab_active_background: Some(rgba(0x32302fff).into()),
  39                        editor_background: Some(rgba(0x1d2021ff).into()),
  40                        editor_gutter_background: Some(rgba(0x1d2021ff).into()),
  41                        editor_line_number: Some(rgba(0x665c54ff).into()),
  42                        editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
  43                        terminal_background: Some(rgba(0x1d2021ff).into()),
  44                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
  45                        terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
  46                        terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
  47                        terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
  48                        terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
  49                        terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
  50                        terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
  51                        terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
  52                        terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
  53                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
  54                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
  55                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
  56                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
  57                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
  58                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
  59                        terminal_ansi_white: Some(rgba(0xa89984ff).into()),
  60                        ..Default::default()
  61                    },
  62                    status: StatusColorsRefinement {
  63                        deleted: Some(rgba(0xfb4934ff).into()),
  64                        error: Some(rgba(0xfb4934ff).into()),
  65                        hidden: Some(rgba(0xa89984ff).into()),
  66                        hint: Some(rgba(0x969696ff).into()),
  67                        ..Default::default()
  68                    },
  69                    syntax: Some(UserSyntaxTheme {
  70                        highlights: vec![
  71                            (
  72                                "attribute".into(),
  73                                UserHighlightStyle {
  74                                    color: Some(rgba(0xfabd2fff).into()),
  75                                    ..Default::default()
  76                                },
  77                            ),
  78                            (
  79                                "comment".into(),
  80                                UserHighlightStyle {
  81                                    color: Some(rgba(0x928374ff).into()),
  82                                    font_style: Some(UserFontStyle::Italic),
  83                                    ..Default::default()
  84                                },
  85                            ),
  86                            (
  87                                "comment.doc".into(),
  88                                UserHighlightStyle {
  89                                    color: Some(rgba(0x928374ff).into()),
  90                                    font_style: Some(UserFontStyle::Italic),
  91                                    ..Default::default()
  92                                },
  93                            ),
  94                            (
  95                                "emphasis.strong".into(),
  96                                UserHighlightStyle {
  97                                    color: Some(rgba(0xfe8019ff).into()),
  98                                    font_weight: Some(UserFontWeight(700.0)),
  99                                    ..Default::default()
 100                                },
 101                            ),
 102                            (
 103                                "function".into(),
 104                                UserHighlightStyle {
 105                                    color: Some(rgba(0xfabd2fff).into()),
 106                                    ..Default::default()
 107                                },
 108                            ),
 109                            (
 110                                "keyword".into(),
 111                                UserHighlightStyle {
 112                                    color: Some(rgba(0xfb4934ff).into()),
 113                                    ..Default::default()
 114                                },
 115                            ),
 116                            (
 117                                "label".into(),
 118                                UserHighlightStyle {
 119                                    color: Some(rgba(0xfabd2fff).into()),
 120                                    ..Default::default()
 121                                },
 122                            ),
 123                            (
 124                                "link_text".into(),
 125                                UserHighlightStyle {
 126                                    color: Some(rgba(0xd3869bff).into()),
 127                                    ..Default::default()
 128                                },
 129                            ),
 130                            (
 131                                "link_uri".into(),
 132                                UserHighlightStyle {
 133                                    color: Some(rgba(0xd3869bff).into()),
 134                                    ..Default::default()
 135                                },
 136                            ),
 137                            (
 138                                "operator".into(),
 139                                UserHighlightStyle {
 140                                    color: Some(rgba(0x8ec07cff).into()),
 141                                    ..Default::default()
 142                                },
 143                            ),
 144                            (
 145                                "preproc".into(),
 146                                UserHighlightStyle {
 147                                    color: Some(rgba(0xfe8019ff).into()),
 148                                    ..Default::default()
 149                                },
 150                            ),
 151                            (
 152                                "property".into(),
 153                                UserHighlightStyle {
 154                                    color: Some(rgba(0x689d6aff).into()),
 155                                    ..Default::default()
 156                                },
 157                            ),
 158                            (
 159                                "punctuation".into(),
 160                                UserHighlightStyle {
 161                                    color: Some(rgba(0x83a598ff).into()),
 162                                    ..Default::default()
 163                                },
 164                            ),
 165                            (
 166                                "punctuation.bracket".into(),
 167                                UserHighlightStyle {
 168                                    color: Some(rgba(0x83a598ff).into()),
 169                                    ..Default::default()
 170                                },
 171                            ),
 172                            (
 173                                "punctuation.delimiter".into(),
 174                                UserHighlightStyle {
 175                                    color: Some(rgba(0x83a598ff).into()),
 176                                    ..Default::default()
 177                                },
 178                            ),
 179                            (
 180                                "punctuation.list_marker".into(),
 181                                UserHighlightStyle {
 182                                    color: Some(rgba(0x83a598ff).into()),
 183                                    ..Default::default()
 184                                },
 185                            ),
 186                            (
 187                                "punctuation.special".into(),
 188                                UserHighlightStyle {
 189                                    color: Some(rgba(0x83a598ff).into()),
 190                                    ..Default::default()
 191                                },
 192                            ),
 193                            (
 194                                "string".into(),
 195                                UserHighlightStyle {
 196                                    color: Some(rgba(0xb8bb26ff).into()),
 197                                    ..Default::default()
 198                                },
 199                            ),
 200                            (
 201                                "string.escape".into(),
 202                                UserHighlightStyle {
 203                                    color: Some(rgba(0xfb4934ff).into()),
 204                                    ..Default::default()
 205                                },
 206                            ),
 207                            (
 208                                "string.regex".into(),
 209                                UserHighlightStyle {
 210                                    color: Some(rgba(0xb8bb26ff).into()),
 211                                    ..Default::default()
 212                                },
 213                            ),
 214                            (
 215                                "string.special".into(),
 216                                UserHighlightStyle {
 217                                    color: Some(rgba(0xb8bb26ff).into()),
 218                                    ..Default::default()
 219                                },
 220                            ),
 221                            (
 222                                "string.special.symbol".into(),
 223                                UserHighlightStyle {
 224                                    color: Some(rgba(0xb8bb26ff).into()),
 225                                    ..Default::default()
 226                                },
 227                            ),
 228                            (
 229                                "tag".into(),
 230                                UserHighlightStyle {
 231                                    color: Some(rgba(0x8ec07cff).into()),
 232                                    ..Default::default()
 233                                },
 234                            ),
 235                            (
 236                                "text.literal".into(),
 237                                UserHighlightStyle {
 238                                    color: Some(rgba(0xb8bb26ff).into()),
 239                                    ..Default::default()
 240                                },
 241                            ),
 242                            (
 243                                "title".into(),
 244                                UserHighlightStyle {
 245                                    color: Some(rgba(0xfabd2fff).into()),
 246                                    ..Default::default()
 247                                },
 248                            ),
 249                            (
 250                                "type".into(),
 251                                UserHighlightStyle {
 252                                    color: Some(rgba(0xfabd2fff).into()),
 253                                    ..Default::default()
 254                                },
 255                            ),
 256                            (
 257                                "variable".into(),
 258                                UserHighlightStyle {
 259                                    color: Some(rgba(0x83a598ff).into()),
 260                                    ..Default::default()
 261                                },
 262                            ),
 263                            (
 264                                "variable.special".into(),
 265                                UserHighlightStyle {
 266                                    color: Some(rgba(0x83a598ff).into()),
 267                                    ..Default::default()
 268                                },
 269                            ),
 270                        ],
 271                    }),
 272                },
 273            },
 274            UserTheme {
 275                name: "Gruvbox Dark Medium".into(),
 276                appearance: Appearance::Dark,
 277                styles: UserThemeStylesRefinement {
 278                    colors: ThemeColorsRefinement {
 279                        border: Some(rgba(0x3c3836ff).into()),
 280                        border_variant: Some(rgba(0x3c3836ff).into()),
 281                        border_focused: Some(rgba(0x3c3836ff).into()),
 282                        border_selected: Some(rgba(0x3c3836ff).into()),
 283                        border_transparent: Some(rgba(0x3c3836ff).into()),
 284                        border_disabled: Some(rgba(0x3c3836ff).into()),
 285                        background: Some(rgba(0x282828ff).into()),
 286                        element_background: Some(rgba(0x45858880).into()),
 287                        element_hover: Some(rgba(0x3c383680).into()),
 288                        element_selected: Some(rgba(0x3c383680).into()),
 289                        drop_target_background: Some(rgba(0x3c3836ff).into()),
 290                        ghost_element_hover: Some(rgba(0x3c383680).into()),
 291                        text: Some(rgba(0xebdbb2ff).into()),
 292                        status_bar_background: Some(rgba(0x282828ff).into()),
 293                        title_bar_background: Some(rgba(0x282828ff).into()),
 294                        tab_inactive_background: Some(rgba(0x282828ff).into()),
 295                        tab_active_background: Some(rgba(0x3c3836ff).into()),
 296                        editor_background: Some(rgba(0x282828ff).into()),
 297                        editor_gutter_background: Some(rgba(0x282828ff).into()),
 298                        editor_line_number: Some(rgba(0x665c54ff).into()),
 299                        editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
 300                        terminal_background: Some(rgba(0x282828ff).into()),
 301                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
 302                        terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
 303                        terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
 304                        terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
 305                        terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
 306                        terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
 307                        terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
 308                        terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
 309                        terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
 310                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
 311                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
 312                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
 313                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
 314                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
 315                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
 316                        terminal_ansi_white: Some(rgba(0xa89984ff).into()),
 317                        ..Default::default()
 318                    },
 319                    status: StatusColorsRefinement {
 320                        deleted: Some(rgba(0xfb4934ff).into()),
 321                        error: Some(rgba(0xfb4934ff).into()),
 322                        hidden: Some(rgba(0xa89984ff).into()),
 323                        hint: Some(rgba(0x969696ff).into()),
 324                        ..Default::default()
 325                    },
 326                    syntax: Some(UserSyntaxTheme {
 327                        highlights: vec![
 328                            (
 329                                "attribute".into(),
 330                                UserHighlightStyle {
 331                                    color: Some(rgba(0xfabd2fff).into()),
 332                                    ..Default::default()
 333                                },
 334                            ),
 335                            (
 336                                "comment".into(),
 337                                UserHighlightStyle {
 338                                    color: Some(rgba(0x928374ff).into()),
 339                                    font_style: Some(UserFontStyle::Italic),
 340                                    ..Default::default()
 341                                },
 342                            ),
 343                            (
 344                                "comment.doc".into(),
 345                                UserHighlightStyle {
 346                                    color: Some(rgba(0x928374ff).into()),
 347                                    font_style: Some(UserFontStyle::Italic),
 348                                    ..Default::default()
 349                                },
 350                            ),
 351                            (
 352                                "emphasis.strong".into(),
 353                                UserHighlightStyle {
 354                                    color: Some(rgba(0xfe8019ff).into()),
 355                                    font_weight: Some(UserFontWeight(700.0)),
 356                                    ..Default::default()
 357                                },
 358                            ),
 359                            (
 360                                "function".into(),
 361                                UserHighlightStyle {
 362                                    color: Some(rgba(0xfabd2fff).into()),
 363                                    ..Default::default()
 364                                },
 365                            ),
 366                            (
 367                                "keyword".into(),
 368                                UserHighlightStyle {
 369                                    color: Some(rgba(0xfb4934ff).into()),
 370                                    ..Default::default()
 371                                },
 372                            ),
 373                            (
 374                                "label".into(),
 375                                UserHighlightStyle {
 376                                    color: Some(rgba(0xfabd2fff).into()),
 377                                    ..Default::default()
 378                                },
 379                            ),
 380                            (
 381                                "link_text".into(),
 382                                UserHighlightStyle {
 383                                    color: Some(rgba(0xd3869bff).into()),
 384                                    ..Default::default()
 385                                },
 386                            ),
 387                            (
 388                                "link_uri".into(),
 389                                UserHighlightStyle {
 390                                    color: Some(rgba(0xd3869bff).into()),
 391                                    ..Default::default()
 392                                },
 393                            ),
 394                            (
 395                                "operator".into(),
 396                                UserHighlightStyle {
 397                                    color: Some(rgba(0x8ec07cff).into()),
 398                                    ..Default::default()
 399                                },
 400                            ),
 401                            (
 402                                "preproc".into(),
 403                                UserHighlightStyle {
 404                                    color: Some(rgba(0xfe8019ff).into()),
 405                                    ..Default::default()
 406                                },
 407                            ),
 408                            (
 409                                "property".into(),
 410                                UserHighlightStyle {
 411                                    color: Some(rgba(0x689d6aff).into()),
 412                                    ..Default::default()
 413                                },
 414                            ),
 415                            (
 416                                "punctuation".into(),
 417                                UserHighlightStyle {
 418                                    color: Some(rgba(0x83a598ff).into()),
 419                                    ..Default::default()
 420                                },
 421                            ),
 422                            (
 423                                "punctuation.bracket".into(),
 424                                UserHighlightStyle {
 425                                    color: Some(rgba(0x83a598ff).into()),
 426                                    ..Default::default()
 427                                },
 428                            ),
 429                            (
 430                                "punctuation.delimiter".into(),
 431                                UserHighlightStyle {
 432                                    color: Some(rgba(0x83a598ff).into()),
 433                                    ..Default::default()
 434                                },
 435                            ),
 436                            (
 437                                "punctuation.list_marker".into(),
 438                                UserHighlightStyle {
 439                                    color: Some(rgba(0x83a598ff).into()),
 440                                    ..Default::default()
 441                                },
 442                            ),
 443                            (
 444                                "punctuation.special".into(),
 445                                UserHighlightStyle {
 446                                    color: Some(rgba(0x83a598ff).into()),
 447                                    ..Default::default()
 448                                },
 449                            ),
 450                            (
 451                                "string".into(),
 452                                UserHighlightStyle {
 453                                    color: Some(rgba(0xb8bb26ff).into()),
 454                                    ..Default::default()
 455                                },
 456                            ),
 457                            (
 458                                "string.escape".into(),
 459                                UserHighlightStyle {
 460                                    color: Some(rgba(0xfb4934ff).into()),
 461                                    ..Default::default()
 462                                },
 463                            ),
 464                            (
 465                                "string.regex".into(),
 466                                UserHighlightStyle {
 467                                    color: Some(rgba(0xb8bb26ff).into()),
 468                                    ..Default::default()
 469                                },
 470                            ),
 471                            (
 472                                "string.special".into(),
 473                                UserHighlightStyle {
 474                                    color: Some(rgba(0xb8bb26ff).into()),
 475                                    ..Default::default()
 476                                },
 477                            ),
 478                            (
 479                                "string.special.symbol".into(),
 480                                UserHighlightStyle {
 481                                    color: Some(rgba(0xb8bb26ff).into()),
 482                                    ..Default::default()
 483                                },
 484                            ),
 485                            (
 486                                "tag".into(),
 487                                UserHighlightStyle {
 488                                    color: Some(rgba(0x8ec07cff).into()),
 489                                    ..Default::default()
 490                                },
 491                            ),
 492                            (
 493                                "text.literal".into(),
 494                                UserHighlightStyle {
 495                                    color: Some(rgba(0xb8bb26ff).into()),
 496                                    ..Default::default()
 497                                },
 498                            ),
 499                            (
 500                                "title".into(),
 501                                UserHighlightStyle {
 502                                    color: Some(rgba(0xfabd2fff).into()),
 503                                    ..Default::default()
 504                                },
 505                            ),
 506                            (
 507                                "type".into(),
 508                                UserHighlightStyle {
 509                                    color: Some(rgba(0xfabd2fff).into()),
 510                                    ..Default::default()
 511                                },
 512                            ),
 513                            (
 514                                "variable".into(),
 515                                UserHighlightStyle {
 516                                    color: Some(rgba(0x83a598ff).into()),
 517                                    ..Default::default()
 518                                },
 519                            ),
 520                            (
 521                                "variable.special".into(),
 522                                UserHighlightStyle {
 523                                    color: Some(rgba(0x83a598ff).into()),
 524                                    ..Default::default()
 525                                },
 526                            ),
 527                        ],
 528                    }),
 529                },
 530            },
 531            UserTheme {
 532                name: "Gruvbox Dark Soft".into(),
 533                appearance: Appearance::Dark,
 534                styles: UserThemeStylesRefinement {
 535                    colors: ThemeColorsRefinement {
 536                        border: Some(rgba(0x3c3836ff).into()),
 537                        border_variant: Some(rgba(0x3c3836ff).into()),
 538                        border_focused: Some(rgba(0x3c3836ff).into()),
 539                        border_selected: Some(rgba(0x3c3836ff).into()),
 540                        border_transparent: Some(rgba(0x3c3836ff).into()),
 541                        border_disabled: Some(rgba(0x3c3836ff).into()),
 542                        background: Some(rgba(0x32302fff).into()),
 543                        element_background: Some(rgba(0x45858880).into()),
 544                        element_hover: Some(rgba(0x3c383680).into()),
 545                        element_selected: Some(rgba(0x3c383680).into()),
 546                        drop_target_background: Some(rgba(0x3c3836ff).into()),
 547                        ghost_element_hover: Some(rgba(0x3c383680).into()),
 548                        text: Some(rgba(0xebdbb2ff).into()),
 549                        status_bar_background: Some(rgba(0x32302fff).into()),
 550                        title_bar_background: Some(rgba(0x32302fff).into()),
 551                        tab_inactive_background: Some(rgba(0x32302fff).into()),
 552                        tab_active_background: Some(rgba(0x504945ff).into()),
 553                        editor_background: Some(rgba(0x32302fff).into()),
 554                        editor_gutter_background: Some(rgba(0x32302fff).into()),
 555                        editor_line_number: Some(rgba(0x665c54ff).into()),
 556                        editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
 557                        terminal_background: Some(rgba(0x32302fff).into()),
 558                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
 559                        terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
 560                        terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
 561                        terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
 562                        terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
 563                        terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
 564                        terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
 565                        terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
 566                        terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
 567                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
 568                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
 569                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
 570                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
 571                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
 572                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
 573                        terminal_ansi_white: Some(rgba(0xa89984ff).into()),
 574                        ..Default::default()
 575                    },
 576                    status: StatusColorsRefinement {
 577                        deleted: Some(rgba(0xfb4934ff).into()),
 578                        error: Some(rgba(0xfb4934ff).into()),
 579                        hidden: Some(rgba(0xa89984ff).into()),
 580                        hint: Some(rgba(0x969696ff).into()),
 581                        ..Default::default()
 582                    },
 583                    syntax: Some(UserSyntaxTheme {
 584                        highlights: vec![
 585                            (
 586                                "attribute".into(),
 587                                UserHighlightStyle {
 588                                    color: Some(rgba(0xfabd2fff).into()),
 589                                    ..Default::default()
 590                                },
 591                            ),
 592                            (
 593                                "comment".into(),
 594                                UserHighlightStyle {
 595                                    color: Some(rgba(0x928374ff).into()),
 596                                    font_style: Some(UserFontStyle::Italic),
 597                                    ..Default::default()
 598                                },
 599                            ),
 600                            (
 601                                "comment.doc".into(),
 602                                UserHighlightStyle {
 603                                    color: Some(rgba(0x928374ff).into()),
 604                                    font_style: Some(UserFontStyle::Italic),
 605                                    ..Default::default()
 606                                },
 607                            ),
 608                            (
 609                                "emphasis.strong".into(),
 610                                UserHighlightStyle {
 611                                    color: Some(rgba(0xfe8019ff).into()),
 612                                    font_weight: Some(UserFontWeight(700.0)),
 613                                    ..Default::default()
 614                                },
 615                            ),
 616                            (
 617                                "function".into(),
 618                                UserHighlightStyle {
 619                                    color: Some(rgba(0xfabd2fff).into()),
 620                                    ..Default::default()
 621                                },
 622                            ),
 623                            (
 624                                "keyword".into(),
 625                                UserHighlightStyle {
 626                                    color: Some(rgba(0xfb4934ff).into()),
 627                                    ..Default::default()
 628                                },
 629                            ),
 630                            (
 631                                "label".into(),
 632                                UserHighlightStyle {
 633                                    color: Some(rgba(0xfabd2fff).into()),
 634                                    ..Default::default()
 635                                },
 636                            ),
 637                            (
 638                                "link_text".into(),
 639                                UserHighlightStyle {
 640                                    color: Some(rgba(0xd3869bff).into()),
 641                                    ..Default::default()
 642                                },
 643                            ),
 644                            (
 645                                "link_uri".into(),
 646                                UserHighlightStyle {
 647                                    color: Some(rgba(0xd3869bff).into()),
 648                                    ..Default::default()
 649                                },
 650                            ),
 651                            (
 652                                "operator".into(),
 653                                UserHighlightStyle {
 654                                    color: Some(rgba(0x8ec07cff).into()),
 655                                    ..Default::default()
 656                                },
 657                            ),
 658                            (
 659                                "preproc".into(),
 660                                UserHighlightStyle {
 661                                    color: Some(rgba(0xfe8019ff).into()),
 662                                    ..Default::default()
 663                                },
 664                            ),
 665                            (
 666                                "property".into(),
 667                                UserHighlightStyle {
 668                                    color: Some(rgba(0x689d6aff).into()),
 669                                    ..Default::default()
 670                                },
 671                            ),
 672                            (
 673                                "punctuation".into(),
 674                                UserHighlightStyle {
 675                                    color: Some(rgba(0x83a598ff).into()),
 676                                    ..Default::default()
 677                                },
 678                            ),
 679                            (
 680                                "punctuation.bracket".into(),
 681                                UserHighlightStyle {
 682                                    color: Some(rgba(0x83a598ff).into()),
 683                                    ..Default::default()
 684                                },
 685                            ),
 686                            (
 687                                "punctuation.delimiter".into(),
 688                                UserHighlightStyle {
 689                                    color: Some(rgba(0x83a598ff).into()),
 690                                    ..Default::default()
 691                                },
 692                            ),
 693                            (
 694                                "punctuation.list_marker".into(),
 695                                UserHighlightStyle {
 696                                    color: Some(rgba(0x83a598ff).into()),
 697                                    ..Default::default()
 698                                },
 699                            ),
 700                            (
 701                                "punctuation.special".into(),
 702                                UserHighlightStyle {
 703                                    color: Some(rgba(0x83a598ff).into()),
 704                                    ..Default::default()
 705                                },
 706                            ),
 707                            (
 708                                "string".into(),
 709                                UserHighlightStyle {
 710                                    color: Some(rgba(0xb8bb26ff).into()),
 711                                    ..Default::default()
 712                                },
 713                            ),
 714                            (
 715                                "string.escape".into(),
 716                                UserHighlightStyle {
 717                                    color: Some(rgba(0xfb4934ff).into()),
 718                                    ..Default::default()
 719                                },
 720                            ),
 721                            (
 722                                "string.regex".into(),
 723                                UserHighlightStyle {
 724                                    color: Some(rgba(0xb8bb26ff).into()),
 725                                    ..Default::default()
 726                                },
 727                            ),
 728                            (
 729                                "string.special".into(),
 730                                UserHighlightStyle {
 731                                    color: Some(rgba(0xb8bb26ff).into()),
 732                                    ..Default::default()
 733                                },
 734                            ),
 735                            (
 736                                "string.special.symbol".into(),
 737                                UserHighlightStyle {
 738                                    color: Some(rgba(0xb8bb26ff).into()),
 739                                    ..Default::default()
 740                                },
 741                            ),
 742                            (
 743                                "tag".into(),
 744                                UserHighlightStyle {
 745                                    color: Some(rgba(0x8ec07cff).into()),
 746                                    ..Default::default()
 747                                },
 748                            ),
 749                            (
 750                                "text.literal".into(),
 751                                UserHighlightStyle {
 752                                    color: Some(rgba(0xb8bb26ff).into()),
 753                                    ..Default::default()
 754                                },
 755                            ),
 756                            (
 757                                "title".into(),
 758                                UserHighlightStyle {
 759                                    color: Some(rgba(0xfabd2fff).into()),
 760                                    ..Default::default()
 761                                },
 762                            ),
 763                            (
 764                                "type".into(),
 765                                UserHighlightStyle {
 766                                    color: Some(rgba(0xfabd2fff).into()),
 767                                    ..Default::default()
 768                                },
 769                            ),
 770                            (
 771                                "variable".into(),
 772                                UserHighlightStyle {
 773                                    color: Some(rgba(0x83a598ff).into()),
 774                                    ..Default::default()
 775                                },
 776                            ),
 777                            (
 778                                "variable.special".into(),
 779                                UserHighlightStyle {
 780                                    color: Some(rgba(0x83a598ff).into()),
 781                                    ..Default::default()
 782                                },
 783                            ),
 784                        ],
 785                    }),
 786                },
 787            },
 788            UserTheme {
 789                name: "Gruvbox Light Hard".into(),
 790                appearance: Appearance::Light,
 791                styles: UserThemeStylesRefinement {
 792                    colors: ThemeColorsRefinement {
 793                        border: Some(rgba(0xebdbb2ff).into()),
 794                        border_variant: Some(rgba(0xebdbb2ff).into()),
 795                        border_focused: Some(rgba(0xebdbb2ff).into()),
 796                        border_selected: Some(rgba(0xebdbb2ff).into()),
 797                        border_transparent: Some(rgba(0xebdbb2ff).into()),
 798                        border_disabled: Some(rgba(0xebdbb2ff).into()),
 799                        background: Some(rgba(0xf9f5d7ff).into()),
 800                        element_background: Some(rgba(0x45858880).into()),
 801                        element_hover: Some(rgba(0xebdbb280).into()),
 802                        element_selected: Some(rgba(0xebdbb280).into()),
 803                        drop_target_background: Some(rgba(0xebdbb2ff).into()),
 804                        ghost_element_hover: Some(rgba(0xebdbb280).into()),
 805                        text: Some(rgba(0x3c3836ff).into()),
 806                        status_bar_background: Some(rgba(0xf9f5d7ff).into()),
 807                        title_bar_background: Some(rgba(0xf9f5d7ff).into()),
 808                        tab_inactive_background: Some(rgba(0xf9f5d7ff).into()),
 809                        tab_active_background: Some(rgba(0xf2e5bcff).into()),
 810                        editor_background: Some(rgba(0xf9f5d7ff).into()),
 811                        editor_gutter_background: Some(rgba(0xf9f5d7ff).into()),
 812                        editor_line_number: Some(rgba(0xbdae93ff).into()),
 813                        editor_active_line_number: Some(rgba(0x3c3836ff).into()),
 814                        terminal_background: Some(rgba(0xf9f5d7ff).into()),
 815                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
 816                        terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
 817                        terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
 818                        terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
 819                        terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
 820                        terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
 821                        terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
 822                        terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
 823                        terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
 824                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
 825                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
 826                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
 827                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
 828                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
 829                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
 830                        terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
 831                        ..Default::default()
 832                    },
 833                    status: StatusColorsRefinement {
 834                        deleted: Some(rgba(0x9d0006ff).into()),
 835                        error: Some(rgba(0x9d0006ff).into()),
 836                        hidden: Some(rgba(0x7c6f64ff).into()),
 837                        hint: Some(rgba(0x969696ff).into()),
 838                        ..Default::default()
 839                    },
 840                    syntax: Some(UserSyntaxTheme {
 841                        highlights: vec![
 842                            (
 843                                "attribute".into(),
 844                                UserHighlightStyle {
 845                                    color: Some(rgba(0xb57614ff).into()),
 846                                    ..Default::default()
 847                                },
 848                            ),
 849                            (
 850                                "comment".into(),
 851                                UserHighlightStyle {
 852                                    color: Some(rgba(0x928374ff).into()),
 853                                    font_style: Some(UserFontStyle::Italic),
 854                                    ..Default::default()
 855                                },
 856                            ),
 857                            (
 858                                "comment.doc".into(),
 859                                UserHighlightStyle {
 860                                    color: Some(rgba(0x928374ff).into()),
 861                                    font_style: Some(UserFontStyle::Italic),
 862                                    ..Default::default()
 863                                },
 864                            ),
 865                            (
 866                                "emphasis.strong".into(),
 867                                UserHighlightStyle {
 868                                    color: Some(rgba(0xaf3a03ff).into()),
 869                                    font_weight: Some(UserFontWeight(700.0)),
 870                                    ..Default::default()
 871                                },
 872                            ),
 873                            (
 874                                "function".into(),
 875                                UserHighlightStyle {
 876                                    color: Some(rgba(0xb57614ff).into()),
 877                                    ..Default::default()
 878                                },
 879                            ),
 880                            (
 881                                "keyword".into(),
 882                                UserHighlightStyle {
 883                                    color: Some(rgba(0x9d0006ff).into()),
 884                                    ..Default::default()
 885                                },
 886                            ),
 887                            (
 888                                "label".into(),
 889                                UserHighlightStyle {
 890                                    color: Some(rgba(0xb57614ff).into()),
 891                                    ..Default::default()
 892                                },
 893                            ),
 894                            (
 895                                "link_text".into(),
 896                                UserHighlightStyle {
 897                                    color: Some(rgba(0x8f3f71ff).into()),
 898                                    ..Default::default()
 899                                },
 900                            ),
 901                            (
 902                                "link_uri".into(),
 903                                UserHighlightStyle {
 904                                    color: Some(rgba(0x8f3f71ff).into()),
 905                                    ..Default::default()
 906                                },
 907                            ),
 908                            (
 909                                "operator".into(),
 910                                UserHighlightStyle {
 911                                    color: Some(rgba(0x427b58ff).into()),
 912                                    ..Default::default()
 913                                },
 914                            ),
 915                            (
 916                                "preproc".into(),
 917                                UserHighlightStyle {
 918                                    color: Some(rgba(0xaf3a03ff).into()),
 919                                    ..Default::default()
 920                                },
 921                            ),
 922                            (
 923                                "property".into(),
 924                                UserHighlightStyle {
 925                                    color: Some(rgba(0x689d6aff).into()),
 926                                    ..Default::default()
 927                                },
 928                            ),
 929                            (
 930                                "punctuation".into(),
 931                                UserHighlightStyle {
 932                                    color: Some(rgba(0x076678ff).into()),
 933                                    ..Default::default()
 934                                },
 935                            ),
 936                            (
 937                                "punctuation.bracket".into(),
 938                                UserHighlightStyle {
 939                                    color: Some(rgba(0x076678ff).into()),
 940                                    ..Default::default()
 941                                },
 942                            ),
 943                            (
 944                                "punctuation.delimiter".into(),
 945                                UserHighlightStyle {
 946                                    color: Some(rgba(0x076678ff).into()),
 947                                    ..Default::default()
 948                                },
 949                            ),
 950                            (
 951                                "punctuation.list_marker".into(),
 952                                UserHighlightStyle {
 953                                    color: Some(rgba(0x076678ff).into()),
 954                                    ..Default::default()
 955                                },
 956                            ),
 957                            (
 958                                "punctuation.special".into(),
 959                                UserHighlightStyle {
 960                                    color: Some(rgba(0x076678ff).into()),
 961                                    ..Default::default()
 962                                },
 963                            ),
 964                            (
 965                                "string".into(),
 966                                UserHighlightStyle {
 967                                    color: Some(rgba(0x79740eff).into()),
 968                                    ..Default::default()
 969                                },
 970                            ),
 971                            (
 972                                "string.escape".into(),
 973                                UserHighlightStyle {
 974                                    color: Some(rgba(0x9d0006ff).into()),
 975                                    ..Default::default()
 976                                },
 977                            ),
 978                            (
 979                                "string.regex".into(),
 980                                UserHighlightStyle {
 981                                    color: Some(rgba(0x79740eff).into()),
 982                                    ..Default::default()
 983                                },
 984                            ),
 985                            (
 986                                "string.special".into(),
 987                                UserHighlightStyle {
 988                                    color: Some(rgba(0x79740eff).into()),
 989                                    ..Default::default()
 990                                },
 991                            ),
 992                            (
 993                                "string.special.symbol".into(),
 994                                UserHighlightStyle {
 995                                    color: Some(rgba(0x79740eff).into()),
 996                                    ..Default::default()
 997                                },
 998                            ),
 999                            (
1000                                "tag".into(),
1001                                UserHighlightStyle {
1002                                    color: Some(rgba(0x427b58ff).into()),
1003                                    ..Default::default()
1004                                },
1005                            ),
1006                            (
1007                                "text.literal".into(),
1008                                UserHighlightStyle {
1009                                    color: Some(rgba(0x79740eff).into()),
1010                                    ..Default::default()
1011                                },
1012                            ),
1013                            (
1014                                "title".into(),
1015                                UserHighlightStyle {
1016                                    color: Some(rgba(0xb57614ff).into()),
1017                                    ..Default::default()
1018                                },
1019                            ),
1020                            (
1021                                "type".into(),
1022                                UserHighlightStyle {
1023                                    color: Some(rgba(0xb57614ff).into()),
1024                                    ..Default::default()
1025                                },
1026                            ),
1027                            (
1028                                "variable".into(),
1029                                UserHighlightStyle {
1030                                    color: Some(rgba(0x076678ff).into()),
1031                                    ..Default::default()
1032                                },
1033                            ),
1034                            (
1035                                "variable.special".into(),
1036                                UserHighlightStyle {
1037                                    color: Some(rgba(0x076678ff).into()),
1038                                    ..Default::default()
1039                                },
1040                            ),
1041                        ],
1042                    }),
1043                },
1044            },
1045            UserTheme {
1046                name: "Gruvbox Light Medium".into(),
1047                appearance: Appearance::Light,
1048                styles: UserThemeStylesRefinement {
1049                    colors: ThemeColorsRefinement {
1050                        border: Some(rgba(0xebdbb2ff).into()),
1051                        border_variant: Some(rgba(0xebdbb2ff).into()),
1052                        border_focused: Some(rgba(0xebdbb2ff).into()),
1053                        border_selected: Some(rgba(0xebdbb2ff).into()),
1054                        border_transparent: Some(rgba(0xebdbb2ff).into()),
1055                        border_disabled: Some(rgba(0xebdbb2ff).into()),
1056                        background: Some(rgba(0xfbf1c7ff).into()),
1057                        element_background: Some(rgba(0x45858880).into()),
1058                        element_hover: Some(rgba(0xebdbb280).into()),
1059                        element_selected: Some(rgba(0xebdbb280).into()),
1060                        drop_target_background: Some(rgba(0xebdbb2ff).into()),
1061                        ghost_element_hover: Some(rgba(0xebdbb280).into()),
1062                        text: Some(rgba(0x3c3836ff).into()),
1063                        status_bar_background: Some(rgba(0xfbf1c7ff).into()),
1064                        title_bar_background: Some(rgba(0xfbf1c7ff).into()),
1065                        tab_inactive_background: Some(rgba(0xfbf1c7ff).into()),
1066                        tab_active_background: Some(rgba(0xebdbb2ff).into()),
1067                        editor_background: Some(rgba(0xfbf1c7ff).into()),
1068                        editor_gutter_background: Some(rgba(0xfbf1c7ff).into()),
1069                        editor_line_number: Some(rgba(0xbdae93ff).into()),
1070                        editor_active_line_number: Some(rgba(0x3c3836ff).into()),
1071                        terminal_background: Some(rgba(0xfbf1c7ff).into()),
1072                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
1073                        terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
1074                        terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
1075                        terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
1076                        terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
1077                        terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
1078                        terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
1079                        terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
1080                        terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
1081                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
1082                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
1083                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
1084                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
1085                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
1086                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
1087                        terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
1088                        ..Default::default()
1089                    },
1090                    status: StatusColorsRefinement {
1091                        deleted: Some(rgba(0x9d0006ff).into()),
1092                        error: Some(rgba(0x9d0006ff).into()),
1093                        hidden: Some(rgba(0x7c6f64ff).into()),
1094                        hint: Some(rgba(0x969696ff).into()),
1095                        ..Default::default()
1096                    },
1097                    syntax: Some(UserSyntaxTheme {
1098                        highlights: vec![
1099                            (
1100                                "attribute".into(),
1101                                UserHighlightStyle {
1102                                    color: Some(rgba(0xb57614ff).into()),
1103                                    ..Default::default()
1104                                },
1105                            ),
1106                            (
1107                                "comment".into(),
1108                                UserHighlightStyle {
1109                                    color: Some(rgba(0x928374ff).into()),
1110                                    font_style: Some(UserFontStyle::Italic),
1111                                    ..Default::default()
1112                                },
1113                            ),
1114                            (
1115                                "comment.doc".into(),
1116                                UserHighlightStyle {
1117                                    color: Some(rgba(0x928374ff).into()),
1118                                    font_style: Some(UserFontStyle::Italic),
1119                                    ..Default::default()
1120                                },
1121                            ),
1122                            (
1123                                "emphasis.strong".into(),
1124                                UserHighlightStyle {
1125                                    color: Some(rgba(0xaf3a03ff).into()),
1126                                    font_weight: Some(UserFontWeight(700.0)),
1127                                    ..Default::default()
1128                                },
1129                            ),
1130                            (
1131                                "function".into(),
1132                                UserHighlightStyle {
1133                                    color: Some(rgba(0xb57614ff).into()),
1134                                    ..Default::default()
1135                                },
1136                            ),
1137                            (
1138                                "keyword".into(),
1139                                UserHighlightStyle {
1140                                    color: Some(rgba(0x9d0006ff).into()),
1141                                    ..Default::default()
1142                                },
1143                            ),
1144                            (
1145                                "label".into(),
1146                                UserHighlightStyle {
1147                                    color: Some(rgba(0xb57614ff).into()),
1148                                    ..Default::default()
1149                                },
1150                            ),
1151                            (
1152                                "link_text".into(),
1153                                UserHighlightStyle {
1154                                    color: Some(rgba(0x8f3f71ff).into()),
1155                                    ..Default::default()
1156                                },
1157                            ),
1158                            (
1159                                "link_uri".into(),
1160                                UserHighlightStyle {
1161                                    color: Some(rgba(0x8f3f71ff).into()),
1162                                    ..Default::default()
1163                                },
1164                            ),
1165                            (
1166                                "operator".into(),
1167                                UserHighlightStyle {
1168                                    color: Some(rgba(0x427b58ff).into()),
1169                                    ..Default::default()
1170                                },
1171                            ),
1172                            (
1173                                "preproc".into(),
1174                                UserHighlightStyle {
1175                                    color: Some(rgba(0xaf3a03ff).into()),
1176                                    ..Default::default()
1177                                },
1178                            ),
1179                            (
1180                                "property".into(),
1181                                UserHighlightStyle {
1182                                    color: Some(rgba(0x689d6aff).into()),
1183                                    ..Default::default()
1184                                },
1185                            ),
1186                            (
1187                                "punctuation".into(),
1188                                UserHighlightStyle {
1189                                    color: Some(rgba(0x076678ff).into()),
1190                                    ..Default::default()
1191                                },
1192                            ),
1193                            (
1194                                "punctuation.bracket".into(),
1195                                UserHighlightStyle {
1196                                    color: Some(rgba(0x076678ff).into()),
1197                                    ..Default::default()
1198                                },
1199                            ),
1200                            (
1201                                "punctuation.delimiter".into(),
1202                                UserHighlightStyle {
1203                                    color: Some(rgba(0x076678ff).into()),
1204                                    ..Default::default()
1205                                },
1206                            ),
1207                            (
1208                                "punctuation.list_marker".into(),
1209                                UserHighlightStyle {
1210                                    color: Some(rgba(0x076678ff).into()),
1211                                    ..Default::default()
1212                                },
1213                            ),
1214                            (
1215                                "punctuation.special".into(),
1216                                UserHighlightStyle {
1217                                    color: Some(rgba(0x076678ff).into()),
1218                                    ..Default::default()
1219                                },
1220                            ),
1221                            (
1222                                "string".into(),
1223                                UserHighlightStyle {
1224                                    color: Some(rgba(0x79740eff).into()),
1225                                    ..Default::default()
1226                                },
1227                            ),
1228                            (
1229                                "string.escape".into(),
1230                                UserHighlightStyle {
1231                                    color: Some(rgba(0x9d0006ff).into()),
1232                                    ..Default::default()
1233                                },
1234                            ),
1235                            (
1236                                "string.regex".into(),
1237                                UserHighlightStyle {
1238                                    color: Some(rgba(0x79740eff).into()),
1239                                    ..Default::default()
1240                                },
1241                            ),
1242                            (
1243                                "string.special".into(),
1244                                UserHighlightStyle {
1245                                    color: Some(rgba(0x79740eff).into()),
1246                                    ..Default::default()
1247                                },
1248                            ),
1249                            (
1250                                "string.special.symbol".into(),
1251                                UserHighlightStyle {
1252                                    color: Some(rgba(0x79740eff).into()),
1253                                    ..Default::default()
1254                                },
1255                            ),
1256                            (
1257                                "tag".into(),
1258                                UserHighlightStyle {
1259                                    color: Some(rgba(0x427b58ff).into()),
1260                                    ..Default::default()
1261                                },
1262                            ),
1263                            (
1264                                "text.literal".into(),
1265                                UserHighlightStyle {
1266                                    color: Some(rgba(0x79740eff).into()),
1267                                    ..Default::default()
1268                                },
1269                            ),
1270                            (
1271                                "title".into(),
1272                                UserHighlightStyle {
1273                                    color: Some(rgba(0xb57614ff).into()),
1274                                    ..Default::default()
1275                                },
1276                            ),
1277                            (
1278                                "type".into(),
1279                                UserHighlightStyle {
1280                                    color: Some(rgba(0xb57614ff).into()),
1281                                    ..Default::default()
1282                                },
1283                            ),
1284                            (
1285                                "variable".into(),
1286                                UserHighlightStyle {
1287                                    color: Some(rgba(0x076678ff).into()),
1288                                    ..Default::default()
1289                                },
1290                            ),
1291                            (
1292                                "variable.special".into(),
1293                                UserHighlightStyle {
1294                                    color: Some(rgba(0x076678ff).into()),
1295                                    ..Default::default()
1296                                },
1297                            ),
1298                        ],
1299                    }),
1300                },
1301            },
1302            UserTheme {
1303                name: "Gruvbox Light Soft".into(),
1304                appearance: Appearance::Light,
1305                styles: UserThemeStylesRefinement {
1306                    colors: ThemeColorsRefinement {
1307                        border: Some(rgba(0xebdbb2ff).into()),
1308                        border_variant: Some(rgba(0xebdbb2ff).into()),
1309                        border_focused: Some(rgba(0xebdbb2ff).into()),
1310                        border_selected: Some(rgba(0xebdbb2ff).into()),
1311                        border_transparent: Some(rgba(0xebdbb2ff).into()),
1312                        border_disabled: Some(rgba(0xebdbb2ff).into()),
1313                        background: Some(rgba(0xf2e5bcff).into()),
1314                        element_background: Some(rgba(0x45858880).into()),
1315                        element_hover: Some(rgba(0xebdbb280).into()),
1316                        element_selected: Some(rgba(0xebdbb280).into()),
1317                        drop_target_background: Some(rgba(0xebdbb2ff).into()),
1318                        ghost_element_hover: Some(rgba(0xebdbb280).into()),
1319                        text: Some(rgba(0x3c3836ff).into()),
1320                        status_bar_background: Some(rgba(0xf2e5bcff).into()),
1321                        title_bar_background: Some(rgba(0xf2e5bcff).into()),
1322                        tab_inactive_background: Some(rgba(0xf2e5bcff).into()),
1323                        tab_active_background: Some(rgba(0xd5c4a1ff).into()),
1324                        editor_background: Some(rgba(0xf2e5bcff).into()),
1325                        editor_gutter_background: Some(rgba(0xf2e5bcff).into()),
1326                        editor_line_number: Some(rgba(0xbdae93ff).into()),
1327                        editor_active_line_number: Some(rgba(0x3c3836ff).into()),
1328                        terminal_background: Some(rgba(0xf2e5bcff).into()),
1329                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
1330                        terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
1331                        terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
1332                        terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
1333                        terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
1334                        terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
1335                        terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
1336                        terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
1337                        terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
1338                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
1339                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
1340                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
1341                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
1342                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
1343                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
1344                        terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
1345                        ..Default::default()
1346                    },
1347                    status: StatusColorsRefinement {
1348                        deleted: Some(rgba(0x9d0006ff).into()),
1349                        error: Some(rgba(0x9d0006ff).into()),
1350                        hidden: Some(rgba(0x7c6f64ff).into()),
1351                        hint: Some(rgba(0x969696ff).into()),
1352                        ..Default::default()
1353                    },
1354                    syntax: Some(UserSyntaxTheme {
1355                        highlights: vec![
1356                            (
1357                                "attribute".into(),
1358                                UserHighlightStyle {
1359                                    color: Some(rgba(0xb57614ff).into()),
1360                                    ..Default::default()
1361                                },
1362                            ),
1363                            (
1364                                "comment".into(),
1365                                UserHighlightStyle {
1366                                    color: Some(rgba(0x928374ff).into()),
1367                                    font_style: Some(UserFontStyle::Italic),
1368                                    ..Default::default()
1369                                },
1370                            ),
1371                            (
1372                                "comment.doc".into(),
1373                                UserHighlightStyle {
1374                                    color: Some(rgba(0x928374ff).into()),
1375                                    font_style: Some(UserFontStyle::Italic),
1376                                    ..Default::default()
1377                                },
1378                            ),
1379                            (
1380                                "emphasis.strong".into(),
1381                                UserHighlightStyle {
1382                                    color: Some(rgba(0xaf3a03ff).into()),
1383                                    font_weight: Some(UserFontWeight(700.0)),
1384                                    ..Default::default()
1385                                },
1386                            ),
1387                            (
1388                                "function".into(),
1389                                UserHighlightStyle {
1390                                    color: Some(rgba(0xb57614ff).into()),
1391                                    ..Default::default()
1392                                },
1393                            ),
1394                            (
1395                                "keyword".into(),
1396                                UserHighlightStyle {
1397                                    color: Some(rgba(0x9d0006ff).into()),
1398                                    ..Default::default()
1399                                },
1400                            ),
1401                            (
1402                                "label".into(),
1403                                UserHighlightStyle {
1404                                    color: Some(rgba(0xb57614ff).into()),
1405                                    ..Default::default()
1406                                },
1407                            ),
1408                            (
1409                                "link_text".into(),
1410                                UserHighlightStyle {
1411                                    color: Some(rgba(0x8f3f71ff).into()),
1412                                    ..Default::default()
1413                                },
1414                            ),
1415                            (
1416                                "link_uri".into(),
1417                                UserHighlightStyle {
1418                                    color: Some(rgba(0x8f3f71ff).into()),
1419                                    ..Default::default()
1420                                },
1421                            ),
1422                            (
1423                                "operator".into(),
1424                                UserHighlightStyle {
1425                                    color: Some(rgba(0x427b58ff).into()),
1426                                    ..Default::default()
1427                                },
1428                            ),
1429                            (
1430                                "preproc".into(),
1431                                UserHighlightStyle {
1432                                    color: Some(rgba(0xaf3a03ff).into()),
1433                                    ..Default::default()
1434                                },
1435                            ),
1436                            (
1437                                "property".into(),
1438                                UserHighlightStyle {
1439                                    color: Some(rgba(0x689d6aff).into()),
1440                                    ..Default::default()
1441                                },
1442                            ),
1443                            (
1444                                "punctuation".into(),
1445                                UserHighlightStyle {
1446                                    color: Some(rgba(0x076678ff).into()),
1447                                    ..Default::default()
1448                                },
1449                            ),
1450                            (
1451                                "punctuation.bracket".into(),
1452                                UserHighlightStyle {
1453                                    color: Some(rgba(0x076678ff).into()),
1454                                    ..Default::default()
1455                                },
1456                            ),
1457                            (
1458                                "punctuation.delimiter".into(),
1459                                UserHighlightStyle {
1460                                    color: Some(rgba(0x076678ff).into()),
1461                                    ..Default::default()
1462                                },
1463                            ),
1464                            (
1465                                "punctuation.list_marker".into(),
1466                                UserHighlightStyle {
1467                                    color: Some(rgba(0x076678ff).into()),
1468                                    ..Default::default()
1469                                },
1470                            ),
1471                            (
1472                                "punctuation.special".into(),
1473                                UserHighlightStyle {
1474                                    color: Some(rgba(0x076678ff).into()),
1475                                    ..Default::default()
1476                                },
1477                            ),
1478                            (
1479                                "string".into(),
1480                                UserHighlightStyle {
1481                                    color: Some(rgba(0x79740eff).into()),
1482                                    ..Default::default()
1483                                },
1484                            ),
1485                            (
1486                                "string.escape".into(),
1487                                UserHighlightStyle {
1488                                    color: Some(rgba(0x9d0006ff).into()),
1489                                    ..Default::default()
1490                                },
1491                            ),
1492                            (
1493                                "string.regex".into(),
1494                                UserHighlightStyle {
1495                                    color: Some(rgba(0x79740eff).into()),
1496                                    ..Default::default()
1497                                },
1498                            ),
1499                            (
1500                                "string.special".into(),
1501                                UserHighlightStyle {
1502                                    color: Some(rgba(0x79740eff).into()),
1503                                    ..Default::default()
1504                                },
1505                            ),
1506                            (
1507                                "string.special.symbol".into(),
1508                                UserHighlightStyle {
1509                                    color: Some(rgba(0x79740eff).into()),
1510                                    ..Default::default()
1511                                },
1512                            ),
1513                            (
1514                                "tag".into(),
1515                                UserHighlightStyle {
1516                                    color: Some(rgba(0x427b58ff).into()),
1517                                    ..Default::default()
1518                                },
1519                            ),
1520                            (
1521                                "text.literal".into(),
1522                                UserHighlightStyle {
1523                                    color: Some(rgba(0x79740eff).into()),
1524                                    ..Default::default()
1525                                },
1526                            ),
1527                            (
1528                                "title".into(),
1529                                UserHighlightStyle {
1530                                    color: Some(rgba(0xb57614ff).into()),
1531                                    ..Default::default()
1532                                },
1533                            ),
1534                            (
1535                                "type".into(),
1536                                UserHighlightStyle {
1537                                    color: Some(rgba(0xb57614ff).into()),
1538                                    ..Default::default()
1539                                },
1540                            ),
1541                            (
1542                                "variable".into(),
1543                                UserHighlightStyle {
1544                                    color: Some(rgba(0x076678ff).into()),
1545                                    ..Default::default()
1546                                },
1547                            ),
1548                            (
1549                                "variable.special".into(),
1550                                UserHighlightStyle {
1551                                    color: Some(rgba(0x076678ff).into()),
1552                                    ..Default::default()
1553                                },
1554                            ),
1555                        ],
1556                    }),
1557                },
1558            },
1559        ],
1560    }
1561}