Hi,
> Maybe adding CUSTOM-ID in your navigation bar would solve the problem.
>
> You don't say whether you use the old (current) or the new (in the to-be
> Org 8) HTML exporter??
Don't know, meaning probably the old one ... a CUSTOM-ID property is ignored,
but it sounds like what I am looking f
Hello Vincent,
Vincent Beffara wrote:
> I want to manage my web page using org-mode, and to have a navigation bar
> also encoded in org. The problem is that the org-to-html conversion function
> adds IDs to all headers, and the same ids occur on the nav bar and the main
> content. Things link sec-