2022-09-30 16:43:04 +00:00
|
|
|
/* Copy buttons */
|
|
|
|
button.copybtn {
|
|
|
|
position: absolute;
|
|
|
|
display: flex;
|
|
|
|
top: .3em;
|
|
|
|
right: .3em;
|
|
|
|
width: 1.7em;
|
|
|
|
height: 1.7em;
|
|
|
|
opacity: 0;
|
|
|
|
transition: opacity 0.3s, border .3s, background-color .3s;
|
|
|
|
user-select: none;
|
|
|
|
padding: 0;
|
|
|
|
border: none;
|
|
|
|
outline: none;
|
|
|
|
border-radius: 0.4em;
|
|
|
|
/* The colors that GitHub uses */
|
|
|
|
border: #1b1f2426 1px solid;
|
|
|
|
background-color: #f6f8fa;
|
|
|
|
color: #57606a;
|
|
|
|
}
|
|
|
|
|
|
|
|
button.copybtn.success {
|
|
|
|
border-color: #22863a;
|
|
|
|
color: #22863a;
|
|
|
|
}
|
|
|
|
|
|
|
|
button.copybtn svg {
|
|
|
|
stroke: currentColor;
|
|
|
|
width: 1.5em;
|
|
|
|
height: 1.5em;
|
|
|
|
padding: 0.1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.highlight {
|
|
|
|
position: relative;
|
|
|
|
}
|
|
|
|
|
2023-06-29 14:52:06 +00:00
|
|
|
/* Show the copybutton */
|
|
|
|
.highlight:hover button.copybtn, button.copybtn.success {
|
2022-09-30 16:43:04 +00:00
|
|
|
opacity: 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
.highlight button.copybtn:hover {
|
|
|
|
background-color: rgb(235, 235, 235);
|
|
|
|
}
|
|
|
|
|
|
|
|
.highlight button.copybtn:active {
|
|
|
|
background-color: rgb(187, 187, 187);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* 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: .2em;
|
|
|
|
font-size: .8em;
|
|
|
|
left: -.2em;
|
|
|
|
background: grey;
|
|
|
|
color: white;
|
|
|
|
white-space: nowrap;
|
|
|
|
z-index: 2;
|
|
|
|
border-radius: 2px;
|
|
|
|
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);
|
|
|
|
transition-delay: .5s;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* By default the copy button shouldn't show up when printing a page */
|
|
|
|
@media print {
|
|
|
|
button.copybtn {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
}
|