A markup language that targets HTML/MathML/CSS