For the few weird code blocks where default highlighting does not work, we must add the 'highlight' class manually to get matching backgrounds. This reuses the background color defined in pygments.css.
For the few weird code blocks where default highlighting does not work, we must add the 'highlight' class manually to get matching backgrounds. This reuses the background color defined in pygments.css.