mediawiki-extensions-Syntax.../modules/pygments.copy.css

37 lines
733 B
CSS
Raw Normal View History

/**
* Adapted from https://www.mediawiki.org/wiki/MediaWiki:Gadget-site-tpl-copy.css
* Original author: Krinkle
*/
.mw-highlight-copy {
position: relative;
}
/**
* 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: #fff;
color: #36c;
border: 1px solid #eaecf0;
}
.mw-highlight-copy--bound button:hover {
cursor: pointer;
background: #fff;
border: 1px solid #447ff5;
}
.mw-highlight-copy--bound button:active {
background: #eff3fa;
color: #2a4b8d;
border-color: #2a4b8d;
}