style.css

a.nav-link,
a.nav-link:focus {
  color: #495057;
  width: 150px;
  font-size: 130%;
  text-align: center;
  border-bottom: none !important;
  cursor: pointer;
}
a.nav-link.active {
  font-weight: bold;
}
.background {
  z-index: 2;
  position: fixed;
  width: 100%;
  height: 100%;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background-color: rgba(0, 0, 0, 0.7);
}
.splash {
  text-align: center;
  z-index: 3;
  position: absolute;
  top: 20%;
  left: 30%;
  width: 500px;
  height: 400px;
  border: 1px solid gray;
  background-color: white;
}
.splash-header {
  margin-top: 4em;
  margin-bottom: 2em;
}
#button-choose-stream,
#button-choose-snapshot {
  width: 120px;
}

#p-status-stream {
  white-space: pre-wrap;
}

#button-submit-stream,
#update-image-stream,
#uninstall-image-stream,
#button-submit-snapshot,
#update-image-snapshot,
#uninstall-image-snapshot {
  width: 80px;
  margin-right: 8px;
}