[Redazione]

Comunque sia basta dirgli di fare la traccia di 2px invece che di 3 e di cambiare font, non sono errori di difficile correzione, sono solo abitudini (che comunque si possono cambiare molto facilmente, a differenza di altre).