window, menubar {
  background-color: rgba(0, 0, 0, 0);
}

window {
  font-weight: bold;
}

window > box > box > * {
  padding: 0 10px;
}

.workspace-button, .submap {
  border-top: 2px solid white;
}

:hover {
  border-color: #b0ffb0;
  color: #b0ffb0;
  border-top-width: 2px;
}

.workspace-button > box {
  padding-top: 3px;
}

.workspace-current {
  border-color: #00ff00;
  color: #00f000;
}