Llevo toda la tarde aperreado con las diabluras que me hace el CSS en un código bastante sencillo Y el colmo es que cuando le he puesto un border al nav... ha surgido de la nada un padding ¡
Obsérvese la distancia de los botones al margen superior de la pantalla, le he dado un margin-top pequeño para que pueda verse la anomalía:

...y aquí vemos lo que ocurre tras poner al nav un border: 1px solid green, ¡aparece un padding de la nada! ¿A qué se debe esto? Gracias, un saludo.