semantic html5, stylus conversion