Switched to mini paginator

I think it looks better though that paginator still annoys me.