Well, changing the html will scale the entire project. So everything will get smaller. You can set this in the publish settings.
Ctrl+M will let you change the actual movie stage size. This will look like it has the same effect, but it doesn’t scale anything smaller in the movie… it changes the size of “on-stage” area.