body {
  text-align: center;
}

#version {
  color: #999;
}

.d-none {
  display: none;
}

button {
  background-color: rgb(0, 122, 255); 
  color: #fff;
  border-top-left-radius: 10px;
  border-top-right-radius: 10px;
  border-bottom-left-radius: 10px;
  border-bottom-right-radius: 10px;
  min-height: 20px;
  font-weight: bold;
}

#copy {
  padding-top: 5px;
  padding-bottom: 5px;
}

pre span {
  background-color: #bbb;
  padding: 5px;
  border-radius: 10px;
  font-size: 12px;
  font-weight: bold;
}