Hi Sean, "Sean O'Halpin" <sean.ohal...@gmail.com> writes:
> 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? I suggest we rename it to "#+HTML_HEAD". Done. You can now use HTML_HEAD instead of HTML_STYLE. Some variables were also renamed, check the details here: http://orgmode.org/cgit.cgi/org-mode.git/commit/?id=2752ef Best, -- Bastien
