Jade, a concise syntax for HTML