/* Copy buttons */
a.copybtn {
  display: block;
  float: right;
  height: 16px;
  width: 16px;
  margin-top: 5px;
  margin-right: 5px;
  color: #37474f;
  padding: 0;
  opacity: .3;
  transition: opacity 0.5s;
}

.highlight:hover .copybtn {
	opacity: 1;
}

/**
 * A minimal CSS-only tooltip copied from:
 *   https://codepen.io/mildrenben/pen/rVBrpK
 *
 * To use, write HTML like the following:
 *
 * <p class="o-tooltip--left" data-tooltip="Hey">Short</p>
 */
.o-tooltip--left {
  position: relative;
}

.o-tooltip--left:after {
  opacity: 0;
  visibility: hidden;
  position: absolute;
  content: attr(data-tooltip);
  padding: 2px;
  top: 0;
  left: -5px;
  background: grey;
  font-size: 1rem;
  color: white;
  white-space: nowrap;
  z-index: 2;
  border-radius: 2px;
  font-family: Georgia, "Times New Roman", Times, serif;
  transform: translateX(-102%) translateY(0);
  transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
}

.o-tooltip--left:hover:after {
  display: block;
  opacity: 1;
  visibility: visible;
  transform: translateX(-100%) translateY(0);
  transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
}