// The bar on top of each page
div.headerBar {
  background-color: $c-bar-bg;
  color: $c-white;
  font-size: 16px;
  height: 36px;
  margin-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
  position: relative;
}

// The title of the page

div.headerBar a.arangoHeader,
.modal-header .arangoHeader {
  color: $c-white;
  font-size: 16px;
  left: 5px;
  position: relative;
  top: 7px;
}

// The buttons on the right side

div.headerBar > div.headerButtonBar {
  margin: 4px 0;
  margin-bottom: 0 !important;
}

// Breadcrumbs on the left side 

div.headerBar > div.breadcrumb {
  padding-left: 5px !important;
}

// Disabled breadcrumb
div.breadcrumb a.disabledBread {
  color: $c-white;
}

// arangoHeader
.arangoHeader {
  font-weight: 400;
}