¡Esto sí que es raro!
Obsérvese la distancia de los botones al margen superior de la pantalla, le he dado un margin-top de 10px para que pueda verse algo que me tiene intrigado:
...y obsérvese lo que ocurre cuando le pongo a nav un border: 1px solid green, ¡aparece un padding de la nada!
¿A qué se debe esto? Gracias, un saludo.
