Hi Francesco,
"Francesco Pizzolante" <fpz-djc/ipccudyqhejpep6iedvlejwur...@public.gmane.org> writes: > I propose a patch to always build the outline-container DIV ID the same way by > using the inner headline ID (when exporting to HTML). Applied, thanks. -- Bastien
