Change rofi font, size and add borders

This commit is contained in:
Evie Litherland-Smith 2023-07-18 09:47:11 +01:00
parent ab62c99b7f
commit 31a5c61195

View file

@ -1,15 +1,17 @@
* { * {
background: transparent;
bg-col: #24273a; bg-col: #24273a;
bg-col-light: #24273a; bg-col-light: #24273a;
border-col: #24273a; border-col: #24273a;
mauve: #c6a0f6;
selected-col: #24273a; selected-col: #24273a;
blue: #8aadf4; blue: #8aadf4;
fg-col: #cad3f5; fg-col: #cad3f5;
fg-col2: #ed8796; fg-col2: #ed8796;
grey: #6e738d; grey: #6e738d;
width: 600; width: 75%;
font: "JetBrainsMono Nerd Font 14"; font: "FiraCode Nerd Font 18";
} }
element-text, element-icon , mode-switcher { element-text, element-icon , mode-switcher {
@ -18,9 +20,10 @@ element-text, element-icon , mode-switcher {
} }
window { window {
height: 360px; height: 75%;
border: 3px; border: 3px;
border-color: @border-col; border-radius: 10px;
border-color: @mauve;
background-color: @bg-col; background-color: @bg-col;
} }
@ -80,7 +83,7 @@ element selected {
} }
mode-switcher { mode-switcher {
spacing: 0; spacing: 5%;
} }
button { button {