div.line span.keyword {
    color: var(--fragment-keyword);
}

div.line span.keywordtype {
    color: var(--fragment-keywordtype);
}

div.line span.keywordflow {
    color: var(--fragment-keywordflow);
}

div.line span.stringliteral {
    color: var(--fragment-token)
}

div.fragment span.comment {
    line: var(--fragment-comment);
}

div.line a.code {
    color: var(--fragment-link) !important;
}

div.line span.preprocessor {
    color: var(--fragment-preprocessor);
}

span.deprecatedbadge {
    border: 1.5px solid red;
    color: red;
    padding: 4px 9px;
    border-radius: 12px;
    font-size: 75%;
    font-weight: 600;
    vertical-align: middle;
}