Remove unneeded '# from shipped themes.

This commit is contained in:
Dave Davenport 2020-08-29 11:16:39 +02:00
parent e8f78886d5
commit bca0a47dbf
19 changed files with 426 additions and 426 deletions

View File

@ -36,24 +36,24 @@
active-background: rgba ( 69, 90, 100, 100 % ); active-background: rgba ( 69, 90, 100, 100 % );
selected-active-background: rgba ( 0, 150, 136, 100 % ); selected-active-background: rgba ( 0, 150, 136, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -61,81 +61,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -34,24 +34,24 @@
active-background: rgba ( 29, 31, 33, 17 % ); active-background: rgba ( 29, 31, 33, 17 % );
selected-active-background: rgba ( 68, 145, 237, 100 % ); selected-active-background: rgba ( 68, 145, 237, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -59,86 +59,86 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-color: @normal-foreground; handle-color: @normal-foreground;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button { button {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 255, 255, 255, 100 % ); active-background: rgba ( 255, 255, 255, 100 % );
selected-active-background: rgba ( 82, 148, 226, 100 % ); selected-active-background: rgba ( 82, 148, 226, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 0, 0, 208, 0 % ); active-background: rgba ( 0, 0, 208, 0 % );
selected-active-background: rgba ( 138, 196, 255, 100 % ); selected-active-background: rgba ( 138, 196, 255, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt, button{ prompt, button{
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 223, 110, 0, 6 % ); active-background: rgba ( 223, 110, 0, 6 % );
selected-active-background: rgba ( 178, 235, 242, 100 % ); selected-active-background: rgba ( 178, 235, 242, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 39, 40, 34, 0 % ); active-background: rgba ( 39, 40, 34, 0 % );
selected-active-background: rgba ( 20, 20, 17, 100 % ); selected-active-background: rgba ( 20, 20, 17, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -34,24 +34,24 @@
active-background: rgba ( 245, 245, 245, 100 % ); active-background: rgba ( 245, 245, 245, 100 % );
selected-active-background: rgba ( 0, 95, 135, 100 % ); selected-active-background: rgba ( 0, 95, 135, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -59,81 +59,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px ; border: 2px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -31,7 +31,7 @@
selected-active-background: @blue; selected-active-background: @blue;
active-background: @orange; active-background: @orange;
} }
#window { window {
border: 0; border: 0;
text-color: @foreground; text-color: @foreground;
background-color: rgba ( 0, 0, 0, 0 % ); background-color: rgba ( 0, 0, 0, 0 % );
@ -39,82 +39,82 @@
text-color: @bordercolor; text-color: @bordercolor;
background-color: @background; background-color: @background;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
text-color: @separatorcolor; text-color: @separatorcolor;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px 0px 0px ; border: 2px 0px 0px ;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
text-color: @separatorcolor; text-color: @separatorcolor;
} }
#element { element {
border: 0; border: 0;
} }
#element.normal.normal { element.normal.normal {
text-color: @normal-foreground; text-color: @normal-foreground;
background-color: @normal-background; background-color: @normal-background;
} }
#element.normal.urgent { element.normal.urgent {
text-color: @urgent-foreground; text-color: @urgent-foreground;
background-color: @urgent-background; background-color: @urgent-background;
} }
#element.normal.active { element.normal.active {
text-color: @active-foreground; text-color: @active-foreground;
background-color: @active-background; background-color: @active-background;
} }
#element.selected.normal { element.selected.normal {
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
background-color: @selected-normal-background; background-color: @selected-normal-background;
} }
#element.selected.urgent { element.selected.urgent {
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
} }
#element.selected.active { element.selected.active {
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
background-color: @selected-active-background; background-color: @selected-active-background;
} }
#element.alternate.normal { element.alternate.normal {
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
} }
#element.alternate.urgent { element.alternate.urgent {
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
} }
#element.alternate.active { element.alternate.active {
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
background-color: @alternate-active-background; background-color: @alternate-active-background;
} }
#mode-switcher { mode-switcher {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
} }
#button selected { button selected {
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
background-color: @selected-normal-background; background-color: @selected-normal-background;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
border: 0px ; border: 0px ;
} }
#button normal { button normal {
text-color: @foreground; text-color: @foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 39, 50, 56, 100 % ); active-background: rgba ( 39, 50, 56, 100 % );
selected-active-background: rgba ( 57, 66, 73, 100 % ); selected-active-background: rgba ( 57, 66, 73, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -53,7 +53,7 @@
transparent: rgba(0,0,0,0); transparent: rgba(0,0,0,0);
font: "Source Code Pro 10"; font: "Source Code Pro 10";
} }
#window { window {
location: center; location: center;
anchor: center; anchor: center;
transparency: "screenshot"; transparency: "screenshot";
@ -67,24 +67,24 @@
orientation: horizontal; orientation: horizontal;
} }
#mainbox { mainbox {
spacing: 0; spacing: 0;
children: [ inputbar, message, listview ]; children: [ inputbar, message, listview ];
} }
#message { message {
border-color: @foreground; border-color: @foreground;
border: 0px 2px 2px 2px; border: 0px 2px 2px 2px;
// border-radius: 10px; // border-radius: 10px;
padding: 5; padding: 5;
background-color: @tcyan; background-color: @tcyan;
} }
#message { message {
font: "Source Code Pro 8"; font: "Source Code Pro 8";
color: @black; color: @black;
} }
#inputbar { inputbar {
color: @lightgreen; color: @lightgreen;
padding: 11px; padding: 11px;
background-color: @tlightblack; background-color: @tlightblack;
@ -93,14 +93,14 @@
border-color: @foreground; border-color: @foreground;
font: "Source Code Pro 18"; font: "Source Code Pro 18";
} }
#entry,prompt,case-indicator { entry,prompt,case-indicator {
text-font: inherit; text-font: inherit;
text-color:inherit; text-color:inherit;
} }
#prompt { prompt {
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;
} }
#listview { listview {
padding: 8px; padding: 8px;
border-radius: 0px 0px 15px 15px; border-radius: 0px 0px 15px 15px;
border-color: @foreground; border-color: @foreground;
@ -109,7 +109,7 @@
dynamic: false; dynamic: false;
lines: 10; lines: 10;
} }
#element { element {
padding: 3px; padding: 3px;
vertical-align: 0.5; vertical-align: 0.5;
// border: 2px; // border: 2px;
@ -118,50 +118,50 @@
color: @foreground; color: @foreground;
font:inherit; font:inherit;
} }
#element selected.normal { element selected.normal {
background-color: @blue; background-color: @blue;
} }
#element normal active { element normal active {
foreground: @lightblue; foreground: @lightblue;
} }
#element normal urgent { element normal urgent {
foreground: @lightred; foreground: @lightred;
} }
#element alternate normal { element alternate normal {
} }
#element alternate active { element alternate active {
foreground: @lightblue; foreground: @lightblue;
} }
#element alternate urgent { element alternate urgent {
foreground: @lightred; foreground: @lightred;
} }
#element selected active { element selected active {
background-color: @lightblue; background-color: @lightblue;
foreground: @dark; foreground: @dark;
} }
#element selected urgent { element selected urgent {
background-color: @lightred; background-color: @lightred;
foreground: @dark; foreground: @dark;
} }
#element normal normal { element normal normal {
} }
#vertb { vertb {
expand: false; expand: false;
children: [ dummy0, mode-switcher, dummy1 ]; children: [ dummy0, mode-switcher, dummy1 ];
} }
#dummy0, dummy1 { dummy0, dummy1 {
expand: true; expand: true;
} }
#mode-switcher { mode-switcher {
expand: false; expand: false;
orientation: vertical; orientation: vertical;
spacing: 0px; spacing: 0px;
border: 0px 0px 0px 0px; border: 0px 0px 0px 0px;
} }
#button { button {
font: "FontAwesome 22"; font: "FontAwesome 22";
padding: 6px; padding: 6px;
border: 2px 0px 2px 2px; border: 2px 0px 2px 2px;
@ -171,7 +171,7 @@
color: @foreground; color: @foreground;
horizontal-align: 0.5; horizontal-align: 0.5;
} }
#button selected normal { button selected normal {
color: @dark; color: @dark;
border: 2px 0px 2px 2px; border: 2px 0px 2px 2px;
background-color: @backlight; background-color: @backlight;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 0, 0, 0, 0 % ); active-background: rgba ( 0, 0, 0, 0 % );
selected-active-background: rgba ( 160, 255, 160, 100 % ); selected-active-background: rgba ( 160, 255, 160, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,27 +35,27 @@
active-background: rgba ( 0, 57, 255, 100 % ); active-background: rgba ( 0, 57, 255, 100 % );
selected-active-background: rgba ( 79, 128, 255, 100 % ); selected-active-background: rgba ( 79, 128, 255, 100 % );
} }
#window { window {
font: "Topaz-8 10"; font: "Topaz-8 10";
background-color: #4E7FFF; background-color: #4E7FFF;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
margin: 40; margin: 40;
background-color: #003AFF; background-color: #003AFF;
} }
#message { message {
border: 1px dash 0px dash ; border: 1px dash 0px dash ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 0px 0px 0px 0px ; border: 0px 0px 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -63,81 +63,81 @@
scrollbar: false; scrollbar: false;
padding: 5px 5px 5px ; padding: 5px 5px 5px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 0px ; width: 0px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -10,7 +10,7 @@
font: "Times New Roman 12"; font: "Times New Roman 12";
} }
#window { window {
anchor: north; anchor: north;
location: north; location: north;
width: 100%; width: 100%;
@ -18,25 +18,25 @@
children: [ horibox ]; children: [ horibox ];
} }
#horibox { horibox {
orientation: horizontal; orientation: horizontal;
children: [ prompt, entry, listview ]; children: [ prompt, entry, listview ];
} }
#listview { listview {
layout: horizontal; layout: horizontal;
spacing: 5px; spacing: 5px;
lines: 100; lines: 100;
} }
#entry { entry {
expand: false; expand: false;
width: 10em; width: 10em;
} }
#element { element {
padding: 0px 2px; padding: 0px 2px;
} }
#element selected { element selected {
background-color: SteelBlue; background-color: SteelBlue;
} }

