To make these updates you will need to be on the contents_insert.php page or the contents_update.php page.
The HTML Editor is where you type the content that shows on your pages.(html-editor/)
You will need to have HTMLEditor installed to make the updates to include the different style sheets.