Nel div centrale ho inserito un margine a destra e sinistra di 10 px con questa notazione:
margin: 0px 10px 0px 10px;
Firefox lo interpretava correttamente, ma Internet Explorer inspiegabilmente no. Non ricordo di aver mai avuto problemi con questa notazione, eppure, per scaramanzia, ho provato inserendo la notazione più comune:
margin-left: 10px; margin-right: 10px
E adesso funziona perfettamente su entrambi i browser.
Internet Explorer riesce ancora a stupirmi: possibile che sia un suo errore di interpretazione? Qualcuno ne sa qualcosa?