Player Slider Color change

So we wanted to change the color on the player slider. We read an old forum post back from 2019. There it was instructed the following way: You had to edit the line 5266. There wasnt a hex code so we digged up a bit deaper. It was a few lines under it. (5273)

http://prntscr.com/reux2g

We replaced the code but nothing changed. We cleared our cache multiple times. Nothing changed.

What are we doing wrong?