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