if (is_browser('ie')) { if (THIS_SCRIPT != 'private') { $stylevar['codeblockwidth'] = "890px"; } else { $stylevar['codeblockwidth'] = "745px"; } }