Sto incontrando un difetto di visualizzazione dell'altezza di un div in Explorer: praticamente l'altezza (20px) viene visualizzata come fossero 22...