Add mario spec (html)