Div class has changed in recent pygments version. Changed CSS.