I have been looking into CSS coding methodologies like SMACSS and OOCSS. After doing some homework and inspecting the styles of larger sites (e.g. Google, Facebook) I have noticed very mangled selector names, such as ._50x4 with no little or no stylistic or content semantic meaning.
I am wondering if these larger sites are using some type of name mangling system for their css selector naming? Or has anyone used such insane naming convention?