.bar {
  font-size: 1.05em;
  padding: 10px 0px 0px;
  margin: 0px 15px;

  .leftgroup,
  .centergroup,
  .rightgroup {
    background-color: $bar-bg-color;
    border-radius: $bar-module-border-radius;
    &>box,
    &>button,
    &>label {
      background-color: $bar-bg-color;
      border-radius: $bar-module-border-radius;
      margin: 0px 5px;
      min-width: $bar-module-width;
      border: 1px solid $bar-module-fg-color;
      background-color: $bar-module-bg-color;
//      padding: 0px 10px;
    }
  }

  .workspaces {
    button {
      border-right: 2px solid blue;
//      background-color: blue;
      label {
        padding: 0px 5px;
        margin-right: -10px;
      }
      .workspace-number {
        margin: 0px;
        margin-left: 6px;
        margin-top: -17px;
        padding: 0px;
        font-size: 0.6em;
      }
    }
  }
}