.ignore-err .highlight .err {
    color: inherit;
    border: inherit;
}