NixDaemon

NixOS pentest workstation as one flake — IceBreaker's successor
git clone https://git.daemon-sec.xyz/NixDaemon.git
Log | Files | Refs | README

rose-pine.ron (12561B)


      1 #![enable(implicit_some)]
      2 #![enable(unwrap_newtypes)]
      3 #![enable(unwrap_variant_newtypes)]
      4 // "rose-pine" — Rosé Pine (main) theme for rmpc
      5 // palette: base #191724 / text #e0def4 / subtle #908caa / hl-med #403d52
      6 //          iris #c4a7e7 / rose #ebbcba / love #eb6f92 / foam #9ccfd8 / gold #f6c177
      7 (
      8     default_album_art_path: None,
      9     format_tag_separator: " | ",
     10     browser_column_widths: [20, 38, 42],
     11     background_color: "#191724",
     12     text_color: "#e0def4",
     13     header_background_color: "#191724",
     14     modal_background_color: "#1f1d2e",
     15     modal_backdrop: true,
     16     preview_label_style: (fg: "#c4a7e7"),
     17     preview_metadata_group_style: (fg: "#c4a7e7", modifiers: "Bold"),
     18     highlighted_item_style: (fg: "#ebbcba", modifiers: "Bold"),
     19     current_item_style: (fg: "#191724", bg: "#c4a7e7", modifiers: "Bold"),
     20     borders_style: (fg: "#403d52"),
     21     highlight_border_style: (fg: "#c4a7e7"),
     22     symbols: (
     23         song: "♪",
     24         dir: "▸",
     25         playlist: "≡",
     26         marker: "▌",
     27         ellipsis: "…",
     28         song_style: (fg: "#908caa"),
     29         dir_style: (fg: "#c4a7e7"),
     30         playlist_style: (fg: "#ebbcba"),
     31     ),
     32     level_styles: (
     33         info: (fg: "#c4a7e7", bg: "#191724"),
     34         warn: (fg: "#f6c177", bg: "#191724"),
     35         error: (fg: "#eb6f92", bg: "#191724"),
     36         debug: (fg: "#9ccfd8", bg: "#191724"),
     37         trace: (fg: "#ebbcba", bg: "#191724"),
     38     ),
     39     progress_bar: (
     40         symbols: ["━", "━", "●", "─", "─"],
     41         track_style: (fg: "#403d52"),
     42         elapsed_style: (fg: "#c4a7e7"),
     43         thumb_style: (fg: "#ebbcba"),
     44         use_track_when_empty: true,
     45     ),
     46     scrollbar: (
     47         symbols: ["│", "█", "▲", "▼"],
     48         track_style: (fg: "#403d52"),
     49         ends_style: (fg: "#403d52"),
     50         thumb_style: (fg: "#c4a7e7"),
     51     ),
     52     tab_bar: (
     53         active_style: (fg: "#191724", bg: "#c4a7e7", modifiers: "Bold"),
     54         inactive_style: (fg: "#908caa"),
     55     ),
     56     lyrics: (
     57         timestamp: false,
     58     ),
     59     cava: (
     60         bar_width: 2,
     61         bar_spacing: 1,
     62         bar_color: Gradient({
     63             0: "#eb6f92",
     64             45: "#c4a7e7",
     65             100: "#9ccfd8",
     66         }),
     67     ),
     68     browser_song_format: [
     69         (
     70             kind: Group([
     71                 (kind: Property(Track)),
     72                 (kind: Text(" ")),
     73             ])
     74         ),
     75         (
     76             kind: Group([
     77                 (kind: Property(Artist)),
     78                 (kind: Text(" - ")),
     79                 (kind: Property(Title)),
     80             ]),
     81             default: (kind: Property(Filename))
     82         ),
     83     ],
     84     song_table_format: [
     85         (
     86             prop: (kind: Property(Artist), style: (fg: "#ebbcba"),
     87                 default: (kind: Text("Unknown"), style: (fg: "#908caa"))
     88             ),
     89             label_prop: (kind: Text("Artist"), style: (fg: "#c4a7e7", modifiers: "Bold")),
     90             width: "22%",
     91         ),
     92         (
     93             prop: (kind: Property(Title), style: (fg: "#e0def4", modifiers: "Bold"),
     94                 default: (kind: Text("Unknown"), style: (fg: "#908caa"))
     95             ),
     96             label_prop: (kind: Text("Title"), style: (fg: "#c4a7e7", modifiers: "Bold")),
     97             width: "38%",
     98         ),
     99         (
    100             prop: (kind: Property(Album), style: (fg: "#908caa"),
    101                 default: (kind: Text("Unknown Album"), style: (fg: "#908caa"))
    102             ),
    103             label_prop: (kind: Text("Album"), style: (fg: "#c4a7e7", modifiers: "Bold")),
    104             width: "30%",
    105         ),
    106         (
    107             prop: (kind: Property(Duration),
    108                 default: (kind: Text("-"))
    109             ),
    110             label_prop: (kind: Text("Length"), style: (fg: "#c4a7e7", modifiers: "Bold")),
    111             width: "10%",
    112             alignment: Right,
    113         ),
    114     ],
    115     layout: Split(
    116         direction: Vertical,
    117         panes: [
    118             (
    119                 size: "4",
    120                 pane: Split(
    121                     direction: Horizontal,
    122                     panes: [
    123                         (
    124                             size: "35",
    125                             borders: "LEFT | TOP | BOTTOM",
    126                             border_symbols: Inherited(parent: Rounded, bottom_left: "├"),
    127                             pane: Component("header_left")
    128                         ),
    129                         (
    130                             size: "100%",
    131                             borders: "ALL",
    132                             border_symbols: Inherited(parent: Rounded, top_left: "┬", top_right: "┬", bottom_left: "┴", bottom_right: "┴"),
    133                             pane: Component("header_center")
    134                         ),
    135                         (
    136                             size: "35",
    137                             borders: "RIGHT | TOP | BOTTOM",
    138                             border_symbols: Inherited(parent: Rounded, bottom_right: "┤"),
    139                             pane: Component("header_right")
    140                         ),
    141                     ]
    142                 )
    143             ),
    144             (
    145                 pane: Pane(Tabs),
    146                 borders: "RIGHT | LEFT | BOTTOM",
    147                 border_symbols: Rounded,
    148                 size: "2",
    149             ),
    150             (
    151                 pane: Pane(TabContent),
    152                 size: "100%",
    153             ),
    154             (
    155                 size: "3",
    156                 pane: Split(
    157                     direction: Horizontal,
    158                     panes: [
    159                         (
    160                             size: "12",
    161                             borders: "ALL",
    162                             border_symbols: Inherited(parent: Rounded, top_right: "┬", bottom_right: "┴"),
    163                             pane: Component("input_mode")
    164                         ),
    165                         (
    166                             size: "100%",
    167                             borders: "TOP | BOTTOM | RIGHT",
    168                             border_symbols: Rounded,
    169                             border_title: [(kind: Text(" ")), (kind: Property(Status(QueueLength()))), (kind: Text(" songs / ")), (kind: Property(Status(QueueTimeTotal()))), (kind: Text(" total time "))],
    170                             border_title_alignment: Right,
    171                             pane: Component("progress_bar"),
    172                         ),
    173                     ]
    174                 ),
    175             ),
    176         ],
    177     ),
    178     components: {
    179         "state": Pane(Property(
    180             content: [
    181                 (kind: Text("["), style: (fg: "#9ccfd8", modifiers: "Bold")),
    182                 (kind: Property(Status(StateV2( ))), style: (fg: "#9ccfd8", modifiers: "Bold")),
    183                 (kind: Text("]"), style: (fg: "#9ccfd8", modifiers: "Bold")),
    184             ], align: Left,
    185         )),
    186         "title": Pane(Property(
    187             content: [
    188                 (kind: Property(Song(Title)), style: (fg: "#e0def4", modifiers: "Bold"),
    189                     default: (kind: Text("No Song"), style: (fg: "#908caa", modifiers: "Bold"))),
    190             ], align: Center, scroll_speed: 1
    191         )),
    192         "volume": Split(
    193             direction: Horizontal,
    194             panes: [
    195                 (size: "1", pane: Pane(Property(content: [(kind: Text(""))]))),
    196                 (size: "100%", pane: Pane(Volume(kind: Slider(symbols: (filled: "─", thumb: "●", track: "─"))))),
    197                 (size: "3", pane: Pane(Property(content: [(kind: Property(Status(Volume)), style: (fg: "#c4a7e7"))], align: Right))),
    198                 (size: "2", pane: Pane(Property(content: [(kind: Text("%"), style: (fg: "#c4a7e7"))]))),
    199             ]
    200         ),
    201         "elapsed_and_bitrate": Pane(Property(
    202             content: [
    203                 (kind: Property(Status(Elapsed)), style: (fg: "#e0def4")),
    204                 (kind: Text(" / "), style: (fg: "#908caa")),
    205                 (kind: Property(Status(Duration)), style: (fg: "#e0def4")),
    206                 (kind: Group([
    207                     (kind: Text(" ("), style: (fg: "#908caa")),
    208                     (kind: Property(Status(Bitrate)), style: (fg: "#908caa")),
    209                     (kind: Text(" kbps)"), style: (fg: "#908caa")),
    210                 ])),
    211             ],
    212             align: Left,
    213         )),
    214         "artist_and_album": Pane(Property(
    215             content: [
    216                 (kind: Property(Song(Artist)), style: (fg: "#eb6f92", modifiers: "Bold"),
    217                     default: (kind: Text("Unknown"), style: (fg: "#908caa", modifiers: "Bold"))),
    218                 (kind: Text(" — "), style: (fg: "#908caa")),
    219                 (kind: Property(Song(Album)), style: (fg: "#ebbcba"),
    220                     default: (kind: Text("Unknown Album"), style: (fg: "#908caa"))),
    221             ], align: Center, scroll_speed: 1
    222         )),
    223         "states": Split(
    224             direction: Horizontal,
    225             panes: [
    226                 (
    227                     size: "1",
    228                     pane: Pane(Empty())
    229                 ),
    230                 (
    231                     size: "100%",
    232                     pane: Pane(Property(content: [(kind: Property(Status(InputBuffer())), style: (fg: "#c4a7e7"), align: Left)]))
    233                 ),
    234                 (
    235                     size: "6",
    236                     pane: Pane(Property(content: [
    237                         (kind: Text("["), style: (fg: "#c4a7e7", modifiers: "Bold")),
    238                         (kind: Property(Status(RepeatV2(
    239                             on_label: "z",
    240                             off_label: "z",
    241                             on_style: (fg: "#9ccfd8", modifiers: "Bold"),
    242                             off_style: (fg: "#403d52"),
    243                         )))),
    244                         (kind: Property(Status(RandomV2(
    245                             on_label: "x",
    246                             off_label: "x",
    247                             on_style: (fg: "#9ccfd8", modifiers: "Bold"),
    248                             off_style: (fg: "#403d52"),
    249                         )))),
    250                         (kind: Property(Status(ConsumeV2(
    251                             on_label: "c",
    252                             off_label: "c",
    253                             oneshot_label: "c",
    254                             on_style: (fg: "#9ccfd8", modifiers: "Bold"),
    255                             off_style: (fg: "#403d52"),
    256                             oneshot_style: (fg: "#eb6f92", modifiers: "Bold"),
    257                         )))),
    258                         (kind: Property(Status(SingleV2(
    259                             on_label: "v",
    260                             off_label: "v",
    261                             oneshot_label: "v",
    262                             on_style: (fg: "#9ccfd8", modifiers: "Bold"),
    263                             off_style: (fg: "#403d52"),
    264                             oneshot_style: (fg: "#eb6f92", modifiers: "Bold"),
    265                         )))),
    266                         (kind: Text("]"), style: (fg: "#c4a7e7", modifiers: "Bold")),
    267                         ],
    268                         align: Right
    269                     ))
    270                 ),
    271             ]
    272         ),
    273         "input_mode": Pane(Property(
    274             content: [
    275                 (kind: Transform(Replace(content: (kind: Property(Status(InputMode()))), replacements: [
    276                     (match: "Normal", replace: (kind: Text(" NORMAL "), style: (fg: "#191724", bg: "#c4a7e7"))),
    277                     (match: "Insert", replace: (kind: Text(" INSERT "), style: (fg: "#191724", bg: "#9ccfd8"))),
    278                 ])))
    279             ], align: Center
    280         )),
    281         "header_left": Split(
    282             direction: Vertical,
    283             panes: [
    284                 (size: "1", pane: Component("state")),
    285                 (size: "1", pane: Component("elapsed_and_bitrate")),
    286             ]
    287         ),
    288         "header_center": Split(
    289             direction: Vertical,
    290             panes: [
    291                 (size: "1", pane: Component("title")),
    292                 (size: "1", pane: Component("artist_and_album")),
    293             ]
    294         ),
    295         "header_right": Split(
    296             direction: Vertical,
    297             panes: [
    298                 (size: "1", pane: Component("volume")),
    299                 (size: "1", pane: Component("states")),
    300             ]
    301         ),
    302         "progress_bar": Split(
    303             direction: Horizontal,
    304             panes: [
    305                 (
    306                     size: "1",
    307                     pane: Pane(Empty())
    308                 ),
    309                 (
    310                     size: "100%",
    311                     pane: Pane(ProgressBar)
    312                 ),
    313                 (
    314                     size: "1",
    315                     pane: Pane(Empty())
    316                 ),
    317             ]
    318         )
    319     },
    320 )