.copy-button {
    position: absolute;
    top: 5px;
    right: 5px;
    background-color: #f0f0f0;
    border: none;
    padding: 5px 8px;
    font-size: 14px;
    color: #333;
    cursor: pointer;
    border-radius: 4px;
    transition: background-color 0.3s ease;
    display: flex;
    align-items: center;
    justify-content: center;
}

pre {
    white-space: pre;
    position: relative;
}

.copy-button:hover {
    background-color: #ddd;
}

.copy-button i {
    font-size: 16px;
}

div.highlight {
    position: relative;
    padding-top: 30px; /* Space for the button */
}

div.highlight pre {
    margin: 0;
}