Hi T.F, T.F. Torrey wrote: > (Similarly, as someone else wrote, #+HTML_STYLE would be much better > named #+HTML_HEAD, given that style is just one of the many things this > directive might put into the head element of the html.)
I vote +1, at least if we can put anything we would put in the HTML HEAD element -- I mean, if there is no special restriction on the contents we can stuff there. Best regards, Seb -- Sebastien Vauban
