Removed some stuff so that it works with xsltproc and hence should work with the latexml postprocessor