Wow! I haven't been on this site in years.. I remember when it was, I think, green and yellow themed

Anyways, I was checking out some source code and found these really intricate class values used in Reddit's CSS:


Why do they use these? They seem impossible to work with.
Is it to hinder web crawlers/scrapers from using CSS properties as selectors?

My CSS class and Id names are so specific they leave no doubt what they do. How does anyone work with such an intricate naming standard? Are they generated randomly?