* {
    font-family: Consolas, monospace;
}

#report-specdiff {
    display: table;
    font-size: 12px;
    border-bottom: 1px solid rgba(0, 0, 0, 0.16);
}

#report-specdiff > div {
    display: table-row;
}

#report-specdiff > div > div {
    display: table-cell;
    padding: 5px 6px;
    border-top: 1px solid rgba(0, 0, 0, 0.16);
}

#report-specdiff > div > div:last-child {
}

.error {
    background-color: rgba(255, 63, 63, 0.16);
}

h2.fail {
    color: rgb(255, 0, 0);
}
h2.pass {
    color: rgb(97, 207, 0);
}

.nowrap {
    white-space: nowrap;
}

.hl {
    background-color: yellow;
}

#report-dwtconfig, #report-specjson {
    width: 100%;
    height: 80vh;
}