/* Code block copy button */
pre.highlight {
  position: relative;
}
pre.highlight .copy-btn {
  position: absolute;
  top: 0.5rem;
  right: 0.5rem;
  padding: 0.25rem 0.6rem;
  font-size: 0.7rem;
  font-family: inherit;
  color: #94a3b8;
  background: rgba(15, 23, 42, 0.7);
  border: 1px solid #334155;
  border-radius: 4px;
  cursor: pointer;
  opacity: 0;
  transition: opacity 0.15s ease;
}
pre.highlight:hover .copy-btn {
  opacity: 1;
}
pre.highlight .copy-btn:hover {
  color: #e2e8f0;
  border-color: #64748b;
}
pre.highlight .copy-btn.copied {
  color: #34d399;
  border-color: #34d399;
}