diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-10-31 19:29:27 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-10-31 19:29:27 +0100 |
commit | ba0acd625fecfb2aa823a748b295655e3a664ce0 (patch) | |
tree | 031ab1294008338aed07655ba5e593deb59405f9 /doc/default_theme.rasi | |
parent | 316de7ebeb1c9b810ba797a626d1d9364a47b4b6 (diff) |
Remove leading # from dump theme and add mesg about rofi dumping it
Diffstat (limited to 'doc/default_theme.rasi')
-rw-r--r-- | doc/default_theme.rasi | 49 |
1 files changed, 26 insertions, 23 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index fd9d0549..ebf9bbbb 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -1,3 +1,6 @@ +/** + * rofi -dump-theme output. + **/ * { selected-normal-foreground: @lightbg; foreground: rgba ( 0, 43, 54, 100 % ); @@ -28,24 +31,24 @@ active-background: @background; selected-active-background: @blue; } -#window { +window { background-color: @background; border: 1; padding: 5; } -#mainbox { +mainbox { border: 0; padding: 0; } -#message { +message { border: 2px dash 0px 0px ; border-color: @separatorcolor; padding: 1px ; } -#textbox { +textbox { text-color: @foreground; } -#listview { +listview { fixed-height: 0; border: 2px dash 0px 0px ; border-color: @separatorcolor; @@ -53,79 +56,79 @@ scrollbar: true; padding: 2px 0px 0px ; } -#element { +element { border: 0; padding: 1px ; } -#element.normal.normal { +element normal.normal { background-color: @normal-background; text-color: @normal-foreground; } -#element.normal.urgent { +element normal.urgent { background-color: @urgent-background; text-color: @urgent-foreground; } -#element.normal.active { +element normal.active { background-color: @active-background; text-color: @active-foreground; } -#element.selected.normal { +element selected.normal { background-color: @selected-normal-background; text-color: @selected-normal-foreground; } -#element.selected.urgent { +element selected.urgent { background-color: @selected-urgent-background; text-color: @selected-urgent-foreground; } -#element.selected.active { +element selected.active { background-color: @selected-active-background; text-color: @selected-active-foreground; } -#element.alternate.normal { +element alternate.normal { background-color: @alternate-normal-background; text-color: @alternate-normal-foreground; } -#element.alternate.urgent { +element alternate.urgent { background-color: @alternate-urgent-background; text-color: @alternate-urgent-foreground; } -#element.alternate.active { +element alternate.active { background-color: @alternate-active-background; text-color: @alternate-active-foreground; } -#scrollbar { +scrollbar { width: 4px ; border: 0; handle-color: @normal-foreground; handle-width: 8px ; padding: 0; } -#sidebar { +sidebar { border: 2px dash 0px 0px ; border-color: @separatorcolor; } -#button { +button { spacing: 0; text-color: @normal-foreground; } -#button.selected { +button selected { background-color: @selected-normal-background; text-color: @selected-normal-foreground; } -#inputbar { +inputbar { spacing: 3px ; text-color: @normal-foreground; padding: 1px ; } -#case-indicator { +case-indicator { spacing: 0; text-color: @normal-foreground; } -#entry { +entry { spacing: 0; text-color: @normal-foreground; } -#prompt { +prompt { spacing: 0; text-color: @normal-foreground; } |