.clipboard-button {
    position: absolute;
    right: 0;
    top: 0;
    padding: 5px 5px 5px 5px;
    margin: 3px;
    font-size: 0.8em;
    z-index: 1;
    opacity: 0;
    transition: 0.1s;
    background: none;
    border: none;
}
.clipboard-button > svg {
  fill: #888888;
}
.clipboard-button:hover {
  cursor: pointer;
}
.clipboard-button:hover > svg {
  fill: #00488f;
}
.clipboard-button:focus {
  outline: 0;
}
.highlight {
  position: relative;
}
.highlight:hover > .clipboard-button {
  opacity: 1;
  transition: 0.2s;
}