.page-header {
  padding: 0;
  margin: 20px 0;
  border-bottom: 1px solid #eee;
}

.header-text.navbar-brand.brand-text {
  height: 70px;
}

#systemInfoLink {
  color: #fff;
}

.navbar-right .dropdown-menu .section-head {
  font-weight: bolder;
}

#systemInfoLink,
.navbar-right .dropdown-menu {
  min-width: 175px;
}

.navbar-right .dropdown-menu span {
  padding-left: 20px;
}

.tab-content .tab-pane {
  border-bottom: none;
}

.hidden {
  display: none;
}