.navbar-inverse {
  background-color: #001c42;
  border-color: #001c42;
}

.navbar-brand {
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
  color:  #C072EA;
}

.navbar-inverse .navbar-nav .active {
  color: #001c42;
}

body {
  padding-top: 65px;
  padding-left:10px;
  padding-right: 10px
}

#my-gui-container {
  z-index: 20;
  padding-top: 10px;
}