rofi: use em instead of px

px are device pixels, not CSS pixels
This commit is contained in:
Vincent Bernat 2021-07-21 00:12:11 +02:00
parent e0fea39d47
commit ef77d239b1

View file

@ -39,7 +39,7 @@ window {
}
inputbar {
margin: 0px 0px 20px 0px;
margin: 0 0 0.6em 0;
padding: 1%;
children: [prompt, textbox-prompt-colon, entry, case-indicator];
background-color: @bg;
@ -56,26 +56,26 @@ textbox-prompt-colon {
}
entry {
margin: 0px 10px;
margin: 0 0.3em;
}
listview {
padding: 1%;
spacing: 5px;
padding: 0.2em;
spacing: 0.2em;
dynamic: true;
scrollbar: false;
background-color: @bg;
}
element {
padding: 5px;
padding: 0.2em;
text-color: @text-alt;
highlight: bold #95ee8f; /* green */
border-radius: 3px;
border-radius: 5px;
}
element-icon {
size: 1em;
padding: 0 0.5em 0 0;
padding: 0 0.6em 0 0;
}
element selected {
@ -92,22 +92,22 @@ element active, element selected active {
}
message, error-message {
margin: 20px 0 40px;
margin: 0.6em 0 1.2em;
padding: 1%;
border-radius: 5px;
background-color: @emphasis;
}
error-message {
margin: 0;
padding: 20px;
padding: 0.6em;
border-color: @red;
border: 3px;
}
mode-switcher {
margin: 20px 0 0 0;
margin: 0.6em 0 0 0;
}
button selected {
padding: 5px;
padding: 0.3em;
border-radius: 5px;
background-color: @emphasis;
}