:root {
    --diagnostic-info-list-th-bg-color: #e2e3e5;
    --diagnostic-info-list-th-color: var(--bs-body-color);
}

[data-bs-theme=dark] {
    --diagnostic-info-list-th-bg-color: #212529;
    --diagnostic-info-list-th-color: var(--bs-body-color);
}

.diagnostic-info-list {
    overflow-x: auto;
    height: 187px;
    border: 1px solid var(--bs-border-color-translucent);
    border-radius: var(--bs-border-radius);
    margin-top: 1rem;
    /* using same font-settings as CodeMirror */
    /*    font-family: var(--CodeMirror-font-family) !important;
    font-size: var(--CodeMirror-font-size);*/
    line-height: var(--CodeMirror-font-weight) !important;
    font-weight: var(--CodeMirror-line-height);
}

    .diagnostic-info-list table {
        margin-bottom: 0;
    }

        .diagnostic-info-list table thead tr > th {
            position: sticky;
            top: 0;
            font-weight: 400;
            background-color: var(--diagnostic-info-list-th-bg-color);
            color: var(--diagnostic-info-list-th-color);
        }

    .diagnostic-info-list a.diagnostic-info-details {
        color: var(--bs-body-color);
        text-decoration: none;
    }

.diagnostic-info-head {
    display: flex;
    flex-direction: row;
    justify-content: space-between;
}

    .diagnostic-info-head .diagnostic-info-head-severity {
        display: flex;
        flex-direction: row;
        column-gap: 1rem;
    }

        .diagnostic-info-head .diagnostic-info-head-severity .diagnostic-info-head-severity-details {
            display: flex;
            flex-direction: row;
            column-gap: 0.5rem;
        }

    .diagnostic-info-head .diagnostic-info-head-close {
    }