.p3x-gitlist-header-height {
  //  height: $navbar-height + ($navbar-height * 0.5);
}