Fixing the double-margin bug (in Internet Explorer) in Joomla!