latest user config

This commit is contained in:
2024-09-13 14:28:50 +02:00
parent cdcaee5943
commit 2f402fe686
59 changed files with 2336 additions and 670 deletions
+2 -2
View File
@@ -30,7 +30,7 @@ textbox {
placeholder-color: var(theme-text-color);
font: "Hack Nerd Font Bold 12";
font: "JetBrainsMono Nerd Font Bold 12";
}
error-message {
padding: 12px;
@@ -64,7 +64,7 @@ element-text {
cursor: inherit;
horizontal-align: 0.5;
vertical-align:0;
font: "Hack Nerd Font 18";
font: "JetBrainsMono Nerd Font 18";
}
element selected.normal {
@@ -55,7 +55,7 @@ textbox-prompt-colon {
background-color: var(theme-selected-bg-color);
text-color: @theme-selected-fg-color;
vertical-align: 0.5;
font: "Hack Nerd Font 12";
font: "JetBrainsMono Nerd Font 12";
}
prompt {
enabled: true;
@@ -64,7 +64,7 @@ prompt {
background-color: var(theme-text-color);
text-color: var(theme-bg-color);
vertical-align: 0.5;
font: "Hack Nerd Font 9";
font: "JetBrainsMono Nerd Font 9";
}
dummy {
@@ -104,7 +104,7 @@ element {
cursor: "pointer";
}
element-text {
font: "Hack Nerd Font 12";
font: "JetBrainsMono Nerd Font 12";
background-color: transparent;
text-color: var(text);
cursor: inherit;
+1 -1
View File
@@ -102,7 +102,7 @@ element {
cursor: "pointer";
}
element-text {
font: "Hack Nerd Font 28";
font: "JetBrainsMono Nerd Font 28";
background-color: transparent;
text-color: var(text);
cursor: inherit;