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;
}

.workspace-button:hover {
  border-color: #80ff80;
  color: #e0ffe0;
}

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

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