Is this used because ``counter-reset: none`` is buggy on some browsers? (http://devdocs.io/css/counter-reset)