A questo punto l'unica modifica tentabile è provare un padding appena differente, 1px, 3px, altrimenti con modifiche maggiori, funzionassero pure in questo caso, sballerebbero probabilmente tutte le altre occasioni in cui interviene questo codice. Eliminando la riga padding non elimini il padding elimini la sua personalizzazione, ritorni ai valori di default. Rimarrebbe da scoprire se questi valori di default, che qui sembrano andare bene, vadano bene negli altri casi.
Probabile che non trovando il punto e virgola, con la parentesi graffa chiusa subito dopo, il punto e virgola venga messo d'ufficio quando il codice entra in azione.