Add html/syntax for misc definitions