/* Fija el elemento header en la parte superior */
header {
    position: fixed;
    top: 0;
    width: 100%;
    z-index: 1000; /* Asegura que esté por encima de otros elementos */
    /* El background-color ya está en inicio09.css, pero lo dejo por seguridad */
}

/* Usa la variable CSS --header-height para crear el espacio superior en el contenido principal */
main {
    /* El valor de reserva (0.125em) mantiene el estilo original si JS falla */
    margin-top: var(--header-height, 0.125em); 
    
    /* Mantiene los estilos originales de margin */
    margin-bottom: 0.125em; 
    border-width:0%;
    padding: 0.125em 0% 0.125em 0%;
}