CSS for HTML from SL2X or MathBookXML