.copy-code-button {
  position: absolute;
  z-index: 2;
  color: #212529;
  background-color: #f8f9fa;
  border: 0px;
  padding: 5px 10px;
  font-size: 15px;
  border-radius: 5px;
  margin-top: .5rem;
  /* right-align */
  display: block;
  margin-left: auto;
  right: 25px;
}

.copy-code-button:hover {
  cursor: pointer;
}

.copy-code-button:focus {
  /* Avoid an ugly focus outline on click in Chrome,
     but darken the button for accessibility.
     See https://stackoverflow.com/a/25298082/1481479 */
  outline: 0;
}

.copy-code-button:active {
}

.highlight pre {
  /* Avoid pushing up the copy buttons. */
  margin: 0;
}