.dev-options {
  position: fixed;
  top: 0;
  right: 10px;
  left: 10px;
  padding: 5px;

  display: flex;
  justify-content: center;
  align-items: center;
  background: rgba(0, 0, 0, 0.8);
  border-radius: 0 0 5px 5px;

  transition: 1s linear opacity;

  opacity: 0.1;

  z-index: 1000;
}

.dev-options:hover {
  opacity: 1;
  transition-duration: 0.2s;
}

.dev-options {
  color: white;
}

.version {
  font-family: monospace;
}

.dev-options > * {
  display: inline-block;
  padding: 6px 12px;
  margin: 0 3px;
}

.download-button[href=""] {
    display: none;
}