HTML patterns (in Jade)