2021-09-26 19:31:18 +02:00
|
|
|
configuration {
|
|
|
|
background-color: #ffffff;
|
|
|
|
border-color: #ffffff;
|
|
|
|
text-color: #bbc2cf;
|
|
|
|
font: "Agave Nerd Font 15";
|
|
|
|
prompt-font: "Agave Nerd Font 15";
|
|
|
|
prompt-background: #ffffff;
|
|
|
|
prompt-foreground: #282c34;
|
|
|
|
prompt-padding: 15px;
|
|
|
|
alternate-normal-background: #1c1f24;
|
|
|
|
alternate-normal-foreground: @text-color;
|
|
|
|
selected-normal-background: #ae3f3e;
|
|
|
|
selected-normal-foreground: #ffffff;
|
|
|
|
spacing: 10;
|
|
|
|
parse-known-hosts: false;
|
2021-09-11 18:42:19 +02:00
|
|
|
}
|