/* Copy-to-clipboard button inside <pre> (flattened, unchanged look) */
pre {
  max-width: 100%;
  position: relative;
}
pre code {
  white-space: pre-wrap;
}
pre button {
  color: #adb5bd;
  box-sizing: border-box;
  transition: 0.3s ease-out;
  cursor: pointer;
  user-select: none;
  background: rgba(0, 0, 0, 0.05);
  border: 1px solid rgba(0, 0, 0, 0);
  padding: 5px 10px;
  font-size: 0.8em;
  position: absolute;
  top: 0;
  right: 0;
  border-radius: 0 0.15rem;
}
pre button:hover {
  color: #0eb969;
  background: rgba(0, 0, 0, 0.10);
}
pre button:active {
  background: rgba(0, 0, 0, 0.15);
}