/* all CSS associated with a specific script was moved into the matching JS file */
tt, center, dir, font, menu, xmp, strike {
color: DarkRed !important;
background: Pink !important;
}
.mw-rcfilters-ui-changesListWrapperWidget .mw-rcfilters-ui-highlights > div {
width: 9px;
height: 9px;
}