/* BENZZON-CHANGE: Styling of the copy-button of PrismJS code highlighter */
/* Make the Copy button bright red and larger */
.copy-to-clipboard-button {
  background-color: #aa2222 !important;   /* bright red */
  color: #fff !important;                 /* white text */
  font-size: 1.6em !important;            /* roughly twice normal size */
  padding: 0.4em 1em !important;          /* extra clickable area */
  border: none !important;
  border-radius: 6px !important;
  transition: background-color 0.2s, opacity 0.2s;
  opacity: 0.6 !important;
}

/* Optional: lighter on hover */
.copy-to-clipboard-button:hover {
  background-color: #dd4444 !important;
}