Re: [O] [Patch] HTML export -- Allow to change the name of the global DIV

[Bastien]

Hi Sébastien,

Sébastien Vauban <address@hidden> writes:

> Here is a patch which allows one to change the (currently) hard-coded
> DIV name in which the page contents is being inserted.
>
> It currently is "content", but some prefer "container" or "wrapper".
>
> If accepted, my next patch will be to make this a per-project
> variable.

Are there other hardcoded HTML classes/ids that the user might want to
customize?  If so, can we think about a simple way to define all of them
at once?

Thanks!

-- 
 Bastien