~namespaceURI:(Some (Gdome.domString mathmlns))
~qualifiedName:(Gdome.domString "m:mstyle")
in
- highlighter#setAttribute ~name:(Gdome.domString "background")
+ highlighter#setAttribute ~name:(Gdome.domString "mathbackground")
~value:(Gdome.domString color) ;
highlighter#setAttributeNS
~namespaceURI:(Some (Gdome.domString xmldiffns))