/* 
Add padding to the top of the pages so that the navbar fixed-top does not
cut off the content
*/
/* body {
  padding-top: 112px;
} */
/* FIXME: sort out why adding this dymanic part of the padding does not work */
/* @media (max-width: 979px) {
  body {
    padding-top: 0px;
  }
} */

.navbar-custom {
  background-color: #7F2028;
  /* z-index: 10000;
  position: fixed;
  top: 0px;
  width: 100%; */
}
.navbar-custom .navbar-brand,
.navbar-custom .navbar-text {
  color: white;
}