Al poner un border se crea un padding

Llevo toda la tarde aperreado con las diabluras que me hace el CSS en un código bastante sencillo :mad: Y el colmo es que cuando le he puesto un border al nav... ha surgido de la nada un padding :confused:¡
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:
[contenido no disponible]

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

[contenido no disponible]
Te recomiendo usar normalize.css siempre antes de comenzar a codear tu css, tendrás todo el código correcto sin necesidad de resetear nada.