.launcher {
min-width: 600px;
font-size: 20px;
}
.launcher-entry {
margin: 6px;
padding-top: 6px;
padding-bottom: 4px;
padding-left: 12px;
}
.launcher-exec {
font-size: 12px;
}
.launcher-list {
margin-left: 2px;
margin-right: 2px;
margin-bottom: 1px;
}
.launcher-item {
background-color: var(--bg-color);
border-radius: var(--border-radius);
padding-left: 6px;
padding-right: 6px;
}
.launcher-item:hover {
background-color: var(--bg-color-hover);
}
.launcher-item-selected {
background-color: var(--bg-color-hover);
}