.bar {
  margin: 0 10px;
  .default-padding {
    padding: 0.5rem 1rem;
    padding-right: 1.3rem;
  }
}

.workspaces {
  padding-right: 1rem;

  .workspace {
    padding: 0.5 1rem;
    border-radius: $border-radius;

    &.active {
      box-shadow: 0 -1px 0 0 green inset;
    }
    &.current {
      box-shadow: 0 -1px 0 0 yellow inset;
    }
  }
}
