Overrode html.tpl.php to fix the IE SSL theming issue.