You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

41 lines
836 B

3 years ago
.copy-code-button {
color: var(--background-primary);
background-color: var(--text-faint);
border-radius: 1px 1px 0px 0px;
/* right-align */
display: block;
margin-left: auto;
margin-right: 0;
margin-bottom: -2px;
padding: 3px 8px;
font-size: 0.8em;
position: absolute;
top: 0px;
right: 0px;
}
.copy-code-button:hover {
cursor: pointer;
background-color: var(--text-normal);
}
.copy-code-button:focus {
/* Avoid an ugly focus outline on click in Chrome,
but darken the button for accessibility.
See https://stackoverflow.com/a/25298082/1481479 */
background-color: var(--text-normal);
outline: 0;
}
.copy-code-button:active {
background-color: var(--text-normal);
}
.highlight pre {
/* Avoid pushing up the copy buttons. */
margin: 0;
}
.has-copy-button {
position: relative;
}