/**
 * This file is a LESS import match for "mediawiki.skin.variables.less"
 * when legacy Vector (useskin=vector) is the active skin.
 */
/* stylelint-disable @stylistic/indentation */
/**
 * Adapted from https://www.mediawiki.org/wiki/MediaWiki:Gadget-site-tpl-copy.css
 * Original author: Krinkle
 */
/**
 * https://doc.wikimedia.org/oojs-ui/master/demos/ (2023-11-13)
 * https://design.wikimedia.org/style-guide/components/buttons.html
 */
.mw-highlight-copy--bound button {
  position: absolute;
  top: -1em;
  right: -0.9em;
  box-sizing: border-box;
  padding: 5px 7px;
  border-radius: 2px;
  background: var(--background-color-base, #fff);
  color: var(--color-progressive, #36c);
  border: 1px solid var(--border-color-muted, #dadde3);
}
.mw-highlight-copy--bound button:hover {
  cursor: pointer;
  color: var(--color-progressive--hover, #3056a9);
  background: var(--background-color-interactive-subtle, #f8f9fa);
  border-color: var(--border-color-progressive--hover, #3056a9);
}
.mw-highlight-copy--bound button:active {
  color: var(--color-progressive--active, #233566);
  background: var(--background-color-interactive, #eaecf0);
  border-color: var(--border-color-progressive--active, #233566);
}