/* The css file generate by the codecopy plugin. */
.codecopy_pre {
    position: relative;
}
.codecopy_pre:hover .codecopy_copy {
    opacity: 1;
}

.codecopy_copy {
    box-sizing: border-box;
    position: absolute;
    top: 0;
    right: 0;
    width: 64px;
    height: 32px;
    padding: 8px 16px;
    background: #555585;
    border: none;
    outline: none;
    font-size: 0.85em;
    font-weight: bold;
    color: #efefef;
    cursor: pointer;
    opacity: 0;
    transition: 0.1s;
}
.codecopy_copy:hover {
    background: #8888c8;
}

.codecopy_result {
    position: absolute;
    top: -30px;
    right: 10px;
    opacity: 0;
    font-size: 1.1em;
    font-style: italic;
    font-weight: bold;
    color: #12efb5;
    pointer-events: none;
    transition: 0.1s;
}