/* exact copy of stylesheets/pygments-extensions.css */

/* Pygments styles the leading slash of a newline that's embedded in js backticked string as tok-err, and wraps it in a red box.
.  This is the only situation in which we get pygments parsing errors, so rather than digging into how to fix the problem,
   I'll just set ALL parsing errors to be styled like js strings.

   This is good enough for now, but if the problem expands we might have to actually fix it in pygments.
*/
pre.pygments .tok-err {
    color: #BA2121;
    border: none !important;
}