div.highlighter-rouge div.highlight {
  position: relative;
}
copy-button {
  width: 3rem;
  height: 1.1rlh;
  font-size: 0.8rem;
  background: #e0e0f0b0;
}
copy-button + code {
  /* leave room for the copy button to not overlap */
  padding-right: 3rem;
  display: inline-block;
}
code {
  font-size: 0.9rem;
}
