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