Custom Themes?

I remember seeing a post on reddit about a theme manager but I can't find the settings for it anywhere. Was the feature removed? I've always hated the color orange and would've preferred a nice grey.