mirror of
https://github.com/nix-community/home-manager
synced 2024-12-28 12:49:48 +01:00
93ad8661c7
Since Rofi 1.7.1 (specifically davatorium/rofi@0e70d8a), the deprecated
`theme` option in the `configuration` section no longer works. For 1.7.0
and up, `@theme "name"` is supposed to be used *after* the
`configuration` block.
(cherry picked from commit 3ec7f6fb43)
19 lines
311 B
Text
19 lines
311 B
Text
#inputbar {
|
|
children: [ prompt,entry ];
|
|
}
|
|
|
|
#textbox-prompt-colon {
|
|
expand: false;
|
|
margin: 0px 0.3em 0em 0em;
|
|
str: ":";
|
|
text-color: @foreground-color;
|
|
}
|
|
|
|
* {
|
|
background-color: #000000;
|
|
border-color: #FFFFFF;
|
|
foreground-color: rgba ( 250, 251, 252, 100 % );
|
|
width: 512;
|
|
}
|
|
|
|
@import "~/.cache/wal/colors-rofi-dark"
|