Make leaderboard portal prettier

[earlduque]

and searchable?

current: https://devprogramresources.service-now.com/sndevs?id=leaderboard

old version: https://devprogramresources.service-now.com/sndevs?id=points_leaderboard

[MGOPW]

MINE PLS