View File

@ -34,24 +34,24 @@
active-background: rgba ( 57, 57, 57, 100 % ); active-background: rgba ( 57, 57, 57, 100 % );
selected-active-background: rgba ( 38, 139, 210, 100 % ); selected-active-background: rgba ( 38, 139, 210, 100 % );
} }
#window { window {
background-color: rgba ( 57, 57, 57, 95 % ); background-color: rgba ( 57, 57, 57, 95 % );
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -59,85 +59,85 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#button { button {
background-color: @background; background-color: @background;
text-color: @foreground; text-color: @foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -35,24 +35,24 @@
active-background: rgba ( 0, 0, 0, 0 % ); active-background: rgba ( 0, 0, 0, 0 % );
selected-active-background: rgba ( 170, 170, 17, 100 % ); selected-active-background: rgba ( 170, 170, 17, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -60,81 +60,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -34,24 +34,24 @@
active-background: rgba ( 47, 30, 46, 15 % ); active-background: rgba ( 47, 30, 46, 15 % );
selected-active-background: rgba ( 129, 91, 164, 33 % ); selected-active-background: rgba ( 129, 91, 164, 33 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -59,81 +59,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -41,7 +41,7 @@
// Bold, Italic, Underline // Bold, Italic, Underline
highlight: bold #ffffff; highlight: bold #ffffff;
} }
#window { window {
height: 100%; height: 100%;
width: 30em; width: 30em;
location: west; location: west;
@ -50,53 +50,53 @@
text-color: @lightwhite; text-color: @lightwhite;
} }
#mode-switcher { mode-switcher {
border: 2px 0px 0px 0px; border: 2px 0px 0px 0px;
background-color: @lightblack; background-color: @lightblack;
padding: 4px; padding: 4px;
} }
#button selected { button selected {
border-color: @lightgreen; border-color: @lightgreen;
text-color: @lightgreen; text-color: @lightgreen;
} }
#inputbar { inputbar {
background-color: @lightblack; background-color: @lightblack;
text-color: @lightgreen; text-color: @lightgreen;
padding: 4px; padding: 4px;
border: 0px 0px 2px 0px; border: 0px 0px 2px 0px;
} }
#mainbox { mainbox {
expand: true; expand: true;
background-color: #1c1c1cee; background-color: #1c1c1cee;
spacing: 1em; spacing: 1em;
} }
#listview { listview {
padding: 0em 0.4em 0em 1em; padding: 0em 0.4em 0em 1em;
dynamic: false; dynamic: false;
lines: 0; lines: 0;
} }
#element selected normal { element selected normal {
background-color: @blue; background-color: @blue;
} }
#element normal active { element normal active {
text-color: @lightblue; text-color: @lightblue;
} }
#element normal urgent { element normal urgent {
text-color: @lightred; text-color: @lightred;
} }
#element alternate normal { element alternate normal {
} }
#element alternate active { element alternate active {
text-color: @lightblue; text-color: @lightblue;
} }
#element alternate urgent { element alternate urgent {
text-color: @lightred; text-color: @lightred;
} }
#element selected active { element selected active {
background-color: @lightblue; background-color: @lightblue;
text-color: @dark; text-color: @dark;
} }
#element selected urgent { element selected urgent {
background-color: @lightred; background-color: @lightred;
text-color: @dark; text-color: @dark;
} }

