Thread:Manuel de la Fuente/@comment-957747-20170310182445/@comment-5774380-20170310212620

In our case we display the diff pages using the script AjaxDiff and the results weren't positive after removing the custom styles, so I think we'll be keeping them for now. Thank you for letting me know though.