For my point of view the Notepad++ and sublime text is the best when it comes for HTML and CSS codeing. It helps students to learn more.
Henry have you used HTML Kit and if so how is it? Also I imagine notepad ++ is more advanced than notepad, but does it have that simple boring feel to it? I like things with customization, color, options, etc