Hi Sean, "Sean O'Halpin" wrote: > One small point: as we're going to have to change the meta directive > "#+STYLE" to "#+HTML_STYLE", can we change the name to reflect what it > really does in the HTML backend, i.e. insert text verbatim into the > <head> element?
Why not... > I suggest we rename it to "#+HTML_HEAD". But I'd like to propose HTML_HEADER instead (?), to "mirror" what LaTeX_HEADER does -- at least, if that one still exists, which I'm not sure about (not enough played with the new exporter yet). Best regards, Seb -- Sebastien Vauban
