I modified `jquery.wymeditor.structured_headings.js` so that it checks for the existence of WYMeditor on the page, and if it doesn't exist and the browser is IE7, it applies the stand-alone numbering of the headings to the structured headings on the page.