h1.page-header {
  font-size: 24px;
  text-align: center;
  display: inline-block;
  margin: auto;
  width: 70%;
}

.navbar-nav > li > a {
  font-size: 12px;
}

.navbar {
  min-height: 30px;
}

.panel-title {
  font-size: 14px;
  font-weight: bold;
}

.panel-default > .panel-heading {
  background-color: lightgrey;
}

/* "Loading" spinner graphic */
div#loading {
  position: sticky;
  /*background-color: #000000;*/
  opacity: 0.8;
  padding: 0.2em;
  left: 50%;
  top: 50%;
  margin-left: auto;
  margin-right: auto;
  display: none;
  height: 120px;
  width: 120px;
}

img#loading-img {
  height: 120px;
  width: 120px;
}