noctis.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 noctis() -> UserThemeFamily {
  13    UserThemeFamily {
  14        name: "Noctis".into(),
  15        author: "Liviu Schera (liviuschera)".into(),
  16        themes: vec![
  17            UserTheme {
  18                name: "Noctis Azureus".into(),
  19                appearance: Appearance::Dark,
  20                styles: UserThemeStylesRefinement {
  21                    colors: ThemeColorsRefinement {
  22                        border: Some(rgba(0x1679b6ff).into()),
  23                        border_variant: Some(rgba(0x1679b6ff).into()),
  24                        border_focused: Some(rgba(0x09334eff).into()),
  25                        border_selected: Some(rgba(0x1679b6ff).into()),
  26                        border_transparent: Some(rgba(0x1679b6ff).into()),
  27                        border_disabled: Some(rgba(0x1679b6ff).into()),
  28                        elevated_surface_background: Some(rgba(0x09334eff).into()),
  29                        surface_background: Some(rgba(0x051b29ff).into()),
  30                        background: Some(rgba(0x07273bff).into()),
  31                        element_background: Some(rgba(0x007f99ff).into()),
  32                        element_hover: Some(rgba(0x00558a65).into()),
  33                        element_selected: Some(rgba(0x0c3f5fff).into()),
  34                        drop_target_background: Some(rgba(0x002a4dff).into()),
  35                        ghost_element_hover: Some(rgba(0x00558a65).into()),
  36                        ghost_element_selected: Some(rgba(0x0c3f5fff).into()),
  37                        text: Some(rgba(0xbecfdaff).into()),
  38                        status_bar_background: Some(rgba(0x07273bff).into()),
  39                        title_bar_background: Some(rgba(0x07273bff).into()),
  40                        toolbar_background: Some(rgba(0x07273bff).into()),
  41                        tab_bar_background: Some(rgba(0x09334eff).into()),
  42                        tab_inactive_background: Some(rgba(0x09334eff).into()),
  43                        tab_active_background: Some(rgba(0x07273bff).into()),
  44                        editor_background: Some(rgba(0x07273bff).into()),
  45                        editor_gutter_background: Some(rgba(0x07273bff).into()),
  46                        editor_line_number: Some(rgba(0x4d6c80ff).into()),
  47                        editor_active_line_number: Some(rgba(0xbecfdaff).into()),
  48                        terminal_background: Some(rgba(0x051b29ff).into()),
  49                        terminal_ansi_bright_black: Some(rgba(0x475e6cff).into()),
  50                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
  51                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
  52                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
  53                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
  54                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
  55                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
  56                        terminal_ansi_bright_white: Some(rgba(0xbecfdaff).into()),
  57                        terminal_ansi_black: Some(rgba(0x28353eff).into()),
  58                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
  59                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
  60                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
  61                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
  62                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
  63                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
  64                        terminal_ansi_white: Some(rgba(0xaec3d0ff).into()),
  65                        ..Default::default()
  66                    },
  67                    status: StatusColorsRefinement {
  68                        conflict: Some(rgba(0xffc180ff).into()),
  69                        created: Some(rgba(0x40d4e7ff).into()),
  70                        deleted: Some(rgba(0xe34e1cff).into()),
  71                        error: Some(rgba(0xe34e1cff).into()),
  72                        hidden: Some(rgba(0x9fb6c6ff).into()),
  73                        hint: Some(rgba(0x969696ff).into()),
  74                        ignored: Some(rgba(0x5b788bff).into()),
  75                        modified: Some(rgba(0x49e9a6ff).into()),
  76                        warning: Some(rgba(0xffa857ff).into()),
  77                        ..Default::default()
  78                    },
  79                    syntax: Some(UserSyntaxTheme {
  80                        highlights: vec![
  81                            (
  82                                "boolean".into(),
  83                                UserHighlightStyle {
  84                                    color: Some(rgba(0x7060ebff).into()),
  85                                    ..Default::default()
  86                                },
  87                            ),
  88                            (
  89                                "comment".into(),
  90                                UserHighlightStyle {
  91                                    color: Some(rgba(0x5988a6ff).into()),
  92                                    ..Default::default()
  93                                },
  94                            ),
  95                            (
  96                                "comment.doc".into(),
  97                                UserHighlightStyle {
  98                                    color: Some(rgba(0x5988a6ff).into()),
  99                                    ..Default::default()
 100                                },
 101                            ),
 102                            (
 103                                "constant".into(),
 104                                UserHighlightStyle {
 105                                    color: Some(rgba(0x7060ebff).into()),
 106                                    ..Default::default()
 107                                },
 108                            ),
 109                            (
 110                                "constructor".into(),
 111                                UserHighlightStyle {
 112                                    color: Some(rgba(0xe66533ff).into()),
 113                                    ..Default::default()
 114                                },
 115                            ),
 116                            (
 117                                "function".into(),
 118                                UserHighlightStyle {
 119                                    color: Some(rgba(0x16a3b6ff).into()),
 120                                    ..Default::default()
 121                                },
 122                            ),
 123                            (
 124                                "keyword".into(),
 125                                UserHighlightStyle {
 126                                    color: Some(rgba(0xe66533ff).into()),
 127                                    ..Default::default()
 128                                },
 129                            ),
 130                            (
 131                                "label".into(),
 132                                UserHighlightStyle {
 133                                    color: Some(rgba(0x49d6e9ff).into()),
 134                                    ..Default::default()
 135                                },
 136                            ),
 137                            (
 138                                "link_text".into(),
 139                                UserHighlightStyle {
 140                                    color: Some(rgba(0x49d6e9ff).into()),
 141                                    ..Default::default()
 142                                },
 143                            ),
 144                            (
 145                                "link_uri".into(),
 146                                UserHighlightStyle {
 147                                    color: Some(rgba(0x49d6e9ff).into()),
 148                                    ..Default::default()
 149                                },
 150                            ),
 151                            (
 152                                "number".into(),
 153                                UserHighlightStyle {
 154                                    color: Some(rgba(0x7060ebff).into()),
 155                                    ..Default::default()
 156                                },
 157                            ),
 158                            (
 159                                "preproc".into(),
 160                                UserHighlightStyle {
 161                                    color: Some(rgba(0xdf769bff).into()),
 162                                    ..Default::default()
 163                                },
 164                            ),
 165                            (
 166                                "property".into(),
 167                                UserHighlightStyle {
 168                                    color: Some(rgba(0x16a3b6ff).into()),
 169                                    ..Default::default()
 170                                },
 171                            ),
 172                            (
 173                                "punctuation".into(),
 174                                UserHighlightStyle {
 175                                    color: Some(rgba(0xbecfdaff).into()),
 176                                    ..Default::default()
 177                                },
 178                            ),
 179                            (
 180                                "punctuation.bracket".into(),
 181                                UserHighlightStyle {
 182                                    color: Some(rgba(0xbecfdaff).into()),
 183                                    ..Default::default()
 184                                },
 185                            ),
 186                            (
 187                                "punctuation.delimiter".into(),
 188                                UserHighlightStyle {
 189                                    color: Some(rgba(0xbecfdaff).into()),
 190                                    ..Default::default()
 191                                },
 192                            ),
 193                            (
 194                                "punctuation.list_marker".into(),
 195                                UserHighlightStyle {
 196                                    color: Some(rgba(0xbecfdaff).into()),
 197                                    ..Default::default()
 198                                },
 199                            ),
 200                            (
 201                                "punctuation.special".into(),
 202                                UserHighlightStyle {
 203                                    color: Some(rgba(0xbecfdaff).into()),
 204                                    ..Default::default()
 205                                },
 206                            ),
 207                            (
 208                                "string".into(),
 209                                UserHighlightStyle {
 210                                    color: Some(rgba(0x49e9a6ff).into()),
 211                                    ..Default::default()
 212                                },
 213                            ),
 214                            (
 215                                "string.escape".into(),
 216                                UserHighlightStyle {
 217                                    color: Some(rgba(0xbecfdaff).into()),
 218                                    ..Default::default()
 219                                },
 220                            ),
 221                            (
 222                                "string.regex".into(),
 223                                UserHighlightStyle {
 224                                    color: Some(rgba(0x49e9a6ff).into()),
 225                                    ..Default::default()
 226                                },
 227                            ),
 228                            (
 229                                "string.special".into(),
 230                                UserHighlightStyle {
 231                                    color: Some(rgba(0x49e9a6ff).into()),
 232                                    ..Default::default()
 233                                },
 234                            ),
 235                            (
 236                                "string.special.symbol".into(),
 237                                UserHighlightStyle {
 238                                    color: Some(rgba(0x49e9a6ff).into()),
 239                                    ..Default::default()
 240                                },
 241                            ),
 242                            (
 243                                "tag".into(),
 244                                UserHighlightStyle {
 245                                    color: Some(rgba(0xe66533ff).into()),
 246                                    ..Default::default()
 247                                },
 248                            ),
 249                            (
 250                                "text.literal".into(),
 251                                UserHighlightStyle {
 252                                    color: Some(rgba(0x49e9a6ff).into()),
 253                                    ..Default::default()
 254                                },
 255                            ),
 256                            (
 257                                "title".into(),
 258                                UserHighlightStyle {
 259                                    color: Some(rgba(0x49d6e9ff).into()),
 260                                    ..Default::default()
 261                                },
 262                            ),
 263                            (
 264                                "type".into(),
 265                                UserHighlightStyle {
 266                                    color: Some(rgba(0xd67e5cff).into()),
 267                                    ..Default::default()
 268                                },
 269                            ),
 270                            (
 271                                "variable".into(),
 272                                UserHighlightStyle {
 273                                    color: Some(rgba(0xe4b781ff).into()),
 274                                    ..Default::default()
 275                                },
 276                            ),
 277                            (
 278                                "variable.special".into(),
 279                                UserHighlightStyle {
 280                                    color: Some(rgba(0xe66533ff).into()),
 281                                    ..Default::default()
 282                                },
 283                            ),
 284                        ],
 285                    }),
 286                },
 287            },
 288            UserTheme {
 289                name: "Noctis Bordo".into(),
 290                appearance: Appearance::Dark,
 291                styles: UserThemeStylesRefinement {
 292                    colors: ThemeColorsRefinement {
 293                        border: Some(rgba(0x997582ff).into()),
 294                        border_variant: Some(rgba(0x997582ff).into()),
 295                        border_focused: Some(rgba(0x413036ff).into()),
 296                        border_selected: Some(rgba(0x997582ff).into()),
 297                        border_transparent: Some(rgba(0x997582ff).into()),
 298                        border_disabled: Some(rgba(0x997582ff).into()),
 299                        elevated_surface_background: Some(rgba(0x413036ff).into()),
 300                        surface_background: Some(rgba(0x272022ff).into()),
 301                        background: Some(rgba(0x322a2dff).into()),
 302                        element_background: Some(rgba(0x007f99ff).into()),
 303                        element_hover: Some(rgba(0x533641ff).into()),
 304                        element_selected: Some(rgba(0x5c2e3e99).into()),
 305                        drop_target_background: Some(rgba(0x38292eff).into()),
 306                        ghost_element_hover: Some(rgba(0x533641ff).into()),
 307                        ghost_element_selected: Some(rgba(0x5c2e3e99).into()),
 308                        text: Some(rgba(0xcbbec2ff).into()),
 309                        status_bar_background: Some(rgba(0x322a2dff).into()),
 310                        title_bar_background: Some(rgba(0x322a2dff).into()),
 311                        toolbar_background: Some(rgba(0x322a2dff).into()),
 312                        tab_bar_background: Some(rgba(0x413036ff).into()),
 313                        tab_inactive_background: Some(rgba(0x413036ff).into()),
 314                        tab_active_background: Some(rgba(0x322a2dff).into()),
 315                        editor_background: Some(rgba(0x322a2dff).into()),
 316                        editor_gutter_background: Some(rgba(0x322a2dff).into()),
 317                        editor_line_number: Some(rgba(0x715b63ff).into()),
 318                        editor_active_line_number: Some(rgba(0xcbbec2ff).into()),
 319                        terminal_background: Some(rgba(0x272022ff).into()),
 320                        terminal_ansi_bright_black: Some(rgba(0x69545bff).into()),
 321                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
 322                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
 323                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
 324                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
 325                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
 326                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
 327                        terminal_ansi_bright_white: Some(rgba(0xcbbec2ff).into()),
 328                        terminal_ansi_black: Some(rgba(0x47393eff).into()),
 329                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
 330                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
 331                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
 332                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
 333                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
 334                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
 335                        terminal_ansi_white: Some(rgba(0xb9acb0ff).into()),
 336                        ..Default::default()
 337                    },
 338                    status: StatusColorsRefinement {
 339                        conflict: Some(rgba(0xffc180ff).into()),
 340                        created: Some(rgba(0x40d4e7ff).into()),
 341                        deleted: Some(rgba(0xe34e1cff).into()),
 342                        error: Some(rgba(0xe34e1cff).into()),
 343                        hidden: Some(rgba(0xbbaab0ff).into()),
 344                        hint: Some(rgba(0x969696ff).into()),
 345                        ignored: Some(rgba(0x5b788bff).into()),
 346                        modified: Some(rgba(0x49e9a6ff).into()),
 347                        warning: Some(rgba(0xffa857ff).into()),
 348                        ..Default::default()
 349                    },
 350                    syntax: Some(UserSyntaxTheme {
 351                        highlights: vec![
 352                            (
 353                                "boolean".into(),
 354                                UserHighlightStyle {
 355                                    color: Some(rgba(0x7060ebff).into()),
 356                                    ..Default::default()
 357                                },
 358                            ),
 359                            (
 360                                "comment".into(),
 361                                UserHighlightStyle {
 362                                    color: Some(rgba(0x8b747cff).into()),
 363                                    ..Default::default()
 364                                },
 365                            ),
 366                            (
 367                                "comment.doc".into(),
 368                                UserHighlightStyle {
 369                                    color: Some(rgba(0x8b747cff).into()),
 370                                    ..Default::default()
 371                                },
 372                            ),
 373                            (
 374                                "constant".into(),
 375                                UserHighlightStyle {
 376                                    color: Some(rgba(0x7060ebff).into()),
 377                                    ..Default::default()
 378                                },
 379                            ),
 380                            (
 381                                "constructor".into(),
 382                                UserHighlightStyle {
 383                                    color: Some(rgba(0xe66533ff).into()),
 384                                    ..Default::default()
 385                                },
 386                            ),
 387                            (
 388                                "function".into(),
 389                                UserHighlightStyle {
 390                                    color: Some(rgba(0x16a3b6ff).into()),
 391                                    ..Default::default()
 392                                },
 393                            ),
 394                            (
 395                                "keyword".into(),
 396                                UserHighlightStyle {
 397                                    color: Some(rgba(0xe66533ff).into()),
 398                                    ..Default::default()
 399                                },
 400                            ),
 401                            (
 402                                "label".into(),
 403                                UserHighlightStyle {
 404                                    color: Some(rgba(0x49d6e9ff).into()),
 405                                    ..Default::default()
 406                                },
 407                            ),
 408                            (
 409                                "link_text".into(),
 410                                UserHighlightStyle {
 411                                    color: Some(rgba(0x49d6e9ff).into()),
 412                                    ..Default::default()
 413                                },
 414                            ),
 415                            (
 416                                "link_uri".into(),
 417                                UserHighlightStyle {
 418                                    color: Some(rgba(0x49d6e9ff).into()),
 419                                    ..Default::default()
 420                                },
 421                            ),
 422                            (
 423                                "number".into(),
 424                                UserHighlightStyle {
 425                                    color: Some(rgba(0x7060ebff).into()),
 426                                    ..Default::default()
 427                                },
 428                            ),
 429                            (
 430                                "preproc".into(),
 431                                UserHighlightStyle {
 432                                    color: Some(rgba(0xdf769bff).into()),
 433                                    ..Default::default()
 434                                },
 435                            ),
 436                            (
 437                                "property".into(),
 438                                UserHighlightStyle {
 439                                    color: Some(rgba(0x16a3b6ff).into()),
 440                                    ..Default::default()
 441                                },
 442                            ),
 443                            (
 444                                "punctuation".into(),
 445                                UserHighlightStyle {
 446                                    color: Some(rgba(0xcbbec2ff).into()),
 447                                    ..Default::default()
 448                                },
 449                            ),
 450                            (
 451                                "punctuation.bracket".into(),
 452                                UserHighlightStyle {
 453                                    color: Some(rgba(0xcbbec2ff).into()),
 454                                    ..Default::default()
 455                                },
 456                            ),
 457                            (
 458                                "punctuation.delimiter".into(),
 459                                UserHighlightStyle {
 460                                    color: Some(rgba(0xcbbec2ff).into()),
 461                                    ..Default::default()
 462                                },
 463                            ),
 464                            (
 465                                "punctuation.list_marker".into(),
 466                                UserHighlightStyle {
 467                                    color: Some(rgba(0xcbbec2ff).into()),
 468                                    ..Default::default()
 469                                },
 470                            ),
 471                            (
 472                                "punctuation.special".into(),
 473                                UserHighlightStyle {
 474                                    color: Some(rgba(0xcbbec2ff).into()),
 475                                    ..Default::default()
 476                                },
 477                            ),
 478                            (
 479                                "string".into(),
 480                                UserHighlightStyle {
 481                                    color: Some(rgba(0x49e9a6ff).into()),
 482                                    ..Default::default()
 483                                },
 484                            ),
 485                            (
 486                                "string.escape".into(),
 487                                UserHighlightStyle {
 488                                    color: Some(rgba(0xcbbec2ff).into()),
 489                                    ..Default::default()
 490                                },
 491                            ),
 492                            (
 493                                "string.regex".into(),
 494                                UserHighlightStyle {
 495                                    color: Some(rgba(0x49e9a6ff).into()),
 496                                    ..Default::default()
 497                                },
 498                            ),
 499                            (
 500                                "string.special".into(),
 501                                UserHighlightStyle {
 502                                    color: Some(rgba(0x49e9a6ff).into()),
 503                                    ..Default::default()
 504                                },
 505                            ),
 506                            (
 507                                "string.special.symbol".into(),
 508                                UserHighlightStyle {
 509                                    color: Some(rgba(0x49e9a6ff).into()),
 510                                    ..Default::default()
 511                                },
 512                            ),
 513                            (
 514                                "tag".into(),
 515                                UserHighlightStyle {
 516                                    color: Some(rgba(0xe66533ff).into()),
 517                                    ..Default::default()
 518                                },
 519                            ),
 520                            (
 521                                "text.literal".into(),
 522                                UserHighlightStyle {
 523                                    color: Some(rgba(0x49e9a6ff).into()),
 524                                    ..Default::default()
 525                                },
 526                            ),
 527                            (
 528                                "title".into(),
 529                                UserHighlightStyle {
 530                                    color: Some(rgba(0x49d6e9ff).into()),
 531                                    ..Default::default()
 532                                },
 533                            ),
 534                            (
 535                                "type".into(),
 536                                UserHighlightStyle {
 537                                    color: Some(rgba(0xd67e5cff).into()),
 538                                    ..Default::default()
 539                                },
 540                            ),
 541                            (
 542                                "variable".into(),
 543                                UserHighlightStyle {
 544                                    color: Some(rgba(0xe4b781ff).into()),
 545                                    ..Default::default()
 546                                },
 547                            ),
 548                            (
 549                                "variable.special".into(),
 550                                UserHighlightStyle {
 551                                    color: Some(rgba(0xe66533ff).into()),
 552                                    ..Default::default()
 553                                },
 554                            ),
 555                        ],
 556                    }),
 557                },
 558            },
 559            UserTheme {
 560                name: "Noctus Hibernus".into(),
 561                appearance: Appearance::Light,
 562                styles: UserThemeStylesRefinement {
 563                    colors: ThemeColorsRefinement {
 564                        border: Some(rgba(0x00c6e0ff).into()),
 565                        border_variant: Some(rgba(0x00c6e0ff).into()),
 566                        border_focused: Some(rgba(0xe0eff1ff).into()),
 567                        border_selected: Some(rgba(0x00c6e0ff).into()),
 568                        border_transparent: Some(rgba(0x00c6e0ff).into()),
 569                        border_disabled: Some(rgba(0x00c6e0ff).into()),
 570                        elevated_surface_background: Some(rgba(0xf4f6f6ff).into()),
 571                        surface_background: Some(rgba(0xe1eeefff).into()),
 572                        background: Some(rgba(0xf4f6f6ff).into()),
 573                        element_background: Some(rgba(0x099099ff).into()),
 574                        element_hover: Some(rgba(0xd1eafaff).into()),
 575                        element_selected: Some(rgba(0xb6e1e7ff).into()),
 576                        drop_target_background: Some(rgba(0xb2cacdff).into()),
 577                        ghost_element_hover: Some(rgba(0xd1eafaff).into()),
 578                        ghost_element_selected: Some(rgba(0xb6e1e7ff).into()),
 579                        text: Some(rgba(0x005661ff).into()),
 580                        status_bar_background: Some(rgba(0xcaedf2ff).into()),
 581                        title_bar_background: Some(rgba(0xe7f2f3ff).into()),
 582                        toolbar_background: Some(rgba(0xf4f6f6ff).into()),
 583                        tab_bar_background: Some(rgba(0xcaedf2ff).into()),
 584                        tab_inactive_background: Some(rgba(0xcaedf2ff).into()),
 585                        tab_active_background: Some(rgba(0xf4f6f6ff).into()),
 586                        editor_background: Some(rgba(0xf4f6f6ff).into()),
 587                        editor_gutter_background: Some(rgba(0xf4f6f6ff).into()),
 588                        editor_line_number: Some(rgba(0xa0abacff).into()),
 589                        editor_active_line_number: Some(rgba(0x005661ff).into()),
 590                        terminal_background: Some(rgba(0xe1eeefff).into()),
 591                        terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
 592                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
 593                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
 594                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
 595                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
 596                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
 597                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
 598                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
 599                        terminal_ansi_black: Some(rgba(0x003b42ff).into()),
 600                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
 601                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
 602                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
 603                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
 604                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
 605                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
 606                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
 607                        ..Default::default()
 608                    },
 609                    status: StatusColorsRefinement {
 610                        conflict: Some(rgba(0xe9a149ff).into()),
 611                        created: Some(rgba(0x00c6e0ff).into()),
 612                        deleted: Some(rgba(0xff4000ff).into()),
 613                        error: Some(rgba(0xff4000ff).into()),
 614                        hidden: Some(rgba(0x71838eff).into()),
 615                        hint: Some(rgba(0x969696ff).into()),
 616                        ignored: Some(rgba(0xa8a28faa).into()),
 617                        modified: Some(rgba(0x14b832ff).into()),
 618                        warning: Some(rgba(0xe07a52ff).into()),
 619                        ..Default::default()
 620                    },
 621                    syntax: Some(UserSyntaxTheme {
 622                        highlights: vec![
 623                            (
 624                                "boolean".into(),
 625                                UserHighlightStyle {
 626                                    color: Some(rgba(0x5842ffff).into()),
 627                                    ..Default::default()
 628                                },
 629                            ),
 630                            (
 631                                "comment".into(),
 632                                UserHighlightStyle {
 633                                    color: Some(rgba(0x8ca6a6ff).into()),
 634                                    ..Default::default()
 635                                },
 636                            ),
 637                            (
 638                                "comment.doc".into(),
 639                                UserHighlightStyle {
 640                                    color: Some(rgba(0x8ca6a6ff).into()),
 641                                    ..Default::default()
 642                                },
 643                            ),
 644                            (
 645                                "constant".into(),
 646                                UserHighlightStyle {
 647                                    color: Some(rgba(0x5842ffff).into()),
 648                                    ..Default::default()
 649                                },
 650                            ),
 651                            (
 652                                "constructor".into(),
 653                                UserHighlightStyle {
 654                                    color: Some(rgba(0xe64100ff).into()),
 655                                    ..Default::default()
 656                                },
 657                            ),
 658                            (
 659                                "function".into(),
 660                                UserHighlightStyle {
 661                                    color: Some(rgba(0x0095a8ff).into()),
 662                                    ..Default::default()
 663                                },
 664                            ),
 665                            (
 666                                "keyword".into(),
 667                                UserHighlightStyle {
 668                                    color: Some(rgba(0xe64100ff).into()),
 669                                    ..Default::default()
 670                                },
 671                            ),
 672                            (
 673                                "label".into(),
 674                                UserHighlightStyle {
 675                                    color: Some(rgba(0x00bdd6ff).into()),
 676                                    ..Default::default()
 677                                },
 678                            ),
 679                            (
 680                                "link_text".into(),
 681                                UserHighlightStyle {
 682                                    color: Some(rgba(0x00bdd6ff).into()),
 683                                    ..Default::default()
 684                                },
 685                            ),
 686                            (
 687                                "link_uri".into(),
 688                                UserHighlightStyle {
 689                                    color: Some(rgba(0x00bdd6ff).into()),
 690                                    ..Default::default()
 691                                },
 692                            ),
 693                            (
 694                                "number".into(),
 695                                UserHighlightStyle {
 696                                    color: Some(rgba(0x5842ffff).into()),
 697                                    ..Default::default()
 698                                },
 699                            ),
 700                            (
 701                                "preproc".into(),
 702                                UserHighlightStyle {
 703                                    color: Some(rgba(0xff5792ff).into()),
 704                                    ..Default::default()
 705                                },
 706                            ),
 707                            (
 708                                "property".into(),
 709                                UserHighlightStyle {
 710                                    color: Some(rgba(0x0095a8ff).into()),
 711                                    ..Default::default()
 712                                },
 713                            ),
 714                            (
 715                                "punctuation".into(),
 716                                UserHighlightStyle {
 717                                    color: Some(rgba(0x004d57ff).into()),
 718                                    ..Default::default()
 719                                },
 720                            ),
 721                            (
 722                                "punctuation.bracket".into(),
 723                                UserHighlightStyle {
 724                                    color: Some(rgba(0x004d57ff).into()),
 725                                    ..Default::default()
 726                                },
 727                            ),
 728                            (
 729                                "punctuation.delimiter".into(),
 730                                UserHighlightStyle {
 731                                    color: Some(rgba(0x004d57ff).into()),
 732                                    ..Default::default()
 733                                },
 734                            ),
 735                            (
 736                                "punctuation.list_marker".into(),
 737                                UserHighlightStyle {
 738                                    color: Some(rgba(0x004d57ff).into()),
 739                                    ..Default::default()
 740                                },
 741                            ),
 742                            (
 743                                "punctuation.special".into(),
 744                                UserHighlightStyle {
 745                                    color: Some(rgba(0x004d57ff).into()),
 746                                    ..Default::default()
 747                                },
 748                            ),
 749                            (
 750                                "string".into(),
 751                                UserHighlightStyle {
 752                                    color: Some(rgba(0x00b368ff).into()),
 753                                    ..Default::default()
 754                                },
 755                            ),
 756                            (
 757                                "string.escape".into(),
 758                                UserHighlightStyle {
 759                                    color: Some(rgba(0x004d57ff).into()),
 760                                    ..Default::default()
 761                                },
 762                            ),
 763                            (
 764                                "string.regex".into(),
 765                                UserHighlightStyle {
 766                                    color: Some(rgba(0x00b368ff).into()),
 767                                    ..Default::default()
 768                                },
 769                            ),
 770                            (
 771                                "string.special".into(),
 772                                UserHighlightStyle {
 773                                    color: Some(rgba(0x00b368ff).into()),
 774                                    ..Default::default()
 775                                },
 776                            ),
 777                            (
 778                                "string.special.symbol".into(),
 779                                UserHighlightStyle {
 780                                    color: Some(rgba(0x00b368ff).into()),
 781                                    ..Default::default()
 782                                },
 783                            ),
 784                            (
 785                                "tag".into(),
 786                                UserHighlightStyle {
 787                                    color: Some(rgba(0xe64100ff).into()),
 788                                    ..Default::default()
 789                                },
 790                            ),
 791                            (
 792                                "text.literal".into(),
 793                                UserHighlightStyle {
 794                                    color: Some(rgba(0x00b368ff).into()),
 795                                    ..Default::default()
 796                                },
 797                            ),
 798                            (
 799                                "title".into(),
 800                                UserHighlightStyle {
 801                                    color: Some(rgba(0x00bdd6ff).into()),
 802                                    ..Default::default()
 803                                },
 804                            ),
 805                            (
 806                                "type".into(),
 807                                UserHighlightStyle {
 808                                    color: Some(rgba(0xb3694dff).into()),
 809                                    ..Default::default()
 810                                },
 811                            ),
 812                            (
 813                                "variable".into(),
 814                                UserHighlightStyle {
 815                                    color: Some(rgba(0xfa8900ff).into()),
 816                                    ..Default::default()
 817                                },
 818                            ),
 819                            (
 820                                "variable.special".into(),
 821                                UserHighlightStyle {
 822                                    color: Some(rgba(0xe64100ff).into()),
 823                                    ..Default::default()
 824                                },
 825                            ),
 826                        ],
 827                    }),
 828                },
 829            },
 830            UserTheme {
 831                name: "Noctis Lilac".into(),
 832                appearance: Appearance::Dark,
 833                styles: UserThemeStylesRefinement {
 834                    colors: ThemeColorsRefinement {
 835                        border: Some(rgba(0xaea4f4ff).into()),
 836                        border_variant: Some(rgba(0xaea4f4ff).into()),
 837                        border_focused: Some(rgba(0xdedbf5ff).into()),
 838                        border_selected: Some(rgba(0xaea4f4ff).into()),
 839                        border_transparent: Some(rgba(0xaea4f4ff).into()),
 840                        border_disabled: Some(rgba(0xaea4f4ff).into()),
 841                        elevated_surface_background: Some(rgba(0xf2f1f8ff).into()),
 842                        surface_background: Some(rgba(0xe9e7f3ff).into()),
 843                        background: Some(rgba(0xf2f1f8ff).into()),
 844                        element_background: Some(rgba(0x8e80ffff).into()),
 845                        element_hover: Some(rgba(0xd2ccffff).into()),
 846                        element_selected: Some(rgba(0xbcb6e7ff).into()),
 847                        drop_target_background: Some(rgba(0xafaad4aa).into()),
 848                        ghost_element_hover: Some(rgba(0xd2ccffff).into()),
 849                        ghost_element_selected: Some(rgba(0xbcb6e7ff).into()),
 850                        text: Some(rgba(0x0c006bff).into()),
 851                        status_bar_background: Some(rgba(0xe2dff6ff).into()),
 852                        title_bar_background: Some(rgba(0xedecf8ff).into()),
 853                        toolbar_background: Some(rgba(0xf2f1f8ff).into()),
 854                        tab_bar_background: Some(rgba(0xe2dff6ff).into()),
 855                        tab_inactive_background: Some(rgba(0xe2dff6ff).into()),
 856                        tab_active_background: Some(rgba(0xf2f1f8ff).into()),
 857                        editor_background: Some(rgba(0xf2f1f8ff).into()),
 858                        editor_gutter_background: Some(rgba(0xf2f1f8ff).into()),
 859                        editor_line_number: Some(rgba(0x9d9ab1ff).into()),
 860                        editor_active_line_number: Some(rgba(0x0c006bff).into()),
 861                        terminal_background: Some(rgba(0xe9e7f3ff).into()),
 862                        terminal_ansi_bright_black: Some(rgba(0x0f0080ff).into()),
 863                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
 864                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
 865                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
 866                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
 867                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
 868                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
 869                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
 870                        terminal_ansi_black: Some(rgba(0x0c006bff).into()),
 871                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
 872                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
 873                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
 874                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
 875                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
 876                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
 877                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
 878                        ..Default::default()
 879                    },
 880                    status: StatusColorsRefinement {
 881                        conflict: Some(rgba(0xe9a149ff).into()),
 882                        created: Some(rgba(0x00c6e0ff).into()),
 883                        deleted: Some(rgba(0xff4000ff).into()),
 884                        error: Some(rgba(0xff4000ff).into()),
 885                        hidden: Some(rgba(0x75718eff).into()),
 886                        hint: Some(rgba(0x969696ff).into()),
 887                        ignored: Some(rgba(0xa8a28faa).into()),
 888                        modified: Some(rgba(0x14b832ff).into()),
 889                        warning: Some(rgba(0xe07a52ff).into()),
 890                        ..Default::default()
 891                    },
 892                    syntax: Some(UserSyntaxTheme {
 893                        highlights: vec![
 894                            (
 895                                "boolean".into(),
 896                                UserHighlightStyle {
 897                                    color: Some(rgba(0x5842ffff).into()),
 898                                    ..Default::default()
 899                                },
 900                            ),
 901                            (
 902                                "comment".into(),
 903                                UserHighlightStyle {
 904                                    color: Some(rgba(0x9995b7ff).into()),
 905                                    ..Default::default()
 906                                },
 907                            ),
 908                            (
 909                                "comment.doc".into(),
 910                                UserHighlightStyle {
 911                                    color: Some(rgba(0x9995b7ff).into()),
 912                                    ..Default::default()
 913                                },
 914                            ),
 915                            (
 916                                "constant".into(),
 917                                UserHighlightStyle {
 918                                    color: Some(rgba(0x5842ffff).into()),
 919                                    ..Default::default()
 920                                },
 921                            ),
 922                            (
 923                                "constructor".into(),
 924                                UserHighlightStyle {
 925                                    color: Some(rgba(0xe64100ff).into()),
 926                                    ..Default::default()
 927                                },
 928                            ),
 929                            (
 930                                "function".into(),
 931                                UserHighlightStyle {
 932                                    color: Some(rgba(0x0095a8ff).into()),
 933                                    ..Default::default()
 934                                },
 935                            ),
 936                            (
 937                                "keyword".into(),
 938                                UserHighlightStyle {
 939                                    color: Some(rgba(0xe64100ff).into()),
 940                                    ..Default::default()
 941                                },
 942                            ),
 943                            (
 944                                "label".into(),
 945                                UserHighlightStyle {
 946                                    color: Some(rgba(0x00bdd6ff).into()),
 947                                    ..Default::default()
 948                                },
 949                            ),
 950                            (
 951                                "link_text".into(),
 952                                UserHighlightStyle {
 953                                    color: Some(rgba(0x00bdd6ff).into()),
 954                                    ..Default::default()
 955                                },
 956                            ),
 957                            (
 958                                "link_uri".into(),
 959                                UserHighlightStyle {
 960                                    color: Some(rgba(0x00bdd6ff).into()),
 961                                    ..Default::default()
 962                                },
 963                            ),
 964                            (
 965                                "number".into(),
 966                                UserHighlightStyle {
 967                                    color: Some(rgba(0x5842ffff).into()),
 968                                    ..Default::default()
 969                                },
 970                            ),
 971                            (
 972                                "preproc".into(),
 973                                UserHighlightStyle {
 974                                    color: Some(rgba(0xff5792ff).into()),
 975                                    ..Default::default()
 976                                },
 977                            ),
 978                            (
 979                                "property".into(),
 980                                UserHighlightStyle {
 981                                    color: Some(rgba(0x0095a8ff).into()),
 982                                    ..Default::default()
 983                                },
 984                            ),
 985                            (
 986                                "punctuation".into(),
 987                                UserHighlightStyle {
 988                                    color: Some(rgba(0x0c006bff).into()),
 989                                    ..Default::default()
 990                                },
 991                            ),
 992                            (
 993                                "punctuation.bracket".into(),
 994                                UserHighlightStyle {
 995                                    color: Some(rgba(0x0c006bff).into()),
 996                                    ..Default::default()
 997                                },
 998                            ),
 999                            (
1000                                "punctuation.delimiter".into(),
1001                                UserHighlightStyle {
1002                                    color: Some(rgba(0x0c006bff).into()),
1003                                    ..Default::default()
1004                                },
1005                            ),
1006                            (
1007                                "punctuation.list_marker".into(),
1008                                UserHighlightStyle {
1009                                    color: Some(rgba(0x0c006bff).into()),
1010                                    ..Default::default()
1011                                },
1012                            ),
1013                            (
1014                                "punctuation.special".into(),
1015                                UserHighlightStyle {
1016                                    color: Some(rgba(0x0c006bff).into()),
1017                                    ..Default::default()
1018                                },
1019                            ),
1020                            (
1021                                "string".into(),
1022                                UserHighlightStyle {
1023                                    color: Some(rgba(0x00b368ff).into()),
1024                                    ..Default::default()
1025                                },
1026                            ),
1027                            (
1028                                "string.escape".into(),
1029                                UserHighlightStyle {
1030                                    color: Some(rgba(0x0c006bff).into()),
1031                                    ..Default::default()
1032                                },
1033                            ),
1034                            (
1035                                "string.regex".into(),
1036                                UserHighlightStyle {
1037                                    color: Some(rgba(0x00b368ff).into()),
1038                                    ..Default::default()
1039                                },
1040                            ),
1041                            (
1042                                "string.special".into(),
1043                                UserHighlightStyle {
1044                                    color: Some(rgba(0x00b368ff).into()),
1045                                    ..Default::default()
1046                                },
1047                            ),
1048                            (
1049                                "string.special.symbol".into(),
1050                                UserHighlightStyle {
1051                                    color: Some(rgba(0x00b368ff).into()),
1052                                    ..Default::default()
1053                                },
1054                            ),
1055                            (
1056                                "tag".into(),
1057                                UserHighlightStyle {
1058                                    color: Some(rgba(0xe64100ff).into()),
1059                                    ..Default::default()
1060                                },
1061                            ),
1062                            (
1063                                "text.literal".into(),
1064                                UserHighlightStyle {
1065                                    color: Some(rgba(0x00b368ff).into()),
1066                                    ..Default::default()
1067                                },
1068                            ),
1069                            (
1070                                "title".into(),
1071                                UserHighlightStyle {
1072                                    color: Some(rgba(0x00bdd6ff).into()),
1073                                    ..Default::default()
1074                                },
1075                            ),
1076                            (
1077                                "type".into(),
1078                                UserHighlightStyle {
1079                                    color: Some(rgba(0xb3694dff).into()),
1080                                    ..Default::default()
1081                                },
1082                            ),
1083                            (
1084                                "variable".into(),
1085                                UserHighlightStyle {
1086                                    color: Some(rgba(0xfa8900ff).into()),
1087                                    ..Default::default()
1088                                },
1089                            ),
1090                            (
1091                                "variable.special".into(),
1092                                UserHighlightStyle {
1093                                    color: Some(rgba(0xe64100ff).into()),
1094                                    ..Default::default()
1095                                },
1096                            ),
1097                        ],
1098                    }),
1099                },
1100            },
1101            UserTheme {
1102                name: "Noctis Lux".into(),
1103                appearance: Appearance::Light,
1104                styles: UserThemeStylesRefinement {
1105                    colors: ThemeColorsRefinement {
1106                        border: Some(rgba(0x00c6e0ff).into()),
1107                        border_variant: Some(rgba(0x00c6e0ff).into()),
1108                        border_focused: Some(rgba(0xf2eddeff).into()),
1109                        border_selected: Some(rgba(0x00c6e0ff).into()),
1110                        border_transparent: Some(rgba(0x00c6e0ff).into()),
1111                        border_disabled: Some(rgba(0x00c6e0ff).into()),
1112                        elevated_surface_background: Some(rgba(0xfef8ecff).into()),
1113                        surface_background: Some(rgba(0xf6eddaff).into()),
1114                        background: Some(rgba(0xfef8ecff).into()),
1115                        element_background: Some(rgba(0x099099ff).into()),
1116                        element_hover: Some(rgba(0xd2f3f9ff).into()),
1117                        element_selected: Some(rgba(0xb6e1e7ff).into()),
1118                        drop_target_background: Some(rgba(0xcdcbb2ff).into()),
1119                        ghost_element_hover: Some(rgba(0xd2f3f9ff).into()),
1120                        ghost_element_selected: Some(rgba(0xb6e1e7ff).into()),
1121                        text: Some(rgba(0x005661ff).into()),
1122                        status_bar_background: Some(rgba(0xf0e9d6ff).into()),
1123                        title_bar_background: Some(rgba(0xf9f1e1ff).into()),
1124                        toolbar_background: Some(rgba(0xfef8ecff).into()),
1125                        tab_bar_background: Some(rgba(0xf0e9d6ff).into()),
1126                        tab_inactive_background: Some(rgba(0xf0e9d6ff).into()),
1127                        tab_active_background: Some(rgba(0xfef8ecff).into()),
1128                        editor_background: Some(rgba(0xfef8ecff).into()),
1129                        editor_gutter_background: Some(rgba(0xfef8ecff).into()),
1130                        editor_line_number: Some(rgba(0xa0abacff).into()),
1131                        editor_active_line_number: Some(rgba(0x005661ff).into()),
1132                        terminal_background: Some(rgba(0xf6eddaff).into()),
1133                        terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
1134                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
1135                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
1136                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
1137                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
1138                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
1139                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
1140                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
1141                        terminal_ansi_black: Some(rgba(0x003b42ff).into()),
1142                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
1143                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
1144                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
1145                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
1146                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
1147                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
1148                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
1149                        ..Default::default()
1150                    },
1151                    status: StatusColorsRefinement {
1152                        conflict: Some(rgba(0xe9a149ff).into()),
1153                        created: Some(rgba(0x00c6e0ff).into()),
1154                        deleted: Some(rgba(0xff4000ff).into()),
1155                        error: Some(rgba(0xff4000ff).into()),
1156                        hidden: Some(rgba(0x888477ff).into()),
1157                        hint: Some(rgba(0x969696ff).into()),
1158                        ignored: Some(rgba(0xa8a28faa).into()),
1159                        modified: Some(rgba(0x14b832ff).into()),
1160                        warning: Some(rgba(0xe07a52ff).into()),
1161                        ..Default::default()
1162                    },
1163                    syntax: Some(UserSyntaxTheme {
1164                        highlights: vec![
1165                            (
1166                                "boolean".into(),
1167                                UserHighlightStyle {
1168                                    color: Some(rgba(0x5842ffff).into()),
1169                                    ..Default::default()
1170                                },
1171                            ),
1172                            (
1173                                "comment".into(),
1174                                UserHighlightStyle {
1175                                    color: Some(rgba(0x8ca6a6ff).into()),
1176                                    ..Default::default()
1177                                },
1178                            ),
1179                            (
1180                                "comment.doc".into(),
1181                                UserHighlightStyle {
1182                                    color: Some(rgba(0x8ca6a6ff).into()),
1183                                    ..Default::default()
1184                                },
1185                            ),
1186                            (
1187                                "constant".into(),
1188                                UserHighlightStyle {
1189                                    color: Some(rgba(0x5842ffff).into()),
1190                                    ..Default::default()
1191                                },
1192                            ),
1193                            (
1194                                "constructor".into(),
1195                                UserHighlightStyle {
1196                                    color: Some(rgba(0xe64100ff).into()),
1197                                    ..Default::default()
1198                                },
1199                            ),
1200                            (
1201                                "function".into(),
1202                                UserHighlightStyle {
1203                                    color: Some(rgba(0x0095a8ff).into()),
1204                                    ..Default::default()
1205                                },
1206                            ),
1207                            (
1208                                "keyword".into(),
1209                                UserHighlightStyle {
1210                                    color: Some(rgba(0xe64100ff).into()),
1211                                    ..Default::default()
1212                                },
1213                            ),
1214                            (
1215                                "label".into(),
1216                                UserHighlightStyle {
1217                                    color: Some(rgba(0x00bdd6ff).into()),
1218                                    ..Default::default()
1219                                },
1220                            ),
1221                            (
1222                                "link_text".into(),
1223                                UserHighlightStyle {
1224                                    color: Some(rgba(0x00bdd6ff).into()),
1225                                    ..Default::default()
1226                                },
1227                            ),
1228                            (
1229                                "link_uri".into(),
1230                                UserHighlightStyle {
1231                                    color: Some(rgba(0x00bdd6ff).into()),
1232                                    ..Default::default()
1233                                },
1234                            ),
1235                            (
1236                                "number".into(),
1237                                UserHighlightStyle {
1238                                    color: Some(rgba(0x5842ffff).into()),
1239                                    ..Default::default()
1240                                },
1241                            ),
1242                            (
1243                                "preproc".into(),
1244                                UserHighlightStyle {
1245                                    color: Some(rgba(0xff5792ff).into()),
1246                                    ..Default::default()
1247                                },
1248                            ),
1249                            (
1250                                "property".into(),
1251                                UserHighlightStyle {
1252                                    color: Some(rgba(0x0095a8ff).into()),
1253                                    ..Default::default()
1254                                },
1255                            ),
1256                            (
1257                                "punctuation".into(),
1258                                UserHighlightStyle {
1259                                    color: Some(rgba(0x004d57ff).into()),
1260                                    ..Default::default()
1261                                },
1262                            ),
1263                            (
1264                                "punctuation.bracket".into(),
1265                                UserHighlightStyle {
1266                                    color: Some(rgba(0x004d57ff).into()),
1267                                    ..Default::default()
1268                                },
1269                            ),
1270                            (
1271                                "punctuation.delimiter".into(),
1272                                UserHighlightStyle {
1273                                    color: Some(rgba(0x004d57ff).into()),
1274                                    ..Default::default()
1275                                },
1276                            ),
1277                            (
1278                                "punctuation.list_marker".into(),
1279                                UserHighlightStyle {
1280                                    color: Some(rgba(0x004d57ff).into()),
1281                                    ..Default::default()
1282                                },
1283                            ),
1284                            (
1285                                "punctuation.special".into(),
1286                                UserHighlightStyle {
1287                                    color: Some(rgba(0x004d57ff).into()),
1288                                    ..Default::default()
1289                                },
1290                            ),
1291                            (
1292                                "string".into(),
1293                                UserHighlightStyle {
1294                                    color: Some(rgba(0x00b368ff).into()),
1295                                    ..Default::default()
1296                                },
1297                            ),
1298                            (
1299                                "string.escape".into(),
1300                                UserHighlightStyle {
1301                                    color: Some(rgba(0x004d57ff).into()),
1302                                    ..Default::default()
1303                                },
1304                            ),
1305                            (
1306                                "string.regex".into(),
1307                                UserHighlightStyle {
1308                                    color: Some(rgba(0x00b368ff).into()),
1309                                    ..Default::default()
1310                                },
1311                            ),
1312                            (
1313                                "string.special".into(),
1314                                UserHighlightStyle {
1315                                    color: Some(rgba(0x00b368ff).into()),
1316                                    ..Default::default()
1317                                },
1318                            ),
1319                            (
1320                                "string.special.symbol".into(),
1321                                UserHighlightStyle {
1322                                    color: Some(rgba(0x00b368ff).into()),
1323                                    ..Default::default()
1324                                },
1325                            ),
1326                            (
1327                                "tag".into(),
1328                                UserHighlightStyle {
1329                                    color: Some(rgba(0xe64100ff).into()),
1330                                    ..Default::default()
1331                                },
1332                            ),
1333                            (
1334                                "text.literal".into(),
1335                                UserHighlightStyle {
1336                                    color: Some(rgba(0x00b368ff).into()),
1337                                    ..Default::default()
1338                                },
1339                            ),
1340                            (
1341                                "title".into(),
1342                                UserHighlightStyle {
1343                                    color: Some(rgba(0x00bdd6ff).into()),
1344                                    ..Default::default()
1345                                },
1346                            ),
1347                            (
1348                                "type".into(),
1349                                UserHighlightStyle {
1350                                    color: Some(rgba(0xb3694dff).into()),
1351                                    ..Default::default()
1352                                },
1353                            ),
1354                            (
1355                                "variable".into(),
1356                                UserHighlightStyle {
1357                                    color: Some(rgba(0xfa8900ff).into()),
1358                                    ..Default::default()
1359                                },
1360                            ),
1361                            (
1362                                "variable.special".into(),
1363                                UserHighlightStyle {
1364                                    color: Some(rgba(0xe64100ff).into()),
1365                                    ..Default::default()
1366                                },
1367                            ),
1368                        ],
1369                    }),
1370                },
1371            },
1372            UserTheme {
1373                name: "Noctis Minimus".into(),
1374                appearance: Appearance::Dark,
1375                styles: UserThemeStylesRefinement {
1376                    colors: ThemeColorsRefinement {
1377                        border: Some(rgba(0x496d83ff).into()),
1378                        border_variant: Some(rgba(0x496d83ff).into()),
1379                        border_focused: Some(rgba(0x202e37ff).into()),
1380                        border_selected: Some(rgba(0x496d83ff).into()),
1381                        border_transparent: Some(rgba(0x496d83ff).into()),
1382                        border_disabled: Some(rgba(0x496d83ff).into()),
1383                        elevated_surface_background: Some(rgba(0x202e37ff).into()),
1384                        surface_background: Some(rgba(0x0e1920ff).into()),
1385                        background: Some(rgba(0x1b2932ff).into()),
1386                        element_background: Some(rgba(0x2e616bff).into()),
1387                        element_hover: Some(rgba(0x00558aff).into()),
1388                        element_selected: Some(rgba(0x2c414eff).into()),
1389                        drop_target_background: Some(rgba(0x152837ff).into()),
1390                        ghost_element_hover: Some(rgba(0x00558aff).into()),
1391                        ghost_element_selected: Some(rgba(0x2c414eff).into()),
1392                        text: Some(rgba(0xc5cdd3ff).into()),
1393                        status_bar_background: Some(rgba(0x1b2932ff).into()),
1394                        title_bar_background: Some(rgba(0x1b2932ff).into()),
1395                        toolbar_background: Some(rgba(0x1b2932ff).into()),
1396                        tab_bar_background: Some(rgba(0x24333dff).into()),
1397                        tab_inactive_background: Some(rgba(0x202e37ff).into()),
1398                        tab_active_background: Some(rgba(0x1b2932ff).into()),
1399                        editor_background: Some(rgba(0x1b2932ff).into()),
1400                        editor_gutter_background: Some(rgba(0x1b2932ff).into()),
1401                        editor_line_number: Some(rgba(0x5d6e79ff).into()),
1402                        editor_active_line_number: Some(rgba(0xc5cdd3ff).into()),
1403                        terminal_background: Some(rgba(0x0e1920ff).into()),
1404                        terminal_ansi_bright_black: Some(rgba(0x425866ff).into()),
1405                        terminal_ansi_bright_red: Some(rgba(0xca8468ff).into()),
1406                        terminal_ansi_bright_green: Some(rgba(0x84c8abff).into()),
1407                        terminal_ansi_bright_yellow: Some(rgba(0xd1aa7bff).into()),
1408                        terminal_ansi_bright_blue: Some(rgba(0x68a4caff).into()),
1409                        terminal_ansi_bright_magenta: Some(rgba(0xc88da2ff).into()),
1410                        terminal_ansi_bright_cyan: Some(rgba(0x84c0c8ff).into()),
1411                        terminal_ansi_bright_white: Some(rgba(0xc5d1d3ff).into()),
1412                        terminal_ansi_black: Some(rgba(0x182a35ff).into()),
1413                        terminal_ansi_red: Some(rgba(0xc08872ff).into()),
1414                        terminal_ansi_green: Some(rgba(0x72c09fff).into()),
1415                        terminal_ansi_yellow: Some(rgba(0xc8a984ff).into()),
1416                        terminal_ansi_blue: Some(rgba(0x6196b8ff).into()),
1417                        terminal_ansi_magenta: Some(rgba(0xc28097ff).into()),
1418                        terminal_ansi_cyan: Some(rgba(0x72b7c0ff).into()),
1419                        terminal_ansi_white: Some(rgba(0xc5cdd3ff).into()),
1420                        ..Default::default()
1421                    },
1422                    status: StatusColorsRefinement {
1423                        conflict: Some(rgba(0xdfc09fff).into()),
1424                        created: Some(rgba(0x6fb0b8ff).into()),
1425                        deleted: Some(rgba(0xb96346ff).into()),
1426                        error: Some(rgba(0xb96346ff).into()),
1427                        hidden: Some(rgba(0x96a8b6ff).into()),
1428                        hint: Some(rgba(0x969696ff).into()),
1429                        ignored: Some(rgba(0x5b788bff).into()),
1430                        modified: Some(rgba(0x72c09fff).into()),
1431                        warning: Some(rgba(0xffa857ff).into()),
1432                        ..Default::default()
1433                    },
1434                    syntax: Some(UserSyntaxTheme {
1435                        highlights: vec![
1436                            (
1437                                "boolean".into(),
1438                                UserHighlightStyle {
1439                                    color: Some(rgba(0x7068b1ff).into()),
1440                                    ..Default::default()
1441                                },
1442                            ),
1443                            (
1444                                "comment".into(),
1445                                UserHighlightStyle {
1446                                    color: Some(rgba(0x5e7887ff).into()),
1447                                    ..Default::default()
1448                                },
1449                            ),
1450                            (
1451                                "comment.doc".into(),
1452                                UserHighlightStyle {
1453                                    color: Some(rgba(0x5e7887ff).into()),
1454                                    ..Default::default()
1455                                },
1456                            ),
1457                            (
1458                                "constant".into(),
1459                                UserHighlightStyle {
1460                                    color: Some(rgba(0x7068b1ff).into()),
1461                                    ..Default::default()
1462                                },
1463                            ),
1464                            (
1465                                "constructor".into(),
1466                                UserHighlightStyle {
1467                                    color: Some(rgba(0xc37455ff).into()),
1468                                    ..Default::default()
1469                                },
1470                            ),
1471                            (
1472                                "function".into(),
1473                                UserHighlightStyle {
1474                                    color: Some(rgba(0x3f848dff).into()),
1475                                    ..Default::default()
1476                                },
1477                            ),
1478                            (
1479                                "keyword".into(),
1480                                UserHighlightStyle {
1481                                    color: Some(rgba(0xc37455ff).into()),
1482                                    ..Default::default()
1483                                },
1484                            ),
1485                            (
1486                                "label".into(),
1487                                UserHighlightStyle {
1488                                    color: Some(rgba(0x72b7c0ff).into()),
1489                                    ..Default::default()
1490                                },
1491                            ),
1492                            (
1493                                "link_text".into(),
1494                                UserHighlightStyle {
1495                                    color: Some(rgba(0x72b7c0ff).into()),
1496                                    ..Default::default()
1497                                },
1498                            ),
1499                            (
1500                                "link_uri".into(),
1501                                UserHighlightStyle {
1502                                    color: Some(rgba(0x72b7c0ff).into()),
1503                                    ..Default::default()
1504                                },
1505                            ),
1506                            (
1507                                "number".into(),
1508                                UserHighlightStyle {
1509                                    color: Some(rgba(0x7068b1ff).into()),
1510                                    ..Default::default()
1511                                },
1512                            ),
1513                            (
1514                                "preproc".into(),
1515                                UserHighlightStyle {
1516                                    color: Some(rgba(0xc88da2ff).into()),
1517                                    ..Default::default()
1518                                },
1519                            ),
1520                            (
1521                                "property".into(),
1522                                UserHighlightStyle {
1523                                    color: Some(rgba(0x3f848dff).into()),
1524                                    ..Default::default()
1525                                },
1526                            ),
1527                            (
1528                                "punctuation".into(),
1529                                UserHighlightStyle {
1530                                    color: Some(rgba(0xc5cdd3ff).into()),
1531                                    ..Default::default()
1532                                },
1533                            ),
1534                            (
1535                                "punctuation.bracket".into(),
1536                                UserHighlightStyle {
1537                                    color: Some(rgba(0xc5cdd3ff).into()),
1538                                    ..Default::default()
1539                                },
1540                            ),
1541                            (
1542                                "punctuation.delimiter".into(),
1543                                UserHighlightStyle {
1544                                    color: Some(rgba(0xc5cdd3ff).into()),
1545                                    ..Default::default()
1546                                },
1547                            ),
1548                            (
1549                                "punctuation.list_marker".into(),
1550                                UserHighlightStyle {
1551                                    color: Some(rgba(0xc5cdd3ff).into()),
1552                                    ..Default::default()
1553                                },
1554                            ),
1555                            (
1556                                "punctuation.special".into(),
1557                                UserHighlightStyle {
1558                                    color: Some(rgba(0xc5cdd3ff).into()),
1559                                    ..Default::default()
1560                                },
1561                            ),
1562                            (
1563                                "string".into(),
1564                                UserHighlightStyle {
1565                                    color: Some(rgba(0x72c09fff).into()),
1566                                    ..Default::default()
1567                                },
1568                            ),
1569                            (
1570                                "string.escape".into(),
1571                                UserHighlightStyle {
1572                                    color: Some(rgba(0xc5cdd3ff).into()),
1573                                    ..Default::default()
1574                                },
1575                            ),
1576                            (
1577                                "string.regex".into(),
1578                                UserHighlightStyle {
1579                                    color: Some(rgba(0x72c09fff).into()),
1580                                    ..Default::default()
1581                                },
1582                            ),
1583                            (
1584                                "string.special".into(),
1585                                UserHighlightStyle {
1586                                    color: Some(rgba(0x72c09fff).into()),
1587                                    ..Default::default()
1588                                },
1589                            ),
1590                            (
1591                                "string.special.symbol".into(),
1592                                UserHighlightStyle {
1593                                    color: Some(rgba(0x72c09fff).into()),
1594                                    ..Default::default()
1595                                },
1596                            ),
1597                            (
1598                                "tag".into(),
1599                                UserHighlightStyle {
1600                                    color: Some(rgba(0xc37455ff).into()),
1601                                    ..Default::default()
1602                                },
1603                            ),
1604                            (
1605                                "text.literal".into(),
1606                                UserHighlightStyle {
1607                                    color: Some(rgba(0x72c09fff).into()),
1608                                    ..Default::default()
1609                                },
1610                            ),
1611                            (
1612                                "title".into(),
1613                                UserHighlightStyle {
1614                                    color: Some(rgba(0x72b7c0ff).into()),
1615                                    ..Default::default()
1616                                },
1617                            ),
1618                            (
1619                                "type".into(),
1620                                UserHighlightStyle {
1621                                    color: Some(rgba(0xbe856fff).into()),
1622                                    ..Default::default()
1623                                },
1624                            ),
1625                            (
1626                                "variable".into(),
1627                                UserHighlightStyle {
1628                                    color: Some(rgba(0xd3b692ff).into()),
1629                                    ..Default::default()
1630                                },
1631                            ),
1632                            (
1633                                "variable.special".into(),
1634                                UserHighlightStyle {
1635                                    color: Some(rgba(0xc37455ff).into()),
1636                                    ..Default::default()
1637                                },
1638                            ),
1639                        ],
1640                    }),
1641                },
1642            },
1643            UserTheme {
1644                name: "Noctis".into(),
1645                appearance: Appearance::Dark,
1646                styles: UserThemeStylesRefinement {
1647                    colors: ThemeColorsRefinement {
1648                        border: Some(rgba(0x0e6671ff).into()),
1649                        border_variant: Some(rgba(0x0e6671ff).into()),
1650                        border_focused: Some(rgba(0x073940ff).into()),
1651                        border_selected: Some(rgba(0x0e6671ff).into()),
1652                        border_transparent: Some(rgba(0x0e6671ff).into()),
1653                        border_disabled: Some(rgba(0x0e6671ff).into()),
1654                        elevated_surface_background: Some(rgba(0x073940ff).into()),
1655                        surface_background: Some(rgba(0x03191bff).into()),
1656                        background: Some(rgba(0x052529ff).into()),
1657                        element_background: Some(rgba(0x099099ff).into()),
1658                        element_hover: Some(rgba(0x0b515bff).into()),
1659                        element_selected: Some(rgba(0x0e6671ff).into()),
1660                        drop_target_background: Some(rgba(0x00404dff).into()),
1661                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
1662                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
1663                        text: Some(rgba(0xb2cacdff).into()),
1664                        status_bar_background: Some(rgba(0x041d20ff).into()),
1665                        title_bar_background: Some(rgba(0x041d20ff).into()),
1666                        toolbar_background: Some(rgba(0x052529ff).into()),
1667                        tab_bar_background: Some(rgba(0x062e32ff).into()),
1668                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
1669                        tab_active_background: Some(rgba(0x052529ff).into()),
1670                        editor_background: Some(rgba(0x052529ff).into()),
1671                        editor_gutter_background: Some(rgba(0x052529ff).into()),
1672                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
1673                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
1674                        terminal_background: Some(rgba(0x03191bff).into()),
1675                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
1676                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
1677                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
1678                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
1679                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
1680                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
1681                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
1682                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
1683                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
1684                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
1685                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
1686                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
1687                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
1688                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
1689                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
1690                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
1691                        ..Default::default()
1692                    },
1693                    status: StatusColorsRefinement {
1694                        conflict: Some(rgba(0xe4b781ff).into()),
1695                        created: Some(rgba(0x40d4e7ff).into()),
1696                        deleted: Some(rgba(0xe34e1cff).into()),
1697                        error: Some(rgba(0xe34e1cff).into()),
1698                        hidden: Some(rgba(0x87a7abff).into()),
1699                        hint: Some(rgba(0x969696ff).into()),
1700                        ignored: Some(rgba(0x5b858bff).into()),
1701                        modified: Some(rgba(0x49e9a6ff).into()),
1702                        warning: Some(rgba(0xffa487ff).into()),
1703                        ..Default::default()
1704                    },
1705                    syntax: Some(UserSyntaxTheme {
1706                        highlights: vec![
1707                            (
1708                                "boolean".into(),
1709                                UserHighlightStyle {
1710                                    color: Some(rgba(0x7060ebff).into()),
1711                                    ..Default::default()
1712                                },
1713                            ),
1714                            (
1715                                "comment".into(),
1716                                UserHighlightStyle {
1717                                    color: Some(rgba(0x5b858bff).into()),
1718                                    ..Default::default()
1719                                },
1720                            ),
1721                            (
1722                                "comment.doc".into(),
1723                                UserHighlightStyle {
1724                                    color: Some(rgba(0x5b858bff).into()),
1725                                    ..Default::default()
1726                                },
1727                            ),
1728                            (
1729                                "constant".into(),
1730                                UserHighlightStyle {
1731                                    color: Some(rgba(0x7060ebff).into()),
1732                                    ..Default::default()
1733                                },
1734                            ),
1735                            (
1736                                "constructor".into(),
1737                                UserHighlightStyle {
1738                                    color: Some(rgba(0xe66533ff).into()),
1739                                    ..Default::default()
1740                                },
1741                            ),
1742                            (
1743                                "function".into(),
1744                                UserHighlightStyle {
1745                                    color: Some(rgba(0x16a3b6ff).into()),
1746                                    ..Default::default()
1747                                },
1748                            ),
1749                            (
1750                                "keyword".into(),
1751                                UserHighlightStyle {
1752                                    color: Some(rgba(0xe66533ff).into()),
1753                                    ..Default::default()
1754                                },
1755                            ),
1756                            (
1757                                "label".into(),
1758                                UserHighlightStyle {
1759                                    color: Some(rgba(0x49d6e9ff).into()),
1760                                    ..Default::default()
1761                                },
1762                            ),
1763                            (
1764                                "link_text".into(),
1765                                UserHighlightStyle {
1766                                    color: Some(rgba(0x49d6e9ff).into()),
1767                                    ..Default::default()
1768                                },
1769                            ),
1770                            (
1771                                "link_uri".into(),
1772                                UserHighlightStyle {
1773                                    color: Some(rgba(0x49d6e9ff).into()),
1774                                    ..Default::default()
1775                                },
1776                            ),
1777                            (
1778                                "number".into(),
1779                                UserHighlightStyle {
1780                                    color: Some(rgba(0x7060ebff).into()),
1781                                    ..Default::default()
1782                                },
1783                            ),
1784                            (
1785                                "preproc".into(),
1786                                UserHighlightStyle {
1787                                    color: Some(rgba(0xdf769bff).into()),
1788                                    ..Default::default()
1789                                },
1790                            ),
1791                            (
1792                                "property".into(),
1793                                UserHighlightStyle {
1794                                    color: Some(rgba(0x16a3b6ff).into()),
1795                                    ..Default::default()
1796                                },
1797                            ),
1798                            (
1799                                "punctuation".into(),
1800                                UserHighlightStyle {
1801                                    color: Some(rgba(0xb2cacdff).into()),
1802                                    ..Default::default()
1803                                },
1804                            ),
1805                            (
1806                                "punctuation.bracket".into(),
1807                                UserHighlightStyle {
1808                                    color: Some(rgba(0xb2cacdff).into()),
1809                                    ..Default::default()
1810                                },
1811                            ),
1812                            (
1813                                "punctuation.delimiter".into(),
1814                                UserHighlightStyle {
1815                                    color: Some(rgba(0xb2cacdff).into()),
1816                                    ..Default::default()
1817                                },
1818                            ),
1819                            (
1820                                "punctuation.list_marker".into(),
1821                                UserHighlightStyle {
1822                                    color: Some(rgba(0xb2cacdff).into()),
1823                                    ..Default::default()
1824                                },
1825                            ),
1826                            (
1827                                "punctuation.special".into(),
1828                                UserHighlightStyle {
1829                                    color: Some(rgba(0xb2cacdff).into()),
1830                                    ..Default::default()
1831                                },
1832                            ),
1833                            (
1834                                "string".into(),
1835                                UserHighlightStyle {
1836                                    color: Some(rgba(0x49e9a6ff).into()),
1837                                    ..Default::default()
1838                                },
1839                            ),
1840                            (
1841                                "string.escape".into(),
1842                                UserHighlightStyle {
1843                                    color: Some(rgba(0xb2cacdff).into()),
1844                                    ..Default::default()
1845                                },
1846                            ),
1847                            (
1848                                "string.regex".into(),
1849                                UserHighlightStyle {
1850                                    color: Some(rgba(0x49e9a6ff).into()),
1851                                    ..Default::default()
1852                                },
1853                            ),
1854                            (
1855                                "string.special".into(),
1856                                UserHighlightStyle {
1857                                    color: Some(rgba(0x49e9a6ff).into()),
1858                                    ..Default::default()
1859                                },
1860                            ),
1861                            (
1862                                "string.special.symbol".into(),
1863                                UserHighlightStyle {
1864                                    color: Some(rgba(0x49e9a6ff).into()),
1865                                    ..Default::default()
1866                                },
1867                            ),
1868                            (
1869                                "tag".into(),
1870                                UserHighlightStyle {
1871                                    color: Some(rgba(0xe66533ff).into()),
1872                                    ..Default::default()
1873                                },
1874                            ),
1875                            (
1876                                "text.literal".into(),
1877                                UserHighlightStyle {
1878                                    color: Some(rgba(0x49e9a6ff).into()),
1879                                    ..Default::default()
1880                                },
1881                            ),
1882                            (
1883                                "title".into(),
1884                                UserHighlightStyle {
1885                                    color: Some(rgba(0x49d6e9ff).into()),
1886                                    ..Default::default()
1887                                },
1888                            ),
1889                            (
1890                                "type".into(),
1891                                UserHighlightStyle {
1892                                    color: Some(rgba(0xd67e5cff).into()),
1893                                    ..Default::default()
1894                                },
1895                            ),
1896                            (
1897                                "variable".into(),
1898                                UserHighlightStyle {
1899                                    color: Some(rgba(0xe4b781ff).into()),
1900                                    ..Default::default()
1901                                },
1902                            ),
1903                            (
1904                                "variable.special".into(),
1905                                UserHighlightStyle {
1906                                    color: Some(rgba(0xe66533ff).into()),
1907                                    ..Default::default()
1908                                },
1909                            ),
1910                        ],
1911                    }),
1912                },
1913            },
1914            UserTheme {
1915                name: "Noctis Obscuro".into(),
1916                appearance: Appearance::Dark,
1917                styles: UserThemeStylesRefinement {
1918                    colors: ThemeColorsRefinement {
1919                        border: Some(rgba(0x0e6671ff).into()),
1920                        border_variant: Some(rgba(0x0e6671ff).into()),
1921                        border_focused: Some(rgba(0x062e32ff).into()),
1922                        border_selected: Some(rgba(0x0e6671ff).into()),
1923                        border_transparent: Some(rgba(0x0e6671ff).into()),
1924                        border_disabled: Some(rgba(0x0e6671ff).into()),
1925                        elevated_surface_background: Some(rgba(0x031417ff).into()),
1926                        surface_background: Some(rgba(0x020c0eff).into()),
1927                        background: Some(rgba(0x031417ff).into()),
1928                        element_background: Some(rgba(0x099099ff).into()),
1929                        element_hover: Some(rgba(0x0b515bff).into()),
1930                        element_selected: Some(rgba(0x0e6671ff).into()),
1931                        drop_target_background: Some(rgba(0x00404dff).into()),
1932                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
1933                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
1934                        text: Some(rgba(0xb2cacdff).into()),
1935                        status_bar_background: Some(rgba(0x031417ff).into()),
1936                        title_bar_background: Some(rgba(0x031417ff).into()),
1937                        toolbar_background: Some(rgba(0x031417ff).into()),
1938                        tab_bar_background: Some(rgba(0x062e32ff).into()),
1939                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
1940                        tab_active_background: Some(rgba(0x031417ff).into()),
1941                        editor_background: Some(rgba(0x031417ff).into()),
1942                        editor_gutter_background: Some(rgba(0x031417ff).into()),
1943                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
1944                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
1945                        terminal_background: Some(rgba(0x020c0eff).into()),
1946                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
1947                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
1948                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
1949                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
1950                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
1951                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
1952                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
1953                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
1954                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
1955                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
1956                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
1957                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
1958                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
1959                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
1960                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
1961                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
1962                        ..Default::default()
1963                    },
1964                    status: StatusColorsRefinement {
1965                        conflict: Some(rgba(0xe4b781ff).into()),
1966                        created: Some(rgba(0x40d4e7ff).into()),
1967                        deleted: Some(rgba(0xe34e1cff).into()),
1968                        error: Some(rgba(0xe34e1cff).into()),
1969                        hidden: Some(rgba(0x87a7abff).into()),
1970                        hint: Some(rgba(0x969696ff).into()),
1971                        ignored: Some(rgba(0x647e82ff).into()),
1972                        modified: Some(rgba(0x49e9a6ff).into()),
1973                        warning: Some(rgba(0xffa487ff).into()),
1974                        ..Default::default()
1975                    },
1976                    syntax: Some(UserSyntaxTheme {
1977                        highlights: vec![
1978                            (
1979                                "boolean".into(),
1980                                UserHighlightStyle {
1981                                    color: Some(rgba(0x7060ebff).into()),
1982                                    ..Default::default()
1983                                },
1984                            ),
1985                            (
1986                                "comment".into(),
1987                                UserHighlightStyle {
1988                                    color: Some(rgba(0x5b858bff).into()),
1989                                    ..Default::default()
1990                                },
1991                            ),
1992                            (
1993                                "comment.doc".into(),
1994                                UserHighlightStyle {
1995                                    color: Some(rgba(0x5b858bff).into()),
1996                                    ..Default::default()
1997                                },
1998                            ),
1999                            (
2000                                "constant".into(),
2001                                UserHighlightStyle {
2002                                    color: Some(rgba(0x7060ebff).into()),
2003                                    ..Default::default()
2004                                },
2005                            ),
2006                            (
2007                                "constructor".into(),
2008                                UserHighlightStyle {
2009                                    color: Some(rgba(0xe66533ff).into()),
2010                                    ..Default::default()
2011                                },
2012                            ),
2013                            (
2014                                "function".into(),
2015                                UserHighlightStyle {
2016                                    color: Some(rgba(0x16a3b6ff).into()),
2017                                    ..Default::default()
2018                                },
2019                            ),
2020                            (
2021                                "keyword".into(),
2022                                UserHighlightStyle {
2023                                    color: Some(rgba(0xe66533ff).into()),
2024                                    ..Default::default()
2025                                },
2026                            ),
2027                            (
2028                                "label".into(),
2029                                UserHighlightStyle {
2030                                    color: Some(rgba(0x49d6e9ff).into()),
2031                                    ..Default::default()
2032                                },
2033                            ),
2034                            (
2035                                "link_text".into(),
2036                                UserHighlightStyle {
2037                                    color: Some(rgba(0x49d6e9ff).into()),
2038                                    ..Default::default()
2039                                },
2040                            ),
2041                            (
2042                                "link_uri".into(),
2043                                UserHighlightStyle {
2044                                    color: Some(rgba(0x49d6e9ff).into()),
2045                                    ..Default::default()
2046                                },
2047                            ),
2048                            (
2049                                "number".into(),
2050                                UserHighlightStyle {
2051                                    color: Some(rgba(0x7060ebff).into()),
2052                                    ..Default::default()
2053                                },
2054                            ),
2055                            (
2056                                "preproc".into(),
2057                                UserHighlightStyle {
2058                                    color: Some(rgba(0xdf769bff).into()),
2059                                    ..Default::default()
2060                                },
2061                            ),
2062                            (
2063                                "property".into(),
2064                                UserHighlightStyle {
2065                                    color: Some(rgba(0x16a3b6ff).into()),
2066                                    ..Default::default()
2067                                },
2068                            ),
2069                            (
2070                                "punctuation".into(),
2071                                UserHighlightStyle {
2072                                    color: Some(rgba(0xb2cacdff).into()),
2073                                    ..Default::default()
2074                                },
2075                            ),
2076                            (
2077                                "punctuation.bracket".into(),
2078                                UserHighlightStyle {
2079                                    color: Some(rgba(0xb2cacdff).into()),
2080                                    ..Default::default()
2081                                },
2082                            ),
2083                            (
2084                                "punctuation.delimiter".into(),
2085                                UserHighlightStyle {
2086                                    color: Some(rgba(0xb2cacdff).into()),
2087                                    ..Default::default()
2088                                },
2089                            ),
2090                            (
2091                                "punctuation.list_marker".into(),
2092                                UserHighlightStyle {
2093                                    color: Some(rgba(0xb2cacdff).into()),
2094                                    ..Default::default()
2095                                },
2096                            ),
2097                            (
2098                                "punctuation.special".into(),
2099                                UserHighlightStyle {
2100                                    color: Some(rgba(0xb2cacdff).into()),
2101                                    ..Default::default()
2102                                },
2103                            ),
2104                            (
2105                                "string".into(),
2106                                UserHighlightStyle {
2107                                    color: Some(rgba(0x49e9a6ff).into()),
2108                                    ..Default::default()
2109                                },
2110                            ),
2111                            (
2112                                "string.escape".into(),
2113                                UserHighlightStyle {
2114                                    color: Some(rgba(0xb2cacdff).into()),
2115                                    ..Default::default()
2116                                },
2117                            ),
2118                            (
2119                                "string.regex".into(),
2120                                UserHighlightStyle {
2121                                    color: Some(rgba(0x49e9a6ff).into()),
2122                                    ..Default::default()
2123                                },
2124                            ),
2125                            (
2126                                "string.special".into(),
2127                                UserHighlightStyle {
2128                                    color: Some(rgba(0x49e9a6ff).into()),
2129                                    ..Default::default()
2130                                },
2131                            ),
2132                            (
2133                                "string.special.symbol".into(),
2134                                UserHighlightStyle {
2135                                    color: Some(rgba(0x49e9a6ff).into()),
2136                                    ..Default::default()
2137                                },
2138                            ),
2139                            (
2140                                "tag".into(),
2141                                UserHighlightStyle {
2142                                    color: Some(rgba(0xe66533ff).into()),
2143                                    ..Default::default()
2144                                },
2145                            ),
2146                            (
2147                                "text.literal".into(),
2148                                UserHighlightStyle {
2149                                    color: Some(rgba(0x49e9a6ff).into()),
2150                                    ..Default::default()
2151                                },
2152                            ),
2153                            (
2154                                "title".into(),
2155                                UserHighlightStyle {
2156                                    color: Some(rgba(0x49d6e9ff).into()),
2157                                    ..Default::default()
2158                                },
2159                            ),
2160                            (
2161                                "type".into(),
2162                                UserHighlightStyle {
2163                                    color: Some(rgba(0xd67e5cff).into()),
2164                                    ..Default::default()
2165                                },
2166                            ),
2167                            (
2168                                "variable".into(),
2169                                UserHighlightStyle {
2170                                    color: Some(rgba(0xe4b781ff).into()),
2171                                    ..Default::default()
2172                                },
2173                            ),
2174                            (
2175                                "variable.special".into(),
2176                                UserHighlightStyle {
2177                                    color: Some(rgba(0xe66533ff).into()),
2178                                    ..Default::default()
2179                                },
2180                            ),
2181                        ],
2182                    }),
2183                },
2184            },
2185            UserTheme {
2186                name: "Noctis Sereno".into(),
2187                appearance: Appearance::Dark,
2188                styles: UserThemeStylesRefinement {
2189                    colors: ThemeColorsRefinement {
2190                        border: Some(rgba(0x0e6671ff).into()),
2191                        border_variant: Some(rgba(0x0e6671ff).into()),
2192                        border_focused: Some(rgba(0x062e32ff).into()),
2193                        border_selected: Some(rgba(0x0e6671ff).into()),
2194                        border_transparent: Some(rgba(0x0e6671ff).into()),
2195                        border_disabled: Some(rgba(0x0e6671ff).into()),
2196                        elevated_surface_background: Some(rgba(0x031417ff).into()),
2197                        surface_background: Some(rgba(0x020c0eff).into()),
2198                        background: Some(rgba(0x031417ff).into()),
2199                        element_background: Some(rgba(0x099099ff).into()),
2200                        element_hover: Some(rgba(0x0b515bff).into()),
2201                        element_selected: Some(rgba(0x0e6671ff).into()),
2202                        drop_target_background: Some(rgba(0x00404dff).into()),
2203                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
2204                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
2205                        text: Some(rgba(0xb2cacdff).into()),
2206                        status_bar_background: Some(rgba(0x031417ff).into()),
2207                        title_bar_background: Some(rgba(0x031417ff).into()),
2208                        toolbar_background: Some(rgba(0x031417ff).into()),
2209                        tab_bar_background: Some(rgba(0x062e32ff).into()),
2210                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
2211                        tab_active_background: Some(rgba(0x031417ff).into()),
2212                        editor_background: Some(rgba(0x031417ff).into()),
2213                        editor_gutter_background: Some(rgba(0x031417ff).into()),
2214                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
2215                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
2216                        terminal_background: Some(rgba(0x020c0eff).into()),
2217                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
2218                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2219                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2220                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2221                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2222                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2223                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2224                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
2225                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
2226                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2227                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2228                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2229                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2230                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2231                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2232                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
2233                        ..Default::default()
2234                    },
2235                    status: StatusColorsRefinement {
2236                        conflict: Some(rgba(0xe4b781ff).into()),
2237                        created: Some(rgba(0x40d4e7ff).into()),
2238                        deleted: Some(rgba(0xe34e1cff).into()),
2239                        error: Some(rgba(0xe34e1cff).into()),
2240                        hidden: Some(rgba(0x87a7abff).into()),
2241                        hint: Some(rgba(0x969696ff).into()),
2242                        ignored: Some(rgba(0x647e82ff).into()),
2243                        modified: Some(rgba(0x49e9a6ff).into()),
2244                        warning: Some(rgba(0xffa487ff).into()),
2245                        ..Default::default()
2246                    },
2247                    syntax: Some(UserSyntaxTheme {
2248                        highlights: vec![
2249                            (
2250                                "boolean".into(),
2251                                UserHighlightStyle {
2252                                    color: Some(rgba(0x7060ebff).into()),
2253                                    ..Default::default()
2254                                },
2255                            ),
2256                            (
2257                                "comment".into(),
2258                                UserHighlightStyle {
2259                                    color: Some(rgba(0x5b858bff).into()),
2260                                    ..Default::default()
2261                                },
2262                            ),
2263                            (
2264                                "comment.doc".into(),
2265                                UserHighlightStyle {
2266                                    color: Some(rgba(0x5b858bff).into()),
2267                                    ..Default::default()
2268                                },
2269                            ),
2270                            (
2271                                "constant".into(),
2272                                UserHighlightStyle {
2273                                    color: Some(rgba(0x7060ebff).into()),
2274                                    ..Default::default()
2275                                },
2276                            ),
2277                            (
2278                                "constructor".into(),
2279                                UserHighlightStyle {
2280                                    color: Some(rgba(0xe66533ff).into()),
2281                                    ..Default::default()
2282                                },
2283                            ),
2284                            (
2285                                "function".into(),
2286                                UserHighlightStyle {
2287                                    color: Some(rgba(0x16a3b6ff).into()),
2288                                    ..Default::default()
2289                                },
2290                            ),
2291                            (
2292                                "keyword".into(),
2293                                UserHighlightStyle {
2294                                    color: Some(rgba(0xe66533ff).into()),
2295                                    ..Default::default()
2296                                },
2297                            ),
2298                            (
2299                                "label".into(),
2300                                UserHighlightStyle {
2301                                    color: Some(rgba(0x49d6e9ff).into()),
2302                                    ..Default::default()
2303                                },
2304                            ),
2305                            (
2306                                "link_text".into(),
2307                                UserHighlightStyle {
2308                                    color: Some(rgba(0x49d6e9ff).into()),
2309                                    ..Default::default()
2310                                },
2311                            ),
2312                            (
2313                                "link_uri".into(),
2314                                UserHighlightStyle {
2315                                    color: Some(rgba(0x49d6e9ff).into()),
2316                                    ..Default::default()
2317                                },
2318                            ),
2319                            (
2320                                "number".into(),
2321                                UserHighlightStyle {
2322                                    color: Some(rgba(0x7060ebff).into()),
2323                                    ..Default::default()
2324                                },
2325                            ),
2326                            (
2327                                "preproc".into(),
2328                                UserHighlightStyle {
2329                                    color: Some(rgba(0xdf769bff).into()),
2330                                    ..Default::default()
2331                                },
2332                            ),
2333                            (
2334                                "property".into(),
2335                                UserHighlightStyle {
2336                                    color: Some(rgba(0x16a3b6ff).into()),
2337                                    ..Default::default()
2338                                },
2339                            ),
2340                            (
2341                                "punctuation".into(),
2342                                UserHighlightStyle {
2343                                    color: Some(rgba(0xb2cacdff).into()),
2344                                    ..Default::default()
2345                                },
2346                            ),
2347                            (
2348                                "punctuation.bracket".into(),
2349                                UserHighlightStyle {
2350                                    color: Some(rgba(0xb2cacdff).into()),
2351                                    ..Default::default()
2352                                },
2353                            ),
2354                            (
2355                                "punctuation.delimiter".into(),
2356                                UserHighlightStyle {
2357                                    color: Some(rgba(0xb2cacdff).into()),
2358                                    ..Default::default()
2359                                },
2360                            ),
2361                            (
2362                                "punctuation.list_marker".into(),
2363                                UserHighlightStyle {
2364                                    color: Some(rgba(0xb2cacdff).into()),
2365                                    ..Default::default()
2366                                },
2367                            ),
2368                            (
2369                                "punctuation.special".into(),
2370                                UserHighlightStyle {
2371                                    color: Some(rgba(0xb2cacdff).into()),
2372                                    ..Default::default()
2373                                },
2374                            ),
2375                            (
2376                                "string".into(),
2377                                UserHighlightStyle {
2378                                    color: Some(rgba(0x49e9a6ff).into()),
2379                                    ..Default::default()
2380                                },
2381                            ),
2382                            (
2383                                "string.escape".into(),
2384                                UserHighlightStyle {
2385                                    color: Some(rgba(0xb2cacdff).into()),
2386                                    ..Default::default()
2387                                },
2388                            ),
2389                            (
2390                                "string.regex".into(),
2391                                UserHighlightStyle {
2392                                    color: Some(rgba(0x49e9a6ff).into()),
2393                                    ..Default::default()
2394                                },
2395                            ),
2396                            (
2397                                "string.special".into(),
2398                                UserHighlightStyle {
2399                                    color: Some(rgba(0x49e9a6ff).into()),
2400                                    ..Default::default()
2401                                },
2402                            ),
2403                            (
2404                                "string.special.symbol".into(),
2405                                UserHighlightStyle {
2406                                    color: Some(rgba(0x49e9a6ff).into()),
2407                                    ..Default::default()
2408                                },
2409                            ),
2410                            (
2411                                "tag".into(),
2412                                UserHighlightStyle {
2413                                    color: Some(rgba(0xe66533ff).into()),
2414                                    ..Default::default()
2415                                },
2416                            ),
2417                            (
2418                                "text.literal".into(),
2419                                UserHighlightStyle {
2420                                    color: Some(rgba(0x49e9a6ff).into()),
2421                                    ..Default::default()
2422                                },
2423                            ),
2424                            (
2425                                "title".into(),
2426                                UserHighlightStyle {
2427                                    color: Some(rgba(0x49d6e9ff).into()),
2428                                    ..Default::default()
2429                                },
2430                            ),
2431                            (
2432                                "type".into(),
2433                                UserHighlightStyle {
2434                                    color: Some(rgba(0xd67e5cff).into()),
2435                                    ..Default::default()
2436                                },
2437                            ),
2438                            (
2439                                "variable".into(),
2440                                UserHighlightStyle {
2441                                    color: Some(rgba(0xe4b781ff).into()),
2442                                    ..Default::default()
2443                                },
2444                            ),
2445                            (
2446                                "variable.special".into(),
2447                                UserHighlightStyle {
2448                                    color: Some(rgba(0xe66533ff).into()),
2449                                    ..Default::default()
2450                                },
2451                            ),
2452                        ],
2453                    }),
2454                },
2455            },
2456            UserTheme {
2457                name: "Noctis Uva".into(),
2458                appearance: Appearance::Dark,
2459                styles: UserThemeStylesRefinement {
2460                    colors: ThemeColorsRefinement {
2461                        border: Some(rgba(0x6e67a8ff).into()),
2462                        border_variant: Some(rgba(0x6e67a8ff).into()),
2463                        border_focused: Some(rgba(0x2f2c49ff).into()),
2464                        border_selected: Some(rgba(0x6e67a8ff).into()),
2465                        border_transparent: Some(rgba(0x6e67a8ff).into()),
2466                        border_disabled: Some(rgba(0x6e67a8ff).into()),
2467                        elevated_surface_background: Some(rgba(0x2f2c49ff).into()),
2468                        surface_background: Some(rgba(0x1f1d30ff).into()),
2469                        background: Some(rgba(0x292640ff).into()),
2470                        element_background: Some(rgba(0x007f99ff).into()),
2471                        element_hover: Some(rgba(0x383866ff).into()),
2472                        element_selected: Some(rgba(0x332e5cff).into()),
2473                        drop_target_background: Some(rgba(0x202040ff).into()),
2474                        ghost_element_hover: Some(rgba(0x383866ff).into()),
2475                        ghost_element_selected: Some(rgba(0x332e5cff).into()),
2476                        text: Some(rgba(0xc5c2d6ff).into()),
2477                        status_bar_background: Some(rgba(0x292640ff).into()),
2478                        title_bar_background: Some(rgba(0x292640ff).into()),
2479                        toolbar_background: Some(rgba(0x292640ff).into()),
2480                        tab_bar_background: Some(rgba(0x2f2c49ff).into()),
2481                        tab_inactive_background: Some(rgba(0x2f2c49ff).into()),
2482                        tab_active_background: Some(rgba(0x292640ff).into()),
2483                        editor_background: Some(rgba(0x292640ff).into()),
2484                        editor_gutter_background: Some(rgba(0x292640ff).into()),
2485                        editor_line_number: Some(rgba(0x5c5973ff).into()),
2486                        editor_active_line_number: Some(rgba(0xc5c2d6ff).into()),
2487                        terminal_background: Some(rgba(0x1f1d30ff).into()),
2488                        terminal_ansi_bright_black: Some(rgba(0x504e65ff).into()),
2489                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2490                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2491                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2492                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2493                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2494                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2495                        terminal_ansi_bright_white: Some(rgba(0xc5c2d6ff).into()),
2496                        terminal_ansi_black: Some(rgba(0x302f3dff).into()),
2497                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2498                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2499                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2500                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2501                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2502                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2503                        terminal_ansi_white: Some(rgba(0xb6b3ccff).into()),
2504                        ..Default::default()
2505                    },
2506                    status: StatusColorsRefinement {
2507                        conflict: Some(rgba(0xffc180ff).into()),
2508                        created: Some(rgba(0x40d4e7ff).into()),
2509                        deleted: Some(rgba(0xe34e1cff).into()),
2510                        error: Some(rgba(0xe34e1cff).into()),
2511                        hidden: Some(rgba(0xa9a5c0ff).into()),
2512                        hint: Some(rgba(0x969696ff).into()),
2513                        ignored: Some(rgba(0x5b788bff).into()),
2514                        modified: Some(rgba(0x49e9a6ff).into()),
2515                        warning: Some(rgba(0xffa857ff).into()),
2516                        ..Default::default()
2517                    },
2518                    syntax: Some(UserSyntaxTheme {
2519                        highlights: vec![
2520                            (
2521                                "boolean".into(),
2522                                UserHighlightStyle {
2523                                    color: Some(rgba(0x7060ebff).into()),
2524                                    ..Default::default()
2525                                },
2526                            ),
2527                            (
2528                                "comment".into(),
2529                                UserHighlightStyle {
2530                                    color: Some(rgba(0x716c93ff).into()),
2531                                    ..Default::default()
2532                                },
2533                            ),
2534                            (
2535                                "comment.doc".into(),
2536                                UserHighlightStyle {
2537                                    color: Some(rgba(0x716c93ff).into()),
2538                                    ..Default::default()
2539                                },
2540                            ),
2541                            (
2542                                "constant".into(),
2543                                UserHighlightStyle {
2544                                    color: Some(rgba(0x7060ebff).into()),
2545                                    ..Default::default()
2546                                },
2547                            ),
2548                            (
2549                                "constructor".into(),
2550                                UserHighlightStyle {
2551                                    color: Some(rgba(0xe66533ff).into()),
2552                                    ..Default::default()
2553                                },
2554                            ),
2555                            (
2556                                "function".into(),
2557                                UserHighlightStyle {
2558                                    color: Some(rgba(0x16a3b6ff).into()),
2559                                    ..Default::default()
2560                                },
2561                            ),
2562                            (
2563                                "keyword".into(),
2564                                UserHighlightStyle {
2565                                    color: Some(rgba(0xe66533ff).into()),
2566                                    ..Default::default()
2567                                },
2568                            ),
2569                            (
2570                                "label".into(),
2571                                UserHighlightStyle {
2572                                    color: Some(rgba(0x49d6e9ff).into()),
2573                                    ..Default::default()
2574                                },
2575                            ),
2576                            (
2577                                "link_text".into(),
2578                                UserHighlightStyle {
2579                                    color: Some(rgba(0x49d6e9ff).into()),
2580                                    ..Default::default()
2581                                },
2582                            ),
2583                            (
2584                                "link_uri".into(),
2585                                UserHighlightStyle {
2586                                    color: Some(rgba(0x49d6e9ff).into()),
2587                                    ..Default::default()
2588                                },
2589                            ),
2590                            (
2591                                "number".into(),
2592                                UserHighlightStyle {
2593                                    color: Some(rgba(0x7060ebff).into()),
2594                                    ..Default::default()
2595                                },
2596                            ),
2597                            (
2598                                "preproc".into(),
2599                                UserHighlightStyle {
2600                                    color: Some(rgba(0xdf769bff).into()),
2601                                    ..Default::default()
2602                                },
2603                            ),
2604                            (
2605                                "property".into(),
2606                                UserHighlightStyle {
2607                                    color: Some(rgba(0x16a3b6ff).into()),
2608                                    ..Default::default()
2609                                },
2610                            ),
2611                            (
2612                                "punctuation".into(),
2613                                UserHighlightStyle {
2614                                    color: Some(rgba(0xc5c2d6ff).into()),
2615                                    ..Default::default()
2616                                },
2617                            ),
2618                            (
2619                                "punctuation.bracket".into(),
2620                                UserHighlightStyle {
2621                                    color: Some(rgba(0xc5c2d6ff).into()),
2622                                    ..Default::default()
2623                                },
2624                            ),
2625                            (
2626                                "punctuation.delimiter".into(),
2627                                UserHighlightStyle {
2628                                    color: Some(rgba(0xc5c2d6ff).into()),
2629                                    ..Default::default()
2630                                },
2631                            ),
2632                            (
2633                                "punctuation.list_marker".into(),
2634                                UserHighlightStyle {
2635                                    color: Some(rgba(0xc5c2d6ff).into()),
2636                                    ..Default::default()
2637                                },
2638                            ),
2639                            (
2640                                "punctuation.special".into(),
2641                                UserHighlightStyle {
2642                                    color: Some(rgba(0xc5c2d6ff).into()),
2643                                    ..Default::default()
2644                                },
2645                            ),
2646                            (
2647                                "string".into(),
2648                                UserHighlightStyle {
2649                                    color: Some(rgba(0x49e9a6ff).into()),
2650                                    ..Default::default()
2651                                },
2652                            ),
2653                            (
2654                                "string.escape".into(),
2655                                UserHighlightStyle {
2656                                    color: Some(rgba(0xc5c2d6ff).into()),
2657                                    ..Default::default()
2658                                },
2659                            ),
2660                            (
2661                                "string.regex".into(),
2662                                UserHighlightStyle {
2663                                    color: Some(rgba(0x49e9a6ff).into()),
2664                                    ..Default::default()
2665                                },
2666                            ),
2667                            (
2668                                "string.special".into(),
2669                                UserHighlightStyle {
2670                                    color: Some(rgba(0x49e9a6ff).into()),
2671                                    ..Default::default()
2672                                },
2673                            ),
2674                            (
2675                                "string.special.symbol".into(),
2676                                UserHighlightStyle {
2677                                    color: Some(rgba(0x49e9a6ff).into()),
2678                                    ..Default::default()
2679                                },
2680                            ),
2681                            (
2682                                "tag".into(),
2683                                UserHighlightStyle {
2684                                    color: Some(rgba(0xe66533ff).into()),
2685                                    ..Default::default()
2686                                },
2687                            ),
2688                            (
2689                                "text.literal".into(),
2690                                UserHighlightStyle {
2691                                    color: Some(rgba(0x49e9a6ff).into()),
2692                                    ..Default::default()
2693                                },
2694                            ),
2695                            (
2696                                "title".into(),
2697                                UserHighlightStyle {
2698                                    color: Some(rgba(0x49d6e9ff).into()),
2699                                    ..Default::default()
2700                                },
2701                            ),
2702                            (
2703                                "type".into(),
2704                                UserHighlightStyle {
2705                                    color: Some(rgba(0xd67e5cff).into()),
2706                                    ..Default::default()
2707                                },
2708                            ),
2709                            (
2710                                "variable".into(),
2711                                UserHighlightStyle {
2712                                    color: Some(rgba(0xe4b781ff).into()),
2713                                    ..Default::default()
2714                                },
2715                            ),
2716                            (
2717                                "variable.special".into(),
2718                                UserHighlightStyle {
2719                                    color: Some(rgba(0xe66533ff).into()),
2720                                    ..Default::default()
2721                                },
2722                            ),
2723                        ],
2724                    }),
2725                },
2726            },
2727            UserTheme {
2728                name: "Noctis Viola".into(),
2729                appearance: Appearance::Dark,
2730                styles: UserThemeStylesRefinement {
2731                    colors: ThemeColorsRefinement {
2732                        border: Some(rgba(0x8767a8ff).into()),
2733                        border_variant: Some(rgba(0x8767a8ff).into()),
2734                        border_focused: Some(rgba(0x3d2e4dff).into()),
2735                        border_selected: Some(rgba(0x8767a8ff).into()),
2736                        border_transparent: Some(rgba(0x8767a8ff).into()),
2737                        border_disabled: Some(rgba(0x8767a8ff).into()),
2738                        elevated_surface_background: Some(rgba(0x3d2e4dff).into()),
2739                        surface_background: Some(rgba(0x291d35ff).into()),
2740                        background: Some(rgba(0x30243dff).into()),
2741                        element_background: Some(rgba(0x007f99ff).into()),
2742                        element_hover: Some(rgba(0x6a448dff).into()),
2743                        element_selected: Some(rgba(0x472e60ff).into()),
2744                        drop_target_background: Some(rgba(0x302040ff).into()),
2745                        ghost_element_hover: Some(rgba(0x6a448dff).into()),
2746                        ghost_element_selected: Some(rgba(0x472e60ff).into()),
2747                        text: Some(rgba(0xccbfd9ff).into()),
2748                        status_bar_background: Some(rgba(0x30243dff).into()),
2749                        title_bar_background: Some(rgba(0x30243dff).into()),
2750                        toolbar_background: Some(rgba(0x30243dff).into()),
2751                        tab_bar_background: Some(rgba(0x3d2e4dff).into()),
2752                        tab_inactive_background: Some(rgba(0x3d2e4dff).into()),
2753                        tab_active_background: Some(rgba(0x30243dff).into()),
2754                        editor_background: Some(rgba(0x30243dff).into()),
2755                        editor_gutter_background: Some(rgba(0x30243dff).into()),
2756                        editor_line_number: Some(rgba(0x665973ff).into()),
2757                        editor_active_line_number: Some(rgba(0xccbfd9ff).into()),
2758                        terminal_background: Some(rgba(0x291d35ff).into()),
2759                        terminal_ansi_bright_black: Some(rgba(0x594e65ff).into()),
2760                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2761                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2762                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2763                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2764                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2765                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2766                        terminal_ansi_bright_white: Some(rgba(0xccbfd9ff).into()),
2767                        terminal_ansi_black: Some(rgba(0x362f3dff).into()),
2768                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2769                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2770                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2771                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2772                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2773                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2774                        terminal_ansi_white: Some(rgba(0xbfafcfff).into()),
2775                        ..Default::default()
2776                    },
2777                    status: StatusColorsRefinement {
2778                        conflict: Some(rgba(0xffc180ff).into()),
2779                        created: Some(rgba(0x40d4e7ff).into()),
2780                        deleted: Some(rgba(0xe34e1cff).into()),
2781                        error: Some(rgba(0xe34e1cff).into()),
2782                        hidden: Some(rgba(0xb3a5c0ff).into()),
2783                        hint: Some(rgba(0x969696ff).into()),
2784                        ignored: Some(rgba(0x5b788bff).into()),
2785                        modified: Some(rgba(0x49e9a6ff).into()),
2786                        warning: Some(rgba(0xffa857ff).into()),
2787                        ..Default::default()
2788                    },
2789                    syntax: Some(UserSyntaxTheme {
2790                        highlights: vec![
2791                            (
2792                                "boolean".into(),
2793                                UserHighlightStyle {
2794                                    color: Some(rgba(0x7060ebff).into()),
2795                                    ..Default::default()
2796                                },
2797                            ),
2798                            (
2799                                "comment".into(),
2800                                UserHighlightStyle {
2801                                    color: Some(rgba(0x7f659aff).into()),
2802                                    ..Default::default()
2803                                },
2804                            ),
2805                            (
2806                                "comment.doc".into(),
2807                                UserHighlightStyle {
2808                                    color: Some(rgba(0x7f659aff).into()),
2809                                    ..Default::default()
2810                                },
2811                            ),
2812                            (
2813                                "constant".into(),
2814                                UserHighlightStyle {
2815                                    color: Some(rgba(0x7060ebff).into()),
2816                                    ..Default::default()
2817                                },
2818                            ),
2819                            (
2820                                "constructor".into(),
2821                                UserHighlightStyle {
2822                                    color: Some(rgba(0xe66533ff).into()),
2823                                    ..Default::default()
2824                                },
2825                            ),
2826                            (
2827                                "function".into(),
2828                                UserHighlightStyle {
2829                                    color: Some(rgba(0x16a3b6ff).into()),
2830                                    ..Default::default()
2831                                },
2832                            ),
2833                            (
2834                                "keyword".into(),
2835                                UserHighlightStyle {
2836                                    color: Some(rgba(0xe66533ff).into()),
2837                                    ..Default::default()
2838                                },
2839                            ),
2840                            (
2841                                "label".into(),
2842                                UserHighlightStyle {
2843                                    color: Some(rgba(0x49d6e9ff).into()),
2844                                    ..Default::default()
2845                                },
2846                            ),
2847                            (
2848                                "link_text".into(),
2849                                UserHighlightStyle {
2850                                    color: Some(rgba(0x49d6e9ff).into()),
2851                                    ..Default::default()
2852                                },
2853                            ),
2854                            (
2855                                "link_uri".into(),
2856                                UserHighlightStyle {
2857                                    color: Some(rgba(0x49d6e9ff).into()),
2858                                    ..Default::default()
2859                                },
2860                            ),
2861                            (
2862                                "number".into(),
2863                                UserHighlightStyle {
2864                                    color: Some(rgba(0x7060ebff).into()),
2865                                    ..Default::default()
2866                                },
2867                            ),
2868                            (
2869                                "preproc".into(),
2870                                UserHighlightStyle {
2871                                    color: Some(rgba(0xdf769bff).into()),
2872                                    ..Default::default()
2873                                },
2874                            ),
2875                            (
2876                                "property".into(),
2877                                UserHighlightStyle {
2878                                    color: Some(rgba(0x16a3b6ff).into()),
2879                                    ..Default::default()
2880                                },
2881                            ),
2882                            (
2883                                "punctuation".into(),
2884                                UserHighlightStyle {
2885                                    color: Some(rgba(0xccbfd9ff).into()),
2886                                    ..Default::default()
2887                                },
2888                            ),
2889                            (
2890                                "punctuation.bracket".into(),
2891                                UserHighlightStyle {
2892                                    color: Some(rgba(0xccbfd9ff).into()),
2893                                    ..Default::default()
2894                                },
2895                            ),
2896                            (
2897                                "punctuation.delimiter".into(),
2898                                UserHighlightStyle {
2899                                    color: Some(rgba(0xccbfd9ff).into()),
2900                                    ..Default::default()
2901                                },
2902                            ),
2903                            (
2904                                "punctuation.list_marker".into(),
2905                                UserHighlightStyle {
2906                                    color: Some(rgba(0xccbfd9ff).into()),
2907                                    ..Default::default()
2908                                },
2909                            ),
2910                            (
2911                                "punctuation.special".into(),
2912                                UserHighlightStyle {
2913                                    color: Some(rgba(0xccbfd9ff).into()),
2914                                    ..Default::default()
2915                                },
2916                            ),
2917                            (
2918                                "string".into(),
2919                                UserHighlightStyle {
2920                                    color: Some(rgba(0x49e9a6ff).into()),
2921                                    ..Default::default()
2922                                },
2923                            ),
2924                            (
2925                                "string.escape".into(),
2926                                UserHighlightStyle {
2927                                    color: Some(rgba(0xccbfd9ff).into()),
2928                                    ..Default::default()
2929                                },
2930                            ),
2931                            (
2932                                "string.regex".into(),
2933                                UserHighlightStyle {
2934                                    color: Some(rgba(0x49e9a6ff).into()),
2935                                    ..Default::default()
2936                                },
2937                            ),
2938                            (
2939                                "string.special".into(),
2940                                UserHighlightStyle {
2941                                    color: Some(rgba(0x49e9a6ff).into()),
2942                                    ..Default::default()
2943                                },
2944                            ),
2945                            (
2946                                "string.special.symbol".into(),
2947                                UserHighlightStyle {
2948                                    color: Some(rgba(0x49e9a6ff).into()),
2949                                    ..Default::default()
2950                                },
2951                            ),
2952                            (
2953                                "tag".into(),
2954                                UserHighlightStyle {
2955                                    color: Some(rgba(0xe66533ff).into()),
2956                                    ..Default::default()
2957                                },
2958                            ),
2959                            (
2960                                "text.literal".into(),
2961                                UserHighlightStyle {
2962                                    color: Some(rgba(0x49e9a6ff).into()),
2963                                    ..Default::default()
2964                                },
2965                            ),
2966                            (
2967                                "title".into(),
2968                                UserHighlightStyle {
2969                                    color: Some(rgba(0x49d6e9ff).into()),
2970                                    ..Default::default()
2971                                },
2972                            ),
2973                            (
2974                                "type".into(),
2975                                UserHighlightStyle {
2976                                    color: Some(rgba(0xd67e5cff).into()),
2977                                    ..Default::default()
2978                                },
2979                            ),
2980                            (
2981                                "variable".into(),
2982                                UserHighlightStyle {
2983                                    color: Some(rgba(0xe4b781ff).into()),
2984                                    ..Default::default()
2985                                },
2986                            ),
2987                            (
2988                                "variable.special".into(),
2989                                UserHighlightStyle {
2990                                    color: Some(rgba(0xe66533ff).into()),
2991                                    ..Default::default()
2992                                },
2993                            ),
2994                        ],
2995                    }),
2996                },
2997            },
2998        ],
2999    }
3000}