It always seemed unproductive to me to write this kind of HTML: <div class="margin-top:10 padding:15">

What's the point? It looks exactly like: <div style="margin-top:10px; padding:15px">

In my opinion, using classes like that is unuseful. And it's not happening in this CSS library alone, it happens in a lot of them.