1 /* This file should only be used for styles that are only needed for styling code in diff.js
2 If you need styles to apply on page load please use the mediawiki.diff.styles module. */
4 .oo-ui-clippableElement-clippable {
5 // Disable margins on paragraph elements in popups.