Authoring HTML documents in the Jade templating language