View File

@ -34,24 +34,24 @@
active-background: rgba ( 0, 43, 55, 100 % ); active-background: rgba ( 0, 43, 55, 100 % );
selected-active-background: rgba ( 0, 54, 66, 100 % ); selected-active-background: rgba ( 0, 54, 66, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -59,81 +59,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;

View File

@ -34,24 +34,24 @@
active-background: rgba ( 0, 43, 55, 100 % ); active-background: rgba ( 0, 43, 55, 100 % );
selected-active-background: rgba ( 0, 142, 212, 100 % ); selected-active-background: rgba ( 0, 142, 212, 100 % );
} }
#window { window {
background-color: @background; background-color: @background;
border: 1; border: 1;
padding: 5; padding: 5;
} }
#mainbox { mainbox {
border: 0; border: 0;
padding: 0; padding: 0;
} }
#message { message {
border: 1px dash 0px 0px ; border: 1px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
padding: 1px ; padding: 1px ;
} }
#textbox { textbox {
text-color: @foreground; text-color: @foreground;
} }
#listview { listview {
fixed-height: 0; fixed-height: 0;
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
@ -59,81 +59,81 @@
scrollbar: true; scrollbar: true;
padding: 2px 0px 0px ; padding: 2px 0px 0px ;
} }
#element { element {
border: 0; border: 0;
padding: 1px ; padding: 1px ;
} }
#element.normal.normal { element.normal.normal {
background-color: @normal-background; background-color: @normal-background;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#element.normal.urgent { element.normal.urgent {
background-color: @urgent-background; background-color: @urgent-background;
text-color: @urgent-foreground; text-color: @urgent-foreground;
} }
#element.normal.active { element.normal.active {
background-color: @active-background; background-color: @active-background;
text-color: @active-foreground; text-color: @active-foreground;
} }
#element.selected.normal { element.selected.normal {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#element.selected.urgent { element.selected.urgent {
background-color: @selected-urgent-background; background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground; text-color: @selected-urgent-foreground;
} }
#element.selected.active { element.selected.active {
background-color: @selected-active-background; background-color: @selected-active-background;
text-color: @selected-active-foreground; text-color: @selected-active-foreground;
} }
#element.alternate.normal { element.alternate.normal {
background-color: @alternate-normal-background; background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground; text-color: @alternate-normal-foreground;
} }
#element.alternate.urgent { element.alternate.urgent {
background-color: @alternate-urgent-background; background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground; text-color: @alternate-urgent-foreground;
} }
#element.alternate.active { element.alternate.active {
background-color: @alternate-active-background; background-color: @alternate-active-background;
text-color: @alternate-active-foreground; text-color: @alternate-active-foreground;
} }
#scrollbar { scrollbar {
width: 4px ; width: 4px ;
border: 0; border: 0;
handle-width: 8px ; handle-width: 8px ;
padding: 0; padding: 0;
} }
#mode-switcher { mode-switcher {
border: 2px dash 0px 0px ; border: 2px dash 0px 0px ;
border-color: @separatorcolor; border-color: @separatorcolor;
} }
#button.selected { button.selected {
background-color: @selected-normal-background; background-color: @selected-normal-background;
text-color: @selected-normal-foreground; text-color: @selected-normal-foreground;
} }
#inputbar { inputbar {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
padding: 1px ; padding: 1px ;
} }
#case-indicator { case-indicator {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#entry { entry {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#prompt { prompt {
spacing: 0; spacing: 0;
text-color: @normal-foreground; text-color: @normal-foreground;
} }
#inputbar { inputbar {
children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
} }
#textbox-prompt-colon { textbox-prompt-colon {
expand: false; expand: false;
str: ":"; str: ":";
margin: 0px 0.3em 0em 0em ; margin: 0px 0.3em 0em 0em ;