/* Migration-specific rendering fixes. */
pre.code .err,
.code .codetable .err,
.highlight pre .err {
    border: 0;
}