/* Code blocks */
pre:has(code) {
  position: relative;

  /* add scrollbar if there is horizontal overflow */
  overflow-y: auto;

  padding-inline: 0.25rem;
  padding-block-end: 1rem;
  margin: 0.5rem 0;

  border-radius: 0.25rem;
}

/* The copy button */
pre:has(code) button {
  position: sticky;
  top: 0;
  left: 0;

  margin-block: 0.25rem 0.5rem;

  font-size: 0.9rem;
  color: black;
  background-color: #9a9999;

  border: ridge 1px #9a9999;
  border-radius: 0.25rem;
  text-shadow: #c4c4c4 0 0 1px;
}

/* Optional hover style for the copy button */
pre:has(code) button:hover {
  background-color: #bcbabb;
}

.code-buttons {
  position: sticky;
  width: 100%;
  height: 2.5rem;
}