#workspaces {
  margin: 0 0.5em;
  /* disabled when border is square
  padding-left: 5px;
  padding-right: 5px;
 */
  color: @peach;
  font-weight: bold;
  background-color: @background;
  border: 2px solid @border;
}

#workspaces label {
  font-family: MonaspiceNe Nerd Font;
  font-size: 20px;
}

#workspaces button {
  padding: 0 0.5em;
  background-color: @background;
  color: @text;
  margin: 0.25em;
}

#workspaces button.empty {
  /* background-color: @surface2; */
  color: @overlay0;
}

/*#workspaces button.visible {
  background-color: @surface2;
  color: @blue;
}*/
#workspaces button.visible, 
#workspaces button.focused,
#workspaces button.active {
  /* background-color: @surface2; */
  color: @lighttext;
}

#workspaces button.urgent {
  box-shadow: 2px 2px 2px 2px;
  border-radius: 1em;
  color: @red;
}
