@font-face {
    font-family: 'Font Awesome 6 Free';
    font-style: normal;
    font-weight: 900;
    src: url('https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.7.2/webfonts/fa-solid-900.woff2') format('woff2'),
        url('https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.7.2/webfonts/fa-solid-900.woff') format('woff');
}

.run-button {
    border: none;
    border-radius: 4px;
    color: var(--button-text);
    cursor: pointer;
    font-size: 0.675em;
    margin-left: 8px;
    padding: 4px 8px;
    transition: background-color 0.2s ease;
}

.run-button:focus,
.run-button:hover {
    filter: brightness(85%);
    outline: none;
}

.fas::before {
    font-family: 'Font Awesome 6 Free';
    font-weight: 900;
}

.fa-play::before {
    content: "\f04b";
}