window {
    background-color: transparent;
}

.workspaces {
    background-color: blue;
    border-color: purple;
}

button:active {
    background-color: @theme_selected_bg_color;
}

button:hover {
    border-bottom: 3px solid @theme_fg_color;
}

.workspaces button.focused {
    background-color: @theme_selected_bg_color;
    color: @theme_selected_fg_color;
}