/* Basic styles for copy button on code blocks */
.copy-code-btn {
  position: absolute;
  top: 0.35rem;
  right: 0.35rem;
  padding: 0.25rem 0.5rem;
  font-size: 0.75rem;
  line-height: 1;
  background: rgba(0, 0, 0, 0.6);
  color: #fff;
  border: none;
  border-radius: 4px;
  cursor: pointer;
  opacity: 0.9;
  transition:
    opacity 150ms ease,
    transform 150ms ease;
  z-index: 2;
}
.copy-code-btn:hover,
.copy-code-btn:focus {
  opacity: 1;
  transform: translateY(-1px);
  outline: none;
}
.copy-code-btn:active {
  transform: translateY(0);
}
.copy-code-btn.copied {
  background: #2a9d8f;
  color: white;
}
pre {
  /* ensure pre provides positioning context for the button */
  position: relative;
}
/* tweak for high-contrast themes where pre may already have position */
pre .copy-code-btn {
  /* keep button from overlapping line numbers — adjust as needed per theme */
  margin-right: 0.25rem;
}