Hola,

Yo creo que el problema aquí es que este usuario, quizá sin saberlo, tenía una personalización sobre el tamaño de la pestaña de líneas.
Al haber eliminado las líneas y después haberlas puesto de nuevo, has forzado que se borrase esta personalización en concreto.

Otra opción hubiera sido, para este usuario, ir a la personalización de la página y restablecer los valores por defecto.

Creo que es esto.

Un saludo,
Cristina Nicolàs