Merge "RCFilters UI: Adjust highlight button circle to new OOjsUI changes"