modify <<margin>>: encode html