-
dillense authored
(1) full revision of the HTML export feature, now based on a CSS style sheet; (2) a number of usability improvements; (3) some cleaning (to be continued); (4) disabled text and XML exports that were not correct; (5) disabled JPG and SVG formats for figures, since their support was not correct, and not really useful (PNG seems to be a sufficient default option)
574c62be