@huangp 
@lukebrooker 

What I mean is, this HTML seems to be referring to a class name which is machine generated, which might change when we generate a new version of the CSS.  Since we obviously need to refer to this class in the HTML, can we find a way to give it a better name?  What does "w--1-12" really mean?