Hi,
Sorry for the delay, I have been less attentive to ant stuff lately.
> Le 4 sept. 2017 à 10:51, Gintautas Grigelionis a
> écrit :
>
> Changing ids is not supposed to change navigation -- if it does, then we
> have a problem :-)
> I was only wondering if anybody uses these ids for styling,
Changing ids is not supposed to change navigation -- if it does, then we
have a problem :-)
I was only wondering if anybody uses these ids for styling, so that pages
in Subversion or some other strange place would need retrofitting.
I have not seen CSS escaping [1] anywhere (but maybe I don't know