Where is the pagination css class used in the studio theme code?

I’m in the process of trying to fix a graphic glith caused by a conflict between the classifieds plugin and the studio theme slider: https://wpmudev.com/forums/topic/strange-graphic-glith-on-the-studio-themes-slider-when-i-implement-the-classifieds-plugin#post-246437

Current thinking is that the glitch is caused by a conflicting use of the pagination css class which is used both by the plugin and the theme slider. It Seems to me the simplest option is to rename the class in the theme (both code and css)but I can’t find where the class is used in the slider related code (I have found its definition in the style-sheet). I would have expected it to be used in either home.php or slider.php but it’s not so any pointers as to where I should be looking, thanks, Warren