a {
  background-clip: border-box;
  background-color: -gtk-win32-color(edit, highlight);
  background-image: none;
  background-origin: padding-box;
  background-position: left top;
  background-repeat: repeat;
  background-size: auto;
